Z-module reasoning (Q3140017)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Z-module reasoning |
scientific article |
Statements
Z-module reasoning (English)
0 references
29 May 1994
0 references
\({\mathbb{Z}}\)-module reasoning
0 references
theorem-proving
0 references
ring theories
0 references
equality theorems
0 references
