No label defined (Q3487327)
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: Publication:3487327
scientific article; zbMATH DE number 4160708
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 4160708 |
Statements
1990
0 references
computable arithmetic
0 references
induction
0 references
bounded analog of primitive recursive arithmetic
0 references
polynomial time decidable predicates
0 references
provably recursive functions
0 references
NP-induction on notation
0 references
0.7847306728363037
0 references
0.7791069746017456
0 references
0.766390860080719
0 references
