TPTPCD2
收藏arXiv2025-09-30 收录
下载链接：
http://cs.christophwernhard.com/pie/cmprover/evaluation_201803/tptp_neq.html
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含了196个在TPTP 7.5.0中的简化分离问题，排除了基于特定标准的一些问题。该数据集用于评估各种定理证明器，并包含了一份详细的统计文档。规模上，该数据集共有196个问题，任务是对自动化一阶定理证明进行评估。
提供机构：
TPTP
