Boolean algebra admits no convergent term rewriting system (Q5055766)
From MaRDI portal
scientific article; zbMATH DE number 7631173
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Boolean algebra admits no convergent term rewriting system |
scientific article; zbMATH DE number 7631173 |
Statements
Boolean algebra admits no convergent term rewriting system (English)
0 references
9 December 2022
0 references
Boolean algebra
0 references
term rewriting
0 references
automated theorem proving
0 references
