Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/LCF_(theorem_prover)> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- LCF_(theorem_prover) wikiPageID "31005350".
- LCF_(theorem_prover) wikiPageLength "44".
- LCF_(theorem_prover) wikiPageOutDegree "1".
- LCF_(theorem_prover) wikiPageRedirects Logic_for_Computable_Functions.
- LCF_(theorem_prover) wikiPageRevisionID "415887941".
- LCF_(theorem_prover) wikiPageWikiLink Logic_for_Computable_Functions.
- LCF_(theorem_prover) wikiPageWikiLinkText "LCF".
- LCF_(theorem_prover) label "LCF (theorem prover)".
- LCF_(theorem_prover) sameAs m.015gtq.
- LCF_(theorem_prover) wasDerivedFrom LCF_(theorem_prover)?oldid=415887941.
- LCF_(theorem_prover) isPrimaryTopicOf LCF_(theorem_prover).