Disambiguation evidence for LCF theorem prover via surface form

"LCF theorem prover"

Triples (6)

Triples where some other subject referred to this entity as "LCF theorem prover".

Robin Milner → knownFor →
"LCF theorem prover"
↳ resolves to LCF theorem prover
ⓘ
ML → originatedInContextOf →
"LCF theorem prover"
↳ resolves to LCF theorem prover
ⓘ
Arthur John Robin Gorell Milner → notableWork →
"LCF theorem prover"
↳ resolves to LCF theorem prover
ⓘ
Arthur John Robin Gorell Milner → developed →
"LCF theorem prover"
↳ resolves to LCF theorem prover
ⓘ
Arthur John Robin Gorell Milner → notableWork →
"LCF theorem prover"
↳ resolves to LCF theorem prover
ⓘ
linked to: Arthur
HOL theorem prover → developedFrom →
"LCF theorem prover"
↳ resolves to LCF theorem prover
ⓘ