Solvable (and unsolvable) cases of the decision problem for fragments of analysis (Q4913613)
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: Solvable (and unsolvable) cases of the decision problem for fragments of analysis |
scientific article; zbMATH DE number 6151722
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Solvable (and unsolvable) cases of the decision problem for fragments of analysis |
scientific article; zbMATH DE number 6151722 |
Statements
8 April 2013
0 references
decidable theories
0 references
Tarski's elementary algebra
0 references
one-variable functions
0 references
0.881862223148346
0 references
0.8559549450874329
0 references
0.8542066812515259
0 references
0.8403218984603882
0 references
0.7655710577964783
0 references
