Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Isabelle_theorem_prover> }
Showing triples 1 to 13 of
13
with 100 triples per page.
- Automated_theorem_proving wikiPageWikiLink Isabelle_theorem_prover.
- De_Bruijn_index wikiPageWikiLink Isabelle_theorem_prover.
- Haskell_(programming_language) wikiPageWikiLink Isabelle_theorem_prover.
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink Isabelle_theorem_prover.
- IsaPlanner wikiPageWikiLink Isabelle_theorem_prover.
- Lawrence_Paulson wikiPageWikiLink Isabelle_theorem_prover.
- Lightweight_Java wikiPageWikiLink Isabelle_theorem_prover.
- List_of_mathematical_logic_topics wikiPageWikiLink Isabelle_theorem_prover.
- POPLmark_challenge wikiPageWikiLink Isabelle_theorem_prover.
- Prime_number_theorem wikiPageWikiLink Isabelle_theorem_prover.
- Proof_assistant wikiPageWikiLink Isabelle_theorem_prover.
- Twelf wikiPageWikiLink Isabelle_theorem_prover.
- Isabelle_theorem_prover primaryTopic Isabelle_theorem_prover.