Benchmark for the Evaluation of MoMo v0.1.0
收藏官方服务：
资源简介：
A benchmark containing problems sourced from (as of the time of this upload) the upcoming TPTP problem library v9.3.0 and used for evaluating the finite model finder MoMo v0.1.0 for first-order modal logics. One problem has been modified due to input limitations of MoMo, and is titled as such (SYN000_7_modified).
提供机构：
Zenodo创建时间：
2026-02-11
