No label defined (Q3758805)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 4008363
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 4008363 |
Statements
1986
0 references
algebraic theories
0 references
efficient decision and quantifier elimination procedures
0 references
existentially closed models of a locally finite universal theory
0 references
amalgamation property
0 references
complexity
0 references
Applications
0 references
0.7717265486717224
0 references
0.7566559314727783
0 references
