Disambiguation evidence for Boyer–Moore theorem prover via surface form

"Nqthm theorem prover"

Triples (3)

Triples where some other subject referred to this entity as "Nqthm theorem prover".

Robert S. Boyer → knownFor →
"Nqthm theorem prover"
↳ resolves to Boyer–Moore theorem prover
ⓘ
Robert S. Boyer → coDeveloped →
"Nqthm theorem prover"
↳ resolves to Boyer–Moore theorem prover
ⓘ
Matt Kaufmann → influencedBy →
"Nqthm theorem prover"
↳ resolves to Boyer–Moore theorem prover
ⓘ