Experimental Results for Vampire on the Equational Theories Project
收藏官方服务：
资源简介：
Equational Theories Project is a collaborative effort, which explores the validity of certain first-order logic implications of certain kind. The project has been completed but triggered further research. This dataset shows how much can be automatically proven and disproven by the automated theorem prover Vampire.
提供机构：
Zenodo创建时间：
2025-08-20
