Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Theorem-proving_systems> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- Theorem-proving_systems wikiPageID "22273740".
- Theorem-proving_systems wikiPageLength "62".
- Theorem-proving_systems wikiPageOutDegree "1".
- Theorem-proving_systems wikiPageRedirects Automated_theorem_proving.
- Theorem-proving_systems wikiPageRevisionID "281632217".
- Theorem-proving_systems wikiPageWikiLink Automated_theorem_proving.
- Theorem-proving_systems wikiPageUsesTemplate Template:R_from_related_word.
- Theorem-proving_systems label "Theorem-proving systems".
- Theorem-proving_systems wasDerivedFrom Theorem-proving_systems?oldid=281632217.
- Theorem-proving_systems isPrimaryTopicOf Theorem-proving_systems.