PITP项目 swMATH编号： 11386 软件作者： 亚历山德罗·阿韦隆；吉多·菲奥里诺；乌戈州莫斯卡托 描述： 表格校准仪PITP的改进。本文讨论了新版本的PITP，这是一个确定命题直觉逻辑的过程，它目前是ILTP上最好的命题证明程序。战略和实施方面的变化使新版本的PITP更快，能够比前一版本决定更多的公式。我们简要介绍了旧的优化以及与前一版本相比策略中的更改。我们使用ILTP库和随机生成的公式将本文中描述的实现与其他证明程序（包括旧版本的PITP）进行比较。 主页： http://www2.disco.unimib.it/fiorino/pitp.html 相关软件： ILTP公司;Nuprl公司;Coq公司 引用于： 3文件 标准文章 1出版物描述软件，包括1出版物以zbMATH为单位 年份 表格校准仪PITP的改进。 Zbl 1132.68674号亚历山德罗·阿韦隆;吉多·菲奥里诺;乌戈·莫斯卡托 2007 4位作者引用 2 亚历山德罗·阿韦隆 2 吉多·菲奥里诺 2 乌戈·莫斯卡托 1 尼古拉·奥利维蒂 2篇连载文章中引用 1 理论计算机科学 1 计算机科学课堂讲稿 在3个字段中引用 3 计算机科学（68至XX） 1 总体主题；集合（00-XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文