Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Category:Theorem_proving_software_systems> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items per page.
- Category:Theorem_proving_software_systems wikiPageID "14417843".
- Category:Theorem_proving_software_systems wikiPageRevisionID "550626637".
- Category:Theorem_proving_software_systems type Concept.
- Category:Theorem_proving_software_systems label "Theorem proving software systems".
- Category:Theorem_proving_software_systems sameAs Κατηγορία:Λογισμικό_απόδειξης_θεωρημάτων.
- Category:Theorem_proving_software_systems sameAs Categoría:Demostradores_de_teoremas.
- Category:Theorem_proving_software_systems sameAs Catégorie:Assistant_de_preuve.
- Category:Theorem_proving_software_systems sameAs Q8851959.
- Category:Theorem_proving_software_systems sameAs Q8851959.
- Category:Theorem_proving_software_systems broader Category:Automated_theorem_proving.
- Category:Theorem_proving_software_systems broader Category:Formal_methods_tools.
- Category:Theorem_proving_software_systems broader Category:Mathematical_software.
- Category:Theorem_proving_software_systems prefLabel "Theorem proving software systems".
- Category:Theorem_proving_software_systems wasDerivedFrom Category:Theorem_proving_software_systems?oldid=550626637.