• clam2

  • Referenced in 0 articles [sw19620]
  • A Prolog implementation of the proof planner Clam...
  • clam3

  • Referenced in 0 articles [sw19621]
  • Prolog implementation of proof planner with critics, and...
  • CLIN

  • Referenced in 5 articles [sw19618]
  • A semantically guided first-order theorem prover CLIN...
  • DISCOUNT

  • Referenced in 6 articles [sw19613]
  • A distributed and learning equational prover DISCOUNT. The...
  • HOL88

  • Referenced in 0 articles [sw19615]
  • The HOL System is an environment for interactive...
  • HOL90

  • Referenced in 4 articles [sw19616]
  • HOL90: The rational reconstruction of HOL88....
  • IMPS

  • Referenced in 26 articles [sw09143]
  • IMPS: An interactive mathematical proof system. IMPS is...
  • InKa

  • Referenced in 9 articles [sw19610]
  • InKa - an inductive theorem prover. InKa: INduktionsbeweiser KArlsruhe...
  • LCF

  • Referenced in 105 articles [sw08360]
  • Edinburgh LCF. A mechanized logic of computation. From...
  • Mace4

  • Referenced in 119 articles [sw06905]
  • finite model-finder Mace4. Mace4 is a program...
  • MKRP

  • Referenced in 3 articles [sw19606]
  • The Markgraph Karl Refutation Procedure, a graph-based...
  • MUSCADET

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

  • Referenced in 85 articles [sw07543]
  • A computational logic handbook This book is a...
  • OMEGA

  • Referenced in 4 articles [sw19623]
  • Ωmega: A theorem prover for higher-order logic...
  • OSHL

  • Referenced in 0 articles [sw19628]
  • OSHL: A general-purpose instance-based first-order...
  • OTTER

  • Referenced in 200 articles [sw02904]
  • Our current automated deduction system Otter is designed...
  • Prover9

  • Referenced in 94 articles [sw04969]
  • Prover9 and Mace4: Prover9 is an automated theorem...
  • PRV

  • Referenced in 1 article [sw19617]
  • PRV-Beweisprogramm: An early theorem prover written in...
  • SNARK

  • Referenced in 3 articles [sw19611]
  • SNARK - SRI’s New Automated Reasoning Kit. SNARK...