Disambiguation evidence for Boyer–Moore theorem prover via surface form
"Boyer–Moore theorem prover"
Triples (4)
Triples where some other subject referred to this entity
as "Boyer–Moore theorem prover".
J Strother Moore
→
knownFor
→
"Boyer–Moore theorem prover"
ⓘ
↳ resolves to Boyer–Moore theorem prover
J Strother Moore
→
coDeveloperOf
→
"Boyer–Moore theorem prover"
ⓘ
↳ resolves to Boyer–Moore theorem prover
Robert S. Boyer
→
knownFor
→
"Boyer–Moore theorem prover"
ⓘ
↳ resolves to Boyer–Moore theorem prover
Robert S. Boyer
→
coDeveloped
→
"Boyer–Moore theorem prover"
ⓘ
↳ resolves to Boyer–Moore theorem prover