Triple
T11016093
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Amir Pnueli |
E260368
|
entity |
| Predicate | notableWork |
P4
|
FINISHED |
| Object |
The Temporal Logic of Programs
The Temporal Logic of Programs is a landmark 1977 paper by Amir Pnueli that introduced temporal logic as a formal framework for specifying and verifying the behavior of concurrent and reactive computer programs.
|
E900195
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d6aa9687448190b28d353b1b6a610e |
elicitation | completed |
| NER | batch_69d797a558a08190bdb5779faa9adf05 |
ner | completed |
| NED1 | batch_69e374d371ec8190aba9e77346c6e876 |
ned_source_triple | completed |
| NED2 | batch_69e37c9439fc8190a69cfb1a13da4c19 |
ned_description | completed |
| NEDg | batch_69e37ab6ca788190ac41f9494ad9a47f |
nedg | completed |
Created at: April 8, 2026, 9:25 p.m.