Triple
T2384360
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Zohar Manna |
E46383
|
entity |
| Predicate | notableStudent |
P4838
|
FINISHED |
| Object |
Amir Pnueli
Amir Pnueli was an Israeli computer scientist renowned for introducing temporal logic to computer science and for his pioneering work in formal verification, for which he received the Turing Award.
|
E260368
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69a88a1554a48190a0180682bcf099be |
elicitation | completed |
| NER | batch_69abc7bc87d0819090cd9d19d748bcc3 |
ner | completed |
| NED1 | batch_69aea8bae2ec8190962479832bf7762e |
ned_source_triple | completed |
| NED2 | batch_69aeaba59cd08190981af351019b3e81 |
ned_description | completed |
| NEDg | batch_69aeab4258f88190a7a009d0fa501dd4 |
nedg | completed |
Created at: March 4, 2026, 7:57 p.m.