TPT2X

TPT2X实用工具是一个多功能实用工具,用于重新格式化、转换和生成TPTP问题文件。特别是,IT:1)从TPTP格式转换为现有ATP系统使用的格式。2)将各种变换应用于TPTP问题。3)控制TPTP生成器文件生成TPTP问题文件。TPT2X是用Prolog编写的,应该在大多数Prolog系统上运行。已知运行在Eclipse、SiCSTUS、SWI和YAP Prolog的当前版本上。在使用TPT2X之前,有必要为要使用的Prolog的方言安装代码。下面介绍这个和其他安装问题。


ZBMaCT中的参考文献(5篇文章中引用)

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

  1. 亚诺,Maria Teresa;爱尔兰,安得烈;Pease,艾丽森:通过自动理论形成发现不变量(2014)伊波尔特
  2. 科尔顿,西蒙;Miggelon,史蒂芬:归纳逻辑程序设计的数学应用(2006)
  3. 科尔顿,西蒙;Miggelon,史蒂芬:归纳逻辑程序设计的数学应用(2006)伊波尔特
  4. 科尔顿,西蒙:用HR、水獭和槭树进行数论的自动猜想(2005)
  5. Sutcliffe,杰夫;萨特纳,克里斯蒂安:TPTP问题库。CNF发布V1。2。1(1998)