Triple

T36521766
Position Surface form Disambiguated ID Type / Status
Subject CAV conference steering committee E900200 entity
Predicate oversees P46 FINISHED
Object Computer Aided Verification conference series NE NERFINISHED

Provenance (2 batches)

Stage Batch ID Job type Status
creating batch_69f76e5eedb88190a393b8c623f71dd7 elicitation completed
NER batch_69f7c214a6848190aaa37c015a13dcca ner completed
Created at: May 3, 2026, 4:11 p.m.