Code and data for the paper "Automated reasoning for proving non-orderability of groups"

NIAID Data Ecosystem2026-05-01 收录

自动推理证明

群论不可排序性

数据链接：

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

官方服务：

资源简介：

Code and data for the paper titled "Automated reasoning for proving non-orderability of groups". Containing the input files, output files and proofs obtained by Prover9; the input files, output files and models obtained by Mace4; and a Python 3 script to generate this data set.

创建时间：

2023-10-10

Code and data for the paper "Automated reasoning for proving non-orderability of groups"

资源简介：

相关数据集