Experimental Data For The Paper Andrews-Curtis Conjecture, Term Rewriting And First-Order Proofs

Name: Experimental Data For The Paper Andrews-Curtis Conjecture, Term Rewriting And First-Order Proofs
Creator: Zenodo
Published: 2018-05-17T21:33:10+08:00

Zenodo2020-09-20 更新2026-05-25 收录

定理自动证明

项重写系统

数据链接：

https://zenodo.org/record/1248987 数据链接链接失效反馈

官方服务：

资源简介：

This dataset contains proofs obtained by Prover9 and refutations by Mace4 for AC-simplifications.

提供机构：

Zenodo

创建时间：

2018-05-17

Experimental Data For The Paper Andrews-Curtis Conjecture, Term Rewriting And First-Order Proofs

资源简介：

相关数据集