Disambiguation evidence for Boyer–Moore theorem prover via surface form
"Boyer–Moore theorem prover (Nqthm)"
Triples (1)
Triples where some other subject referred to this entity
as "Boyer–Moore theorem prover (Nqthm)".
Matt Kaufmann
→
basedOn
→
"Boyer–Moore theorem prover (Nqthm)"
ⓘ
↳ resolves to Boyer–Moore theorem prover