Disambiguation evidence for LCF via surface form

"LCF"

Triples (2)

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

Standard ML → influencedBy →
"LCF"
↳ resolves to LCF
ⓘ
LCF theorem prover → hasAbbreviation →
"LCF"
↳ resolves to LCF
ⓘ