Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Category:Free_theorem_provers> ?p ?o. }
Showing items 1 to 10 of
10
with 100 items per page.
- Category:Free_theorem_provers wikiPageID "6829164".
- Category:Free_theorem_provers wikiPageRevisionID "486050264".
- Category:Free_theorem_provers type Concept.
- Category:Free_theorem_provers label "Free theorem provers".
- Category:Free_theorem_provers sameAs Q8472290.
- Category:Free_theorem_provers sameAs Q8472290.
- Category:Free_theorem_provers broader Category:Free_mathematics_software.
- Category:Free_theorem_provers broader Category:Theorem_proving_software_systems.
- Category:Free_theorem_provers prefLabel "Free theorem provers".
- Category:Free_theorem_provers wasDerivedFrom Category:Free_theorem_provers?oldid=486050264.