Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/LCF_theorem_prover> }
Showing triples 1 to 9 of
9
with 100 triples per page.
- Coq wikiPageWikiLink LCF_theorem_prover.
- Isabelle_(proof_assistant) wikiPageWikiLink LCF_theorem_prover.
- List_of_mathematical_logic_topics wikiPageWikiLink LCF_theorem_prover.
- ML_(programming_language) wikiPageWikiLink LCF_theorem_prover.
- Proof_assistant wikiPageWikiLink LCF_theorem_prover.
- Robin_Milner wikiPageWikiLink LCF_theorem_prover.
- Turing_Award wikiPageWikiLink LCF_theorem_prover.
- Robin_Milner knownFor LCF_theorem_prover.
- LCF_theorem_prover primaryTopic LCF_theorem_prover.