Data Portal @ linkeddatafragments.org
DBpedia 2014
Search DBpedia 2014 by triple pattern
subject
predicate
object
Matches in DBpedia 2014 for
{ <http://dbpedia.org/resource/HOL4> ?p ?o. }
Showing items 1 to 7 of
7
with
100
items per page.
HOL4
wikiPageID
"
25785314
"
.
HOL4
wikiPageRedirects
HOL_(proof_assistant)
.
HOL4
wikiPageRevisionID
"
450397569
"
.
HOL4
label
"
HOL4
"
.
HOL4
sameAs
m.015gpy
.
HOL4
wasDerivedFrom
HOL4?oldid=450397569
.
HOL4
isPrimaryTopicOf
HOL4
.
