Disambiguation evidence for Conference on Automated Deduction via surface form
"International Conference on Automated Deduction"
Triples (1)
Triples where some other subject referred to this entity
as "International Conference on Automated Deduction".
CADE conference proceedings
→
publishedFor
→
"International Conference on Automated Deduction"
ⓘ
↳ resolves to Conference on Automated Deduction