Division in the Theory S02+ of Bounded Arithmetic. (Q4244822)
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: Division in the Theory S02+ of Bounded Arithmetic. |
scientific article; zbMATH DE number 1293500
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Division in the Theory S02+ of Bounded Arithmetic. |
scientific article; zbMATH DE number 1293500 |
Statements
Division in the Theory S02+ of Bounded Arithmetic. (English)
0 references
29 September 1999
0 references
bounded arithmetic
0 references
positive sequence number
0 references
code-version
0 references
division
0 references
0.88196504
0 references
0.86514586
0 references
0.8631024
0 references
0.8563472
0 references
0 references
0.8524707
0 references
0.8518747
0 references
