Disambiguation evidence for CADE ATP System Competition via surface form
"CADE ATP System Competition"
Triples (4)
Triples where some other subject referred to this entity
as "CADE ATP System Competition".
Vampire automated theorem prover
→
usedIn
→
"CADE ATP System Competition"
ⓘ
↳ resolves to CADE ATP System Competition
CADE ATP System Competition
→
fullName
→
"CADE ATP System Competition"
ⓘ
↳ resolves to CADE ATP System Competition