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