Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Automating_theorem_proving> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- Automating_theorem_proving wikiPageID "1013613".
- Automating_theorem_proving wikiPageRedirects Automated_theorem_proving.
- Automating_theorem_proving wikiPageRevisionID "16793923".
- Automating_theorem_proving label "Automating theorem proving".
- Automating_theorem_proving sameAs m.0_8m.
- Automating_theorem_proving wasDerivedFrom Automating_theorem_proving?oldid=16793923.
- Automating_theorem_proving isPrimaryTopicOf Automating_theorem_proving.