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

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

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

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

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

Mace4
 Referenced in 211 articles
[sw06905]
 finite modelfinder Mace4. Mace4 is a program...

NQTHM
 Referenced in 149 articles
[sw07543]
 A computational logic handbook. This book is a...

LCF
 Referenced in 157 articles
[sw08360]
 Edinburgh LCF. A mechanized logic of computation. From...

IMPS
 Referenced in 51 articles
[sw09143]
 IMPS: An interactive mathematical proof system. IMPS is...

SAD
 Referenced in 14 articles
[sw09796]
 System for automated deduction (SAD): A tool for...

MKRP
 Referenced in 3 articles
[sw19606]
 The Markgraph Karl Refutation Procedure, a graphbased...

InKa
 Referenced in 18 articles
[sw19610]
 InKa  an inductive theorem prover. InKa: INduktionsbeweiser KArlsruhe...

SNARK
 Referenced in 4 articles
[sw19611]
 SNARK  SRI’s New Automated Reasoning Kit. SNARK...

DISCOUNT
 Referenced in 14 articles
[sw19613]
 A distributed and learning equational prover DISCOUNT. The...

LambdaClam
 Referenced in 24 articles
[sw19614]
 LambdaClam ( λclam, lclam) is a proof planning system...

HOL88
 Referenced in 2 articles
[sw19615]
 The HOL System is an environment for interactive...

HOL90
 Referenced in 7 articles
[sw19616]
 HOL90: The rational reconstruction of HOL88....

PRV
 Referenced in 1 article
[sw19617]
 PRVBeweisprogramm: An early theorem prover written in...

CLIN
 Referenced in 6 articles
[sw19618]
 A semantically guided firstorder theorem prover CLIN...