×

系统描述:SystemOnTPTP。 (英语) Zbl 0963.68529号

David McAllester(编辑),《自动扣除-CADE-17》。第17届国际会议,2000年6月17日至20日,美国宾夕法尼亚州匹兹堡。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1831, 406-410 (2000).
概述:SystemOnTPTP是一个WWW接口,允许以各种方式轻松快速地将ATP问题提交给一系列ATP系统。该接口使用一套当前可用的ATP系统。该接口允许从TPTP库中选择问题,或针对用户提供的用TPTP语法编写的问题。问题可以按顺序提交给一个或多个ATP系统,也可以通过SSCPA接口并行提交给多个系统。SystemOnTPTP还可以为问题提供系统建议。
关于整个系列,请参见[Zbl 0939.00024号].

MSC公司:

68吨15 定理证明(演绎、解析等)(MSC2010)
PDF格式BibTeX公司 XML格式引用