StultOntPTP

系统描述:SystemOnTPTP。StultOntPTP是一个WWW接口,它允许ATP问题以各种方式容易和快速地提交到一系列ATP系统。该接口使用一套CurrType可用的ATP系统。该接口允许从TPTP库中选择问题或由用户提供的TPTP语法编写的问题。该问题可以按顺序提交给一个或多个ATP系统,或者可以通过SSCPA接口并行提交给多个系统。StultOntPTP还可以为一个问题提供系统建议。


ZBMaX中的参考文献(16篇)1标准条款

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

  1. Blanchette,Jasmin Christian;B·HME,Sascha;Fleury,马蒂亚斯;SMOLKA,Steffen Juilf;STECKMEMEER,艾伯特:机器生成证明的半易懂ISAR证明(2016)
  2. 克里斯托夫:高阶自动定理证明器(2015)
  3. Blanchette,Jasmin Christian;B·休姆,Sascha;保尔森,Lawrence C.:用SMT求解器扩展大锤(2013)
  4. 城市,Josef;鲁德尼基,Piotr;Sutcliffe,杰夫:ATP和Mizar形式化呈现服务(2013)
  5. Blanchette,Jasmin Christian;B·休姆,Sascha;保尔森,Lawrence C.:用SMT求解器扩展大锤(2011)
  6. Blanchette,Jasmin Christian;BulaWHN,卢卡斯;NIPKOW,托拜厄斯:伊莎贝尔/ HOL(2011)中的自动证明和反证
  7. B·休姆,Sascha;尼普科,托拜厄斯:大锤:审判日(2010)
  8. Sutcliffe,杰夫:TPTP世界——自动化推理基础设施(2010)
  9. 城市、Josef、Sutcliffe、杰夫:MIZAR数学形式化的自动推理和表示支持(2010)
  10. Sutcliffe,杰夫:TPTP问题库和相关基础设施和相关基础设施。FOF和CNF部件,V3.5.0(2009)
  11. 城市,Josef;Sutcliffe,杰夫:基于ATP的MIZAR证据交叉验证:方法、系统和第一次实验(2008)
  12. Sutcliffe,杰夫;Puzis,尤瑞:SRASS——语义关联公理选择系统(2007)
  13. Trac,史提芬;Puzis,Yury;Sutcliffe,杰夫:交互式派生查看器(2007)
  14. Sutcliffe,杰夫;舒尔茨,Stephan;Claessen,Koen;Van Gelder,艾伦:使用TexTuttTrpCultUngor写作推导和有限解释(2006)
  15. Voronkov,安德列:高效自动演绎中的算法、数据结构和其他问题(2001)
  16. Sutcliffe,杰夫:系统描述:StultOntPTP(2000)