Results 1 to 4 of 4
Sort by:

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

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

  • METEOR
  • Referenced in 16 articles [sw26327]
  • METEORs: High Performance Theorem Provers using Model Elimination...

  • RRL
  • Referenced in 55 articles [sw28904]
  • An overview of Rewrite Rule Laboratory (RRL). RRL...