Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/HOL_(proof_assistant)> }
Showing triples 1 to 27 of
27
with 100 triples per page.
- Michael_J._C._Gordon knownFor HOL_(proof_assistant).
- HOL wikiPageDisambiguates HOL_(proof_assistant).
- HOL4 wikiPageRedirects HOL_(proof_assistant).
- HOL_theorem_prover wikiPageRedirects HOL_(proof_assistant).
- HOL_theorem_prover_family wikiPageRedirects HOL_(proof_assistant).
- Computer_Laboratory,_University_of_Cambridge wikiPageWikiLink HOL_(proof_assistant).
- Formal_verification wikiPageWikiLink HOL_(proof_assistant).
- GNU_Common_Lisp wikiPageWikiLink HOL_(proof_assistant).
- HOL wikiPageWikiLink HOL_(proof_assistant).
- HOL4 wikiPageWikiLink HOL_(proof_assistant).
- HOL_Light wikiPageWikiLink HOL_(proof_assistant).
- HOL_theorem_prover wikiPageWikiLink HOL_(proof_assistant).
- HOL_theorem_prover_family wikiPageWikiLink HOL_(proof_assistant).
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink HOL_(proof_assistant).
- Isabelle_(proof_assistant) wikiPageWikiLink HOL_(proof_assistant).
- List_of_mathematical_logic_topics wikiPageWikiLink HOL_(proof_assistant).
- Logic_for_Computable_Functions wikiPageWikiLink HOL_(proof_assistant).
- Michael_J._C._Gordon wikiPageWikiLink HOL_(proof_assistant).
- Proof_assistant wikiPageWikiLink HOL_(proof_assistant).
- QED_manifesto wikiPageWikiLink HOL_(proof_assistant).
- Q_zero wikiPageWikiLink HOL_(proof_assistant).
- Twelf wikiPageWikiLink HOL_(proof_assistant).
- Type_theory wikiPageWikiLink HOL_(proof_assistant).
- Z_notation wikiPageWikiLink HOL_(proof_assistant).
- HolHistory.html isCitedBy HOL_(proof_assistant).
- Michael_J._C._Gordon knownFor HOL_(proof_assistant).
- HOL_(proof_assistant) primaryTopic HOL_(proof_assistant).