DBpedia – Linked Data Fragments

Matches in DBpedia 2015-10 for { ?s ?p <http://www.cis.upenn.edu/~jean/gbooks/logic.html> }

• Automated_theorem_proving wikiPageExternalLink logic.html.
• Resolution_(logic) wikiPageExternalLink logic.html.
• SLD_resolution wikiPageExternalLink logic.html.
• logic.html url logic.html.