Disambiguation evidence for HOL theorem prover via surface form

"HOL theorem provers"

Triples (3)

Triples where some other subject referred to this entity as "HOL theorem provers".

LCF theorem prover → influenced →
"HOL theorem provers"
↳ resolves to HOL theorem prover
ⓘ
The Definition of Standard ML → influenced →
"HOL theorem provers"
↳ resolves to HOL theorem prover
ⓘ
LCF → influenced →
"HOL theorem provers"
↳ resolves to HOL theorem prover
ⓘ