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