
KLMLean
 Referenced in 5 articles
[sw09988]
 reasoning. KLMLean 2.0 implements some analytic tableaux calculi for these logics recently introduced. KLMLean...

PreDeLo
 Referenced in 3 articles
[sw13719]
 Prolog implementation of labelled tableaux calculi for such extensions, and it is able to deal ... each axiom or rule of the tableaux calculi is implemented by a Prolog clause ... this paper, we also introduce a tableaux calculus for checking entailment in the rational extension...

Coq
 Referenced in 1906 articles
[sw00161]
 Coq is a formal proof management system. It...

ILTP
 Referenced in 29 articles
[sw00437]
 The Intuitionistic Logic Theorem Proving (ILTP) library provides...

Isabelle
 Referenced in 719 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

MiniSat
 Referenced in 584 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

SETHEO
 Referenced in 122 articles
[sw00707]
 SETHEO: A highperformance theorem prover. The paper...

TPS
 Referenced in 75 articles
[sw00973]
 TPS and ETPS are, respectively, the Theorem Proving...

OTTER
 Referenced in 320 articles
[sw02904]
 Our current automated deduction system Otter is designed...

VAMPIRE
 Referenced in 264 articles
[sw02918]
 Vampire 8.0, [RV02,Vor05] is an automatic theorem...

Haskell
 Referenced in 885 articles
[sw03521]
 Haskell is a standardized, generalpurpose purely functional...

SPASS
 Referenced in 185 articles
[sw04108]
 SPASS is an automated theorem prover for first...

TPTP
 Referenced in 401 articles
[sw04143]
 The TPTP (Thousands of Problems for Theorem Provers...

Mizar
 Referenced in 506 articles
[sw04704]
 The Mizar System is the only implementation of...

Prover9
 Referenced in 198 articles
[sw04969]
 Prover9 and Mace4: Prover9 is an automated theorem...

HOL
 Referenced in 594 articles
[sw05492]
 Higher Order Logic (HOL) is a programming environment...

ETPS
 Referenced in 161 articles
[sw06302]
 TPS and ETPS are, respectively, the Theorem Proving...

OCaml
 Referenced in 276 articles
[sw06363]
 OCaml is the most popular variant of the...

FINDER
 Referenced in 40 articles
[sw06376]
 Finite domain enumerator. This is a finite domain...

MUltlog
 Referenced in 19 articles
[sw06604]
 MUltlog is a system which takes as input...