Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Formalized_theorem_proving> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- Formalized_theorem_proving wikiPageID "36524601".
- Formalized_theorem_proving wikiPageLength "39".
- Formalized_theorem_proving wikiPageOutDegree "1".
- Formalized_theorem_proving wikiPageRedirects Automated_theorem_proving.
- Formalized_theorem_proving wikiPageRevisionID "503810914".
- Formalized_theorem_proving wikiPageWikiLink Automated_theorem_proving.
- Formalized_theorem_proving label "Formalized theorem proving".
- Formalized_theorem_proving wasDerivedFrom Formalized_theorem_proving?oldid=503810914.
- Formalized_theorem_proving isPrimaryTopicOf Formalized_theorem_proving.