Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Interactive_Theorem_Proving> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- Interactive_Theorem_Proving wikiPageID "36521880".
- Interactive_Theorem_Proving wikiPageRedirects Interactive_Theorem_Proving_(conference).
- Interactive_Theorem_Proving wikiPageRevisionID "503782541".
- Interactive_Theorem_Proving label "Interactive Theorem Proving".
- Interactive_Theorem_Proving sameAs m.0g9npq.
- Interactive_Theorem_Proving wasDerivedFrom Interactive_Theorem_Proving?oldid=503782541.
- Interactive_Theorem_Proving isPrimaryTopicOf Interactive_Theorem_Proving.