Triple

T11003771
Position Surface form Disambiguated ID Type / Status
Subject CADE conference proceedings E260062 entity
Predicate publishedFor P4014 FINISHED
Object International Conference on Automated Deduction E46149 NE FINISHED

Provenance (3 batches)

Stage Batch ID Job type Status
creating batch_69d6aa8a6a548190a750f944ccdc8064 elicitation completed
NER batch_69d797553c408190b8dca21250243479 ner completed
NED1 batch_69e37486b23081909ad282397c50a913 ned_source_triple completed
Created at: April 8, 2026, 9:25 p.m.