• SETHEO

  • Referenced in 120 articles [sw00707]
  • SETHEO: A high-performance theorem prover. The paper...
  • OTTER

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

  • Referenced in 179 articles [sw04108]
  • SPASS is an automated theorem prover for first...
  • E-SETHEO

  • Referenced in 18 articles [sw07141]
  • E-SETHEO: An automated3 theorem prover We have...
  • DISCOUNT

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

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

  • Referenced in 4 articles [sw21561]
  • SPS-parallelism+SETHEO=SPTHEO. This paper describes the...