Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Isabelle_(proof_assistant)> }
Showing triples 1 to 54 of
54
with 100 triples per page.
- Haskell_(programming_language) influenced Isabelle_(proof_assistant).
- Lawrence_Paulson knownFor Isabelle_(proof_assistant).
- Tobias_Nipkow knownFor Isabelle_(proof_assistant).
- Isabelle_(disambiguation) wikiPageDisambiguates Isabelle_(proof_assistant).
- HOL wikiPageRedirects Isabelle_(proof_assistant).
- Isabelle_(theorem_prover) wikiPageRedirects Isabelle_(proof_assistant).
- Isabelle_proof_assistant wikiPageRedirects Isabelle_(proof_assistant).
- Isabelle_software wikiPageRedirects Isabelle_(proof_assistant).
- Isabelle_theorem_prover wikiPageRedirects Isabelle_(proof_assistant).
- Automated_reasoning wikiPageWikiLink Isabelle_(proof_assistant).
- Automated_theorem_proving wikiPageWikiLink Isabelle_(proof_assistant).
- Cantors_theorem wikiPageWikiLink Isabelle_(proof_assistant).
- Computer_Laboratory,_University_of_Cambridge wikiPageWikiLink Isabelle_(proof_assistant).
- Conservative_extension wikiPageWikiLink Isabelle_(proof_assistant).
- De_Bruijn_index wikiPageWikiLink Isabelle_(proof_assistant).
- E_theorem_prover wikiPageWikiLink Isabelle_(proof_assistant).
- First-order_logic wikiPageWikiLink Isabelle_(proof_assistant).
- Formal_verification wikiPageWikiLink Isabelle_(proof_assistant).
- Gxc3xb6dels_completeness_theorem wikiPageWikiLink Isabelle_(proof_assistant).
- Gxc3xb6dels_incompleteness_theorems wikiPageWikiLink Isabelle_(proof_assistant).
- HOL_(proof_assistant) wikiPageWikiLink Isabelle_(proof_assistant).
- Haskell_(programming_language) wikiPageWikiLink Isabelle_(proof_assistant).
- ISAR wikiPageWikiLink Isabelle_(proof_assistant).
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink Isabelle_(proof_assistant).
- IsaPlanner wikiPageWikiLink Isabelle_(proof_assistant).
- Isabelle wikiPageWikiLink Isabelle_(proof_assistant).
- HOL wikiPageWikiLink Isabelle_(proof_assistant).
- Isabelle_(disambiguation) wikiPageWikiLink Isabelle_(proof_assistant).
- Isabelle_(theorem_prover) wikiPageWikiLink Isabelle_(proof_assistant).
- Isabelle_proof_assistant wikiPageWikiLink Isabelle_(proof_assistant).
- Isabelle_software wikiPageWikiLink Isabelle_(proof_assistant).
- Isabelle_theorem_prover wikiPageWikiLink Isabelle_(proof_assistant).
- Kepler_conjecture wikiPageWikiLink Isabelle_(proof_assistant).
- Lawrence_Paulson wikiPageWikiLink Isabelle_(proof_assistant).
- Lightweight_Java wikiPageWikiLink Isabelle_(proof_assistant).
- List_of_mathematical_logic_topics wikiPageWikiLink Isabelle_(proof_assistant).
- Logic_for_Computable_Functions wikiPageWikiLink Isabelle_(proof_assistant).
- Logical_framework wikiPageWikiLink Isabelle_(proof_assistant).
- POPLmark_challenge wikiPageWikiLink Isabelle_(proof_assistant).
- Parity_of_zero wikiPageWikiLink Isabelle_(proof_assistant).
- Partially_ordered_ring wikiPageWikiLink Isabelle_(proof_assistant).
- Presburger_arithmetic wikiPageWikiLink Isabelle_(proof_assistant).
- Prime_number_theorem wikiPageWikiLink Isabelle_(proof_assistant).
- Promela wikiPageWikiLink Isabelle_(proof_assistant).
- Proof_assistant wikiPageWikiLink Isabelle_(proof_assistant).
- TLA+ wikiPageWikiLink Isabelle_(proof_assistant).
- Tobias_Nipkow wikiPageWikiLink Isabelle_(proof_assistant).
- Twelf wikiPageWikiLink Isabelle_(proof_assistant).
- Type_theory wikiPageWikiLink Isabelle_(proof_assistant).
- Unification_(computer_science) wikiPageWikiLink Isabelle_(proof_assistant).
- klein-sosp09.pdf isCitedBy Isabelle_(proof_assistant).
- Lawrence_Paulson knownFor Isabelle_(proof_assistant).
- Tobias_Nipkow knownFor Isabelle_(proof_assistant).
- Isabelle_(proof_assistant) primaryTopic Isabelle_(proof_assistant).