Triple
T886647
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Leslie Lamport |
E19144
|
entity |
| Predicate | knownFor |
P22
|
FINISHED |
| Object |
Temporal Logic of Actions
Temporal Logic of Actions is a formal framework for specifying and reasoning about concurrent and distributed systems using temporal logic to describe system behaviors over time.
|
E105794
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69a4939c32488190a7ccd41cf0abb22b |
elicitation | completed |
| NER | batch_69a4ace714ec81909b0b1deaeac66be5 |
ner | completed |
| NED1 | batch_69a7c021732c8190a3b4020f8e3cb90e |
ned_source_triple | completed |
| NED2 | batch_69a7c206d5c481908f45fcf9b94eec14 |
ned_description | completed |
| NEDg | batch_69a7c0f4bd348190a5c258650a92958a |
nedg | completed |
Created at: March 1, 2026, 7:39 p.m.