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