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