Triple
T10630847
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Doron Peled |
E250447
|
entity |
| Predicate | coAuthorWith |
P398
|
FINISHED |
| Object |
Helmut Veith
Helmut Veith was an Austrian computer scientist renowned for his contributions to logic in computer science, formal verification, and model checking.
|
E1077877
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d6aa5993448190a493b790b8f85010 |
elicitation | completed |
| NER | batch_69d6df93a2b88190a0f3a52b8e88f54f |
ner | completed |
| NED1 | batch_69fcb63c80048190be87b41cdd4ac775 |
ned_source_triple | completed |
| NED2 | batch_69fcc5d162c081908750fed589ed2d69 |
ned_description | completed |
| NEDg | batch_69fcc4fa09448190b662af829712e657 |
nedg | completed |
Created at: April 8, 2026, 9:01 p.m.