Quantifier elimination algorithm to boolean combination of $\exists\forall$-formulas in the theory of a free group (Q6234234): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Changed label, description and/or aliases in en, and other parts |
||
| description / en | description / en | ||
scientific article | scientific article | ||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 7386843 / rank | |||
| Property / zbMATH Open document ID | |||
| Property / zbMATH Open document ID: 1528.03164 / rank | |||
| Property / preprint of | |||
| Property / preprint of: 3 Quantifier elimination algorithm to boolean combination of ∃∀-formulas in the theory of a free group / rank | |||
Normal rank | |||
Latest revision as of 14:28, 28 May 2025
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Quantifier elimination algorithm to boolean combination of $\exists\forall$-formulas in the theory of a free group |
scientific article |
Statements
8 July 2012
0 references
math.GR
0 references
