Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/HOL> ?p ?o }
Showing triples 1 to 60 of
60
with 100 triples 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 wikiPageLength "1409".
- HOL wikiPageOutDegree "20".
- HOL wikiPageRevisionID "626956200".
- HOL wikiPageWikiLink HOL_(proof_assistant).
- HOL wikiPageWikiLink Hands_On_Learning_Australia.
- HOL wikiPageWikiLink Head-of-line_blocking.
- HOL wikiPageWikiLink Hellas_Online.
- HOL wikiPageWikiLink High-level_programming_language.
- HOL wikiPageWikiLink Higher-order_logic.
- HOL wikiPageWikiLink Hol.
- HOL wikiPageWikiLink Hol,_Nordland.
- HOL wikiPageWikiLink Hol,_Tjeldsund.
- HOL wikiPageWikiLink Hol_(role-playing_game).
- HOL wikiPageWikiLink Hol_(surname).
- HOL wikiPageWikiLink Hol_Church_(Nordland).
- HOL wikiPageWikiLink Hol_IL.
- HOL wikiPageWikiLink Hounds_of_Love.
- HOL wikiPageWikiLink House_of_Leaves.
- HOL wikiPageWikiLink House_of_Lords.
- HOL wikiPageWikiLink Klingon_language.
- HOL wikiPageWikiLink Netherlands.
- HOL wikiPageWikiLink Richard_Hol.
- HOL wikiPageWikiLinkText "HOL".
- HOL wikiPageUsesTemplate Template:Disambiguation.
- HOL wikiPageUsesTemplate Template:Wiktionary.
- HOL type Page.
- HOL type Redirect.
- HOL label "HOL".
- HOL sameAs Q355340.
- HOL sameAs Hol.
- HOL sameAs HOL.
- HOL sameAs HOL.
- HOL sameAs HOL.
- HOL sameAs HOL.
- HOL sameAs Hol.
- HOL sameAs Hol.
- HOL sameAs Hol.
- HOL sameAs Hol_(dezambiguizare).
- HOL sameAs Hol.
- HOL sameAs Q355340.
- HOL wasDerivedFrom HOL?oldid=626956200.
- HOL isPrimaryTopicOf HOL.