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

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

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

  • Referenced in 4 articles [sw21327]
  • Solving symbolic equations with PRESS. We outline a...
  • scunac

  • Referenced in 3 articles [sw21328]
  • Encoding functional relations in Scunak. We describe how...
  • ProCom

  • Referenced in 2 articles [sw21329]
  • ProCom is a theorem prover written in ECLiPSe...