Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Automated_deduction> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- Automated_deduction wikiPageID "4368076".
- Automated_deduction wikiPageLength "39".
- Automated_deduction wikiPageOutDegree "1".
- Automated_deduction wikiPageRedirects Automated_theorem_proving.
- Automated_deduction wikiPageRevisionID "43451375".
- Automated_deduction wikiPageWikiLink Automated_theorem_proving.
- Automated_deduction wikiPageWikiLinkText "automated deduction".
- Automated_deduction label "Automated deduction".
- Automated_deduction wasDerivedFrom Automated_deduction?oldid=43451375.
- Automated_deduction isPrimaryTopicOf Automated_deduction.