Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Automatic_proof_system> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- Automatic_proof_system wikiPageID "12342029".
- Automatic_proof_system wikiPageLength "39".
- Automatic_proof_system wikiPageOutDegree "1".
- Automatic_proof_system wikiPageRedirects Automated_theorem_proving.
- Automatic_proof_system wikiPageRevisionID "145871693".
- Automatic_proof_system wikiPageWikiLink Automated_theorem_proving.
- Automatic_proof_system label "Automatic proof system".
- Automatic_proof_system wasDerivedFrom Automatic_proof_system?oldid=145871693.
- Automatic_proof_system isPrimaryTopicOf Automatic_proof_system.