Matches in DBpedia 2014 for { <http://dbpedia.org/resource/HOL> ?p ?o. }
Showing items 1 to 36 of
36
with 100 items per page.
- HOL wikiPageDisambiguates HOL_(proof_assistant).
- HOL wikiPageDisambiguates Hands_On_Learning_Australia.
- HOL wikiPageDisambiguates Head-of-line_blocking.
- HOL wikiPageDisambiguates Hellas_Online.
- HOL wikiPageDisambiguates Higher-order_logic.
- HOL wikiPageDisambiguates Hol.
- HOL wikiPageDisambiguates Hol,_Nordland.
- HOL wikiPageDisambiguates Hol,_Tjeldsund.
- HOL wikiPageDisambiguates Hol_(role-playing_game).
- HOL wikiPageDisambiguates Hol_(surname).
- HOL wikiPageDisambiguates Hol_Church_(Nordland).
- HOL wikiPageDisambiguates Hol_IL.
- HOL wikiPageDisambiguates Hounds_of_Love.
- HOL wikiPageDisambiguates House_of_Leaves.
- HOL wikiPageDisambiguates House_of_Lords.
- HOL wikiPageDisambiguates Klingon_language.
- HOL wikiPageDisambiguates Richard_Hol.
- HOL wikiPageID "14173".
- HOL wikiPageRevisionID "596834417".
- HOL label "HOL".
- HOL label "HOL".
- HOL label "HOL".
- HOL label "HOL".
- HOL label "Hol".
- HOL label "Hol".
- HOL label "Hol".
- HOL sameAs Hol.
- HOL sameAs HOL.
- HOL sameAs HOL.
- HOL sameAs HOL.
- HOL sameAs Hol.
- HOL sameAs Hol.
- HOL sameAs Q355340.
- HOL sameAs Q355340.
- HOL wasDerivedFrom HOL?oldid=596834417.
- HOL isPrimaryTopicOf HOL.