Computational complexity of quantifier-free negationless theory of field of rational numbers (Q5957912)
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: Computational complexity of quantifier-free negationless theory of field of rational numbers |
scientific article; zbMATH DE number 1719227
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computational complexity of quantifier-free negationless theory of field of rational numbers |
scientific article; zbMATH DE number 1719227 |
Statements
Computational complexity of quantifier-free negationless theory of field of rational numbers (English)
0 references
11 July 2002
0 references
universal negationless theory
0 references
decidability
0 references
quantifier-free theory of the field of rational numbers
0 references
binary rational numbers
0 references
