Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Category:Automated_theorem_proving> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items per page.
- Category:Automated_theorem_proving wikiPageID "8387931".
- Category:Automated_theorem_proving wikiPageRevisionID "547452377".
- Category:Automated_theorem_proving type Concept.
- Category:Automated_theorem_proving label "Automated theorem proving".
- Category:Automated_theorem_proving sameAs Kategoria:Automatyczne_dowodzenie_twierdzeń.
- Category:Automated_theorem_proving sameAs Q8279957.
- Category:Automated_theorem_proving sameAs Q8279957.
- Category:Automated_theorem_proving broader Category:Formal_methods.
- Category:Automated_theorem_proving broader Category:Logic_in_computer_science.
- Category:Automated_theorem_proving broader Category:Logic_programming.
- Category:Automated_theorem_proving broader Category:Mathematical_logic.
- Category:Automated_theorem_proving broader Category:Mathematical_proofs.
- Category:Automated_theorem_proving prefLabel "Automated theorem proving".
- Category:Automated_theorem_proving wasDerivedFrom Category:Automated_theorem_proving?oldid=547452377.