Disambiguation evidence for HOL theorem prover via surface form
"HOL family of theorem provers"
Triples (3)
Triples where some other subject referred to this entity
as "HOL family of theorem provers".
HOL theorem prover
→
influenced
→
"HOL family of theorem provers"
ⓘ
↳ resolves to HOL theorem prover