An oracle separating conjectures about incompleteness in the finite domain (Q2290649)
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: An oracle separating conjectures about incompleteness in the finite domain |
scientific article; zbMATH DE number 7159823
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | An oracle separating conjectures about incompleteness in the finite domain |
scientific article; zbMATH DE number 7159823 |
Statements
An oracle separating conjectures about incompleteness in the finite domain (English)
0 references
29 January 2020
0 references
disjoint NP-pairs
0 references
proof systems
0 references
P-optimal
0 references
UP
0 references
oracle
0 references
0 references
0.9364102482795716
0 references
0.8212738633155823
0 references
0.7814162373542786
0 references
0.7561951279640198
0 references
