Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/HOL_Light> ?p ?o }
Showing triples 1 to 36 of
36
with 100 triples per page.
- HOL_Light abstract "HOL Light is a member of the HOL theorem prover family. Like the other members, it is a proof assistant for classical higher order logic. Compared with other HOL systems, HOL Light is intended to have relatively simple foundations. HOL Light is authored and maintained by the mathematician and computer scientist John Harrison. HOL Light is released under the simplified BSD license.".
- HOL_Light wikiPageExternalLink tx081101408p.pdf.
- HOL_Light wikiPageExternalLink hol-light.
- HOL_Light wikiPageID "4607542".
- HOL_Light wikiPageLength "3738".
- HOL_Light wikiPageOutDegree "11".
- HOL_Light wikiPageRevisionID "651803100".
- HOL_Light wikiPageWikiLink BSD_licenses.
- HOL_Light wikiPageWikiLink Category:Free_theorem_provers.
- HOL_Light wikiPageWikiLink Category:OCaml_software.
- HOL_Light wikiPageWikiLink Category:Proof_assistants.
- HOL_Light wikiPageWikiLink HOL_(proof_assistant).
- HOL_Light wikiPageWikiLink Higher-order_logic.
- HOL_Light wikiPageWikiLink John_Harrison_(mathematician).
- HOL_Light wikiPageWikiLink Notices_of_the_American_Mathematical_Society.
- HOL_Light wikiPageWikiLink Primitive_notion.
- HOL_Light wikiPageWikiLink Proof_assistant.
- HOL_Light wikiPageWikiLink Type_theory.
- HOL_Light wikiPageWikiLinkText "HOL Light".
- HOL_Light wikiPageUsesTemplate Template:Citation.
- HOL_Light wikiPageUsesTemplate Template:Harvtxt.
- HOL_Light wikiPageUsesTemplate Template:Reflist.
- HOL_Light subject Category:Free_theorem_provers.
- HOL_Light subject Category:OCaml_software.
- HOL_Light subject Category:Proof_assistants.
- HOL_Light hypernym Member.
- HOL_Light type Person.
- HOL_Light type Assistant.
- HOL_Light type Redirect.
- HOL_Light comment "HOL Light is a member of the HOL theorem prover family. Like the other members, it is a proof assistant for classical higher order logic. Compared with other HOL systems, HOL Light is intended to have relatively simple foundations. HOL Light is authored and maintained by the mathematician and computer scientist John Harrison. HOL Light is released under the simplified BSD license.".
- HOL_Light label "HOL Light".
- HOL_Light sameAs Q5635438.
- HOL_Light sameAs m.0ccbv8.
- HOL_Light sameAs Q5635438.
- HOL_Light wasDerivedFrom HOL_Light?oldid=651803100.
- HOL_Light isPrimaryTopicOf HOL_Light.