Triple
T13166206
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Vampire automated theorem prover |
E312855
|
entity |
| Predicate | usedIn |
P98
|
FINISHED |
| Object |
CADE ATP System Competition
The CADE ATP System Competition is an international contest that evaluates and compares the performance of automated theorem proving systems on standardized logical problem sets.
|
E1023683
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d806ac3ee081909b2fd27d060aa974 |
elicitation | completed |
| NER | batch_69d98c2c317881908cc715c97d915f77 |
ner | completed |
| NED1 | batch_69f6eaf6c9ec8190bc0097d62e57e52a |
ned_source_triple | completed |
| NED2 | batch_69f6eef335b481908dbe6fb93c9d56f2 |
ned_description | completed |
| NEDg | batch_69f6ee07aa988190ad8bb3bc3ecf7890 |
nedg | completed |
Created at: April 9, 2026, 9:13 p.m.