Proving at Scale for Universal Algebra 9KFCFXF7FK
| URI | m2://res/9KFCFXF7FK |
|---|---|
| Kind | preprint |
| Creators | João Araújo, Jan Hůla, Mikoláš Janota, Edmond W. H. Lee, Bartosz Naskręcki |
| Date | 2026-10-01 |
| Subjects | arxiv cs.LO, arxiv math.GR |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2026-10-01 |
| Ids | arXiv 2610.02500 |
Items in this resource
The mentions of the inventory that name this resource. Each name links to the card of its inventory row.
| Item | Kind | Where | Source |
|---|---|---|---|
| 77KA8ZFJRA | example | example 1 | arxiv |
| VW93QFE67A | statement | proposition 1 | arxiv |
Catalogue records
- arxiv: 2610.02500 (work)
- arxiv_text: 2610.02500 (work)