Triple

T4765304
Position Surface form Disambiguated ID Type / Status
Subject Temporal Logic of Actions E105794 entity
Predicate firstDescribedBy P7386 FINISHED
Object Leslie Lamport E19144 NE FINISHED

Provenance (3 batches)

Stage Batch ID Job type Status
creating batch_69bd43f226fc8190b867cc249c2a9042 elicitation completed
NER batch_69bd65327af48190881c25763232c368 ner completed
NED1 batch_69be5c938c5881908393cf7da23bbc86 ned_source_triple completed
Created at: March 20, 2026, 1:21 p.m.