DBpedia – Linked Data Fragments

Matches in DBpedia 2016-04 for { ?s ?p <http://www.cl.cam.ac.uk/~mjcg/papers/HolHistory.html> }

• HOL_(proof_assistant) wikiPageExternalLink HolHistory.html.
• Logic_for_Computable_Functions wikiPageExternalLink HolHistory.html.
• HolHistory.html url HolHistory.html.
• Q17030435 wikiPageExternalLink HolHistory.html.
• Q6667462 wikiPageExternalLink HolHistory.html.