Matches in DBpedia 2014 for { <http://dbpedia.org/resource/HOL_Light> ?p ?o. }
Showing items 1 to 38 of
38
with 100 items 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 wikiPageRevisionID "591681255".
- HOL_Light hasPhotoCollection HOL_Light.
- HOL_Light subject Category:Free_theorem_provers.
- HOL_Light subject Category:OCaml_software.
- HOL_Light subject Category:Proof_assistants.
- HOL_Light type Assistant109815790.
- HOL_Light type CausalAgent100007347.
- HOL_Light type LivingThing100004258.
- HOL_Light type Object100002684.
- HOL_Light type Organism100004475.
- HOL_Light type Person100007846.
- HOL_Light type PhysicalEntity100001930.
- HOL_Light type ProofAssistants.
- HOL_Light type Whole100003553.
- HOL_Light type Worker109632518.
- HOL_Light type YagoLegalActor.
- HOL_Light type YagoLegalActorGeo.
- HOL_Light type Agent.
- HOL_Light type Person.
- HOL_Light type Person.
- HOL_Light type Q215627.
- HOL_Light type Q5.
- HOL_Light type Agent.
- HOL_Light type NaturalPerson.
- HOL_Light type Thing.
- HOL_Light type Person.
- 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 m.0ccbv8.
- HOL_Light sameAs Q5635438.
- HOL_Light sameAs Q5635438.
- HOL_Light sameAs HOL_Light.
- HOL_Light wasDerivedFrom HOL_Light?oldid=591681255.
- HOL_Light isPrimaryTopicOf HOL_Light.