Disambiguation evidence for LCF theorem prover via surface form
"Logic for Computable Functions theorem prover"
Triples (1)
Triples where some other subject referred to this entity
as "Logic for Computable Functions theorem prover".
LCF theorem prover
→
fullName
→
"Logic for Computable Functions theorem prover"
ⓘ
↳ resolves to LCF theorem prover