Triple
T2373868
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Conference on Automated Deduction |
E46149
|
entity |
| Predicate | organizedBy |
P123
|
FINISHED |
| Object |
International Conference on Automated Deduction Association
The International Conference on Automated Deduction Association is the organization responsible for overseeing and coordinating the premier international research conference in the field of automated reasoning and deduction.
|
E46149
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69a88a145268819083e2736cb835c696 |
elicitation | completed |
| NER | batch_69abc791c4688190a4b8f0e540e84eb4 |
ner | completed |
| NED1 | batch_69aea8a8c2b88190a18dbf35d745958f |
ned_source_triple | completed |
| NED2 | batch_69aea9b8dff08190a09f0c965dfd6738 |
ned_description | completed |
| NEDg | batch_69aea92cc66c81909a46b83200960fe2 |
nedg | completed |
Created at: March 4, 2026, 7:56 p.m.