No label defined (Q3939272)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1982
0 references
deciding formulas in combinations of unquantified first-order theories
0 references
purely equational canonical form theories
0 references
equational theories
0 references
integer and real arithmetic
0 references
subtheory of monadic set theory
0 references
