Mechanical proving with Walnut for squares and cubes in partial words (Q6496831)
From MaRDI portal
scientific article; zbMATH DE number 7842466
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Mechanical proving with Walnut for squares and cubes in partial words |
scientific article; zbMATH DE number 7842466 |
Statements
Mechanical proving with Walnut for squares and cubes in partial words (English)
0 references
6 May 2024
0 references
partial words
0 references
squares
0 references
antisquares
0 references
cubes
0 references
Walnut
0 references
