Disambiguation evidence for HOL4 via surface form

"HOL4"

Triples (4)

Triples where some other subject referred to this entity as "HOL4".

LCF theorem prover → relatedTo →
"HOL4"
↳ resolves to HOL4
ⓘ
HOL theorem prover → influenced →
"HOL4"
↳ resolves to HOL4
ⓘ
LCF → influenced →
"HOL4"
↳ resolves to HOL4
ⓘ
HOL Light → relatedTo →
"HOL4"
↳ resolves to HOL4
ⓘ