Triple
T11016416
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | CAV Award |
E260376
|
entity |
| Predicate | notableRecipient |
P108
|
FINISHED |
| Object |
Ken McMillan
Ken McMillan is a prominent computer scientist known for his influential work in formal verification and model checking.
|
E909772
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d6aa9687448190b28d353b1b6a610e |
elicitation | completed |
| NER | batch_69d797a682908190b061d1995e2866b6 |
ner | completed |
| NED1 | batch_69e4831ba3688190bee08ca29872ab3b |
ned_source_triple | completed |
| NED2 | batch_69e4886c0da881909105b3a45e786ce9 |
ned_description | completed |
| NEDg | batch_69e48715bd2081908774d325db2b6dd5 |
nedg | completed |
Created at: April 8, 2026, 9:25 p.m.