Automatized Construction of Implicative Theory of Algebraic Identities of Size Up to 5 (Q4981135)
From MaRDI portal
scientific article; zbMATH DE number 6307459
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automatized Construction of Implicative Theory of Algebraic Identities of Size Up to 5 |
scientific article; zbMATH DE number 6307459 |
Statements
Automatized Construction of Implicative Theory of Algebraic Identities of Size Up to 5 (English)
0 references
24 June 2014
0 references
equational classes
0 references
implicative theory
0 references
attribute exploration
0 references
equational logic
0 references
infinite models
0 references
