Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/HOL_(proof_assistant)> . }
Showing items 1 to 7 of
7
with 100 items 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).
- Michael_J._C._Gordon knownFor HOL_(proof_assistant).
- HOL_(proof_assistant) primaryTopic HOL_(proof_assistant).