Triple
T11035692
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | IJCAR |
E260877
|
entity |
| Predicate | typicalEventsUnified |
P7008
|
FINISHED |
| Object |
TPTP
TPTP is a widely used library and standard collection of test problems for automated theorem proving and related logic-based tools.
|
E900629
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d6aa979bdc8190bf0e79104cc098c1 |
elicitation | completed |
| NER | batch_69d797e839e88190957c2eabf260c203 |
ner | completed |
| NED1 | batch_69e3a9b70074819084c725c5babf2fb7 |
ned_source_triple | completed |
| NED2 | batch_69e3b1fff754819092d634f46fb42387 |
ned_description | completed |
| NEDg | batch_69e3ad00b5c08190a7bf3ecbeae76d88 |
nedg | completed |
Created at: April 8, 2026, 9:25 p.m.