Disambiguation evidence for Conference on Automated Deduction via surface form
"Conference on Automated Deduction"
Triples (4)
Triples where some other subject referred to this entity
as "Conference on Automated Deduction".
Herbrand Award
→
presentedBy
→
"Conference on Automated Deduction"
ⓘ
↳ resolves to Conference on Automated Deduction
CADE Inc.
→
organizes
→
"Conference on Automated Deduction"
ⓘ
↳ resolves to Conference on Automated Deduction
CADE
→
fullName
→
"Conference on Automated Deduction"
ⓘ
↳ resolves to Conference on Automated Deduction
CADE ATP System Competition
→
organizedBy
→
"Conference on Automated Deduction"
ⓘ
↳ resolves to Conference on Automated Deduction