Disambiguation evidence for HOL theorem prover via surface form
"HOL theorem prover"
Triples (2)
Triples where some other subject referred to this entity
as "HOL theorem prover".
Arthur John Robin Gorell Milner
→
notableWork
→
"HOL theorem prover"
ⓘ
↳ resolves to HOL theorem prover
Arthur John Robin Gorell Milner
→
developed
→
"HOL theorem prover"
ⓘ
↳ resolves to HOL theorem prover