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