Matches in Wikidata for { <http://www.wikidata.org/entity/Q17030435> ?p ?o ?g. }
Showing items 1 to 19 of
19
with 100 items per page.
- Q17030435 description "family of interactive theorem proving systems using similar (higher-order) logics and implementation strategies" @default.
- Q17030435 name "HOL" @default.
- Q17030435 name "HOL" @default.
- Q17030435 type Item @default.
- Q17030435 label "HOL" @default.
- Q17030435 label "HOL" @default.
- Q17030435 prefLabel "HOL" @default.
- Q17030435 prefLabel "HOL" @default.
- Q17030435 P10283 Q17030435-C364A1F8-AEF3-4865-A03F-F6FCDA9C1F77 @default.
- Q17030435 P279 Q17030435-64c1a884-40cc-b745-b558-8b9a39812521 @default.
- Q17030435 P4215 Q17030435-692D956B-158B-4DF6-8E6F-2EBBB405DF7E @default.
- Q17030435 P6366 Q17030435-ED56D833-5A80-4017-AB82-261D96AA8C02 @default.
- Q17030435 P856 Q17030435-6afa9600-4359-41f4-fb91-3250a52895fc @default.
- Q17030435 P6366 17435882 @default.
- Q17030435 P10283 "C17435882" @default.
- Q17030435 P279 Q11387554 @default.
- Q17030435 P4215 "HOL" @default.
- Q17030435 P6366 "17435882" @default.
- Q17030435 P856 hol-theorem-prover.org @default.