No label defined (Q4390777)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: scientific article; zbMATH DE number 1156790 |
scientific article; zbMATH DE number 1156790
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1156790 |
Statements
19 October 1998
0 references
axiomatizability of the \(n\)-variable fragment \(L_n\) of first-order logic
0 references
finitization
0 references
representable relation algebras
0 references
permutation invariant operations
0 references
finitely axiomatizable
0 references
0.88684314
0 references
0.87771857
0 references
0.8718671
0 references
0.8711311
0 references
0 references