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