Data Portal @ linkeddatafragments.org
DBpedia 2014
Search DBpedia 2014 by triple pattern
subject
predicate
object
Matches in DBpedia 2014 for
{ ?s ?p <http://www.cl.cam.ac.uk/~mjcg/papers/HolHistory.html> . }
Showing items 1 to 2 of
2
with
100
items per page.
HOL_(proof_assistant)
wikiPageExternalLink
HolHistory.html
.
Logic_for_Computable_Functions
wikiPageExternalLink
HolHistory.html
.
