
lolliCoP
 Referenced in 2 articles
[sw01476]
 lolliCoP  a linear logic implementation of a lean...

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...

STRIP
 Referenced in 15 articles
[sw04650]
 STRIP: Structural sharing for efficient proofsearch. The...

DCTP
 Referenced in 21 articles
[sw06621]
 DCTP  A Disconnection Calculus Theorem Prover. DCTP is...

SCOTT
 Referenced in 27 articles
[sw06717]
 SCOTT: Semantically Constrained Otter. The SCOTT project dates...

MUSCADET
 Referenced in 10 articles
[sw06859]
 MUSCADET: An automatic theorem proving system using knowledge...

NoMoRe
 Referenced in 22 articles
[sw07094]
 NoMoRe: A system for nonmonotonic reasoning under...

LoTREC
 Referenced in 27 articles
[sw07684]
 LoTREC: Logical tableaux research engineering companion. In this...

Racer
 Referenced in 66 articles
[sw09837]
 Racer is a knowledge representation system that implements...

JProver
 Referenced in 13 articles
[sw09978]
 JProver: Integrating connectionbased theorem proving into interactive...

QUBE
 Referenced in 28 articles
[sw11381]
 QuBE: A System for Deciding Quantified Boolean Formulas...

P.rex
 Referenced in 9 articles
[sw21344]
 Fiedler, A.: P.rex: An interactive proof explainer. This...

MODPROF
 Referenced in 2 articles
[sw21543]
 The MODPROF theorem prover. This paper introduces MODPROF...