粗呢

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

zbMATH中的参考文献(参考 1文章 参考)

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

  1. Claessen,Koen;Smallbone,Nicholas:方程逻辑中一阶Horn公式的有效编码(2018)