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