×

瑞士法郎

swMATH ID: 3310
软件作者: 克里斯托夫·本兹穆勒;弗洛里安·拉贝(Florian Rabe);萨特克利夫,杰夫
描述: THF0是一种非类型化的一阶TPTP语言的语法保守扩展,为高阶逻辑添加了语法。通过重用或调整现有的处理TPTP格式数据的基础设施,如解析工具、精美打印工具、系统测试和结果分析,保持一阶语言和高级语言之间的一致风格有助于轻松采用新语言(见第5节)。在THF0中维护的TPTP语言的一个特殊功能是Prolog兼容性。这允许在适当的运算符定义上下文中,通过单个Prolog read/1调用读取带注释的公式。保持Prolog兼容性是有充分理由的。
主页: 网址:http://www.cs.miami.edu/~tptp/
相关软件: TPTP公司;E定理证明器;伊莎贝尔/HOL;LEO-II型;Satallax公司;第三方程序;HOL灯;Twelf公司;梅蒂斯_;霍尔;SPASS公司;吸血鬼;系统OnTPTP;狮子座;OMDoc公司;ILTP公司;狮子座III;超小卫星;Nitpick公司;Coq公司
引用于: 14文件

按年份列出的引文