Disambiguation evidence for HOL Light via surface form

"HOL Light"

Triples (4)

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

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