Disambiguation evidence for Vampire automated theorem prover via surface form
"E automated theorem prover"
Triples (1)
Triples where some other subject referred to this entity
as "E automated theorem prover".
Vampire automated theorem prover
→
relatedTo
→
"E automated theorem prover"
ⓘ
↳ resolves to Vampire automated theorem prover