Disambiguation evidence for Boyer–Moore theorem prover via surface form
"Nqthm (Boyer–Moore theorem prover)"
As object (1)
Triples where some other subject referred to this entity
as "Nqthm (Boyer–Moore theorem prover)".
J Strother Moore
→
developedSystem
→
"Nqthm (Boyer–Moore theorem prover)"
ⓘ
↳ resolves to Boyer–Moore theorem prover