Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Isabelle/HOL> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- HOL wikiPageID "40483489".
- HOL wikiPageLength "40".
- HOL wikiPageOutDegree "1".
- HOL wikiPageRedirects Isabelle_(proof_assistant).
- HOL wikiPageRevisionID "572163193".
- HOL wikiPageWikiLink Isabelle_(proof_assistant).
- HOL wikiPageWikiLinkText "Isabelle/HOL".
- HOL label "Isabelle/HOL".
- HOL wasDerivedFrom HOL?oldid=572163193.
- HOL isPrimaryTopicOf HOL.