Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Theorem-proving_systems> ?p ?o }
Showing triples 1 to 12 of
12
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 type Redirect.
- Theorem-proving_systems label "Theorem-proving systems".
- Theorem-proving_systems sameAs m.0_8m.
- Theorem-proving_systems wasDerivedFrom Theorem-proving_systems?oldid=281632217.
- Theorem-proving_systems isPrimaryTopicOf Theorem-proving_systems.