Confined modified realizability (Q3406445)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 5671701
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Confined modified realizability |
scientific article; zbMATH DE number 5671701 |
Statements
Confined modified realizability (English)
0 references
16 February 2010
0 references
bounded modified realizability
0 references
monotone modified realizability
0 references
majorizability
0 references
0 references
0.8385632634162903
0 references
0.7941566705703735
0 references
0.7813398838043213
0 references
0.7461076974868774
0 references
0.7424674034118652
0 references
