No label defined (Q3731650)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1986
0 references
partial algebras
0 references
universal algebras
0 references
relational systems
0 references
heterogeneous algebras
0 references
universal Horn formulas
0 references
elementary implications
0 references
meta-theorem
0 references
Birkhoff type theorems
0 references
