• OSHL

  • 0篇参考文献[SW19628 ]
  • OSHL一个基于通用实例的一阶自动定理证明算法。伊克索尔增量式版本的实现OSHL算法。。。
  • 水獭

  • 312篇参考文献[SW02904]
  • 我们目前的自动扣除系统水獭设计…
  • TPTP

  • 364篇参考文献[SW04143]
  • TPTP(成千上万的定理证明问题)
  • UCPOP

  • 36篇参考文献[SW2068 7]
  • UCPP规划师。注意:UCPOP是一种老化的…