• 傻瓜

  • 3篇参考文献[SW1487]
  • 一阶定理证明中的排序TPTP. 支持对程序属性的推理…有效地证明程序属性。然而,在TPTP语言,输入语言的自动化第一…定理证明器最后,我们讨论了如何TPTP语言可以改变,以支持傻瓜…
  • 无溶剂

  • 3篇参考文献[SW13302]
  • 顺序逻辑。它读的是问题TPTPTHF格式。它是基于…以内部格式打印。显示导数TPTP格式尚未实现。因此…
  • 蒂皮

  • 4篇参考文献[SW09147]
  • Tipi:ATPTP注重实证分析的理论发展环境。在一些理论发展任务中…
  • 氟醇

  • 3篇参考文献[SW21539 ]
  • FML的语法和TPTPHOL的THF0语法。它目前支持逻辑…
  • PSOA2TPTP

  • 1篇参考文献[SW0768]
  • 用于互操作PSOA规则的参考翻译器TPTP推理者PSOA规则是最近指定的…流行语的规则表达式语法(PSOA/PS)TPTP格式,由许多一阶逻辑支持…基于PSOA规则映射的语义保持映射TPTP通过归一化和翻译阶段…
  • 纳米晶

  • 2篇参考文献[SW21547 ]
  • 一阶形式输入格式(LeCANOP或TPTP输出紧凑的非连接连接证明…
  • 梅拉

  • 1篇参考文献[SW0968]
  • 超过800个证明目标TPTP图书馆与以前的方法相反…
  • 兰多科普

  • 1篇参考文献[SW15149]
  • LeCANOP和其他定理证明TPTP图书馆和涉及大理论的问题…
  • ILTP

  • 22篇参考文献[SWO4437 ]
  • 直觉逻辑定理证明(ILTP)库提供…
  • 超小卫星

  • 510篇参考文献[SW0577]
  • 一个可扩展的SAT求解器。MiSISAT是一个极简主义…
  • 塞西奥

  • 114篇参考文献[SW0707]
  • SESEO:一个高性能的定理证明器。论文…
  • TPS

  • 68篇参考文献[SW0933]
  • TPS和ETPS分别是定理证明…
  • SATLIB

  • 57篇参考文献[SW02107]
  • SATLIB是基准问题的集合,求解器…
  • 水獭

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