DBpedia-association
/
dbpedia
/
Login
Register
TriplyDB
DBpedia
Browser
Table
SPARQL
Graphs
1
1
Services
2
2
Assets
66
66
Insights
Schema
BETA
Class frequency
Class hierarchy
Free theorem provers
Free theorem provers
Concept
http://dbpedia.org/resource/Category:Free_theorem_provers
Coq
KeY
Matita
ACL2
Albatross (programming language)
E theorem prover
HOL Light
Isabelle (proof assistant)
Jape (software)
Models And Counter-Examples
Otter (theorem prover)
Paradox (theorem prover)
PhoX
Prototype Verification System
Prover9
SNARK (theorem prover)
SPASS
subject
Free theorem provers
Concept
http://dbpedia.org/resource/Category:Free_theorem_provers
Wikipage page ID
6,829,164
http://www.w3.org/2001/XMLSchema#integer
Wikipage revision ID
486,050,264
http://www.w3.org/2001/XMLSchema#integer
type
Concept
label
Free theorem provers
@en
sameAs
Q8472290
Q8472290
broader
Free mathematics software
Theorem proving software systems
prefLabel
Free theorem provers
@en
wasDerivedFrom
Category:Free_theorem_provers?oldid=486050264