Triple
T2929951
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Andrei Voronkov |
E78936
|
entity |
| Predicate | notableWork |
P4
|
FINISHED |
| Object |
Vampire automated theorem prover
Vampire automated theorem prover is a high-performance first-order logic reasoning system widely used in automated deduction and formal verification research.
|
E312855
|
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.