Triple
T10630850
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Doron Peled |
E250447
|
entity |
| Predicate | coAuthorWith |
P398
|
FINISHED |
| Object |
Joost-Pieter Katoen
Joost-Pieter Katoen is a computer scientist known for his contributions to formal methods, model checking, and probabilistic verification.
|
E875186
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d6aa5993448190a493b790b8f85010 |
elicitation | completed |
| NER | batch_69d6df93a2b88190a0f3a52b8e88f54f |
ner | completed |
| NED1 | batch_69d96bb4bbf08190994ea9123c0b2dab |
ned_source_triple | completed |
| NED2 | batch_69d96f063d588190adcfd56b2b0afccf |
ned_description | completed |
| NEDg | batch_69d96df03c2881909af8501ecf6ac180 |
nedg | completed |
Created at: April 8, 2026, 9:01 p.m.