Matches in DBpedia 2014 for { <http://dbpedia.org/resource/LCF_theorem_prover> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- LCF_theorem_prover wikiPageID "13675502".
- LCF_theorem_prover wikiPageRedirects Logic_for_Computable_Functions.
- LCF_theorem_prover wikiPageRevisionID "415893708".
- LCF_theorem_prover label "LCF theorem prover".
- LCF_theorem_prover sameAs m.015gtq.
- LCF_theorem_prover wasDerivedFrom LCF_theorem_prover?oldid=415893708.
- LCF_theorem_prover isPrimaryTopicOf LCF_theorem_prover.