Published October 9, 2023
| Version v1
Dataset
Open
Code and data for the paper "Automated reasoning for proving non-orderability of groups"
Authors/Creators
- 1. University of Liverpool, Liverpool, UK
- 2. Lagrange Mathematics and Computing Research Center, Huawei
- 3. University of Essex, Essex, UK
Description
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.
Files
mace4_input.zip
Files
(2.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:f1bb75f09cb973623be5d82417a4eb03
|
3.6 kB | Preview Download |
|
md5:73f2c676103b1b5419b1086cd59ebf42
|
8.9 kB | Preview Download |
|
md5:9f3b2012d5a78122b5fc9b433e0109b4
|
27.8 kB | Preview Download |
|
md5:0f5a36ca1c51825c13e1f997cbc470ea
|
15.2 kB | Download |
|
md5:65fd11efbed37c9362f240ad07d1d947
|
10.6 kB | Preview Download |
|
md5:6129aace7bf8887c6ff35bd4f1261971
|
2.4 MB | Preview Download |
|
md5:82d056fb0951d353f2f36982b1218e93
|
83.4 kB | Preview Download |