特威

TWEE是等式逻辑的定理证明器。输入两组方程,公理和猜想,并试图从公理证明猜想。请参阅安装页面了解如何获取副本;您可能还需要查看简短手册。输入问题应以TPTP格式编写。

ZBMaCT中的参考文献(1篇文章中提到)

显示1的结果1。
按年份排序(引文

  1. CaleSeun,Koen;Smallbone,尼古拉斯:等式逻辑中一阶角公式的有效编码(2018)