Triple
T2929952
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Andrei Voronkov |
E78936
|
entity |
| Predicate | coAuthorOf |
P2389
|
FINISHED |
| Object |
Handbook of Automated Reasoning
The "Handbook of Automated Reasoning" is a comprehensive reference work that surveys the theories, methods, and tools used in the field of automated theorem proving and formal reasoning in computer science and logic.
|
E312856
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69ad8b0d40b481908bc2a5fa2e73c3fb |
elicitation | completed |
| NER | batch_69ad980191388190ac2455a7d9867be3 |
ner | completed |
| NED1 | batch_69b086703868819083eacc3fe392fde1 |
ned_source_triple | completed |
| NED2 | batch_69b0d278538481909f573d77cb0338da |
ned_description | completed |
| NEDg | batch_69b0d21ad8908190bf232b48d8766f59 |
nedg | completed |
Created at: March 8, 2026, 2:55 p.m.