knownLowerBoundProvedBy
P90269
predicate
Indicates that a specific lower bound has been formally established or proven by a particular method, proof, or source.
Observed surface forms (1)
- provesLowerBoundFor ×2
Sample triples (4)
| Subject | Object |
|---|---|
| Furst–Saxe–Sipser lower bounds | MOD₂ function via predicate surface "provesLowerBoundFor" ⓘ |
| Furst–Saxe–Sipser lower bounds | parity function via predicate surface "provesLowerBoundFor" ⓘ |
| de Bruijn–Newman constant | Brad Rodgers ⓘ |
| de Bruijn–Newman constant | Terence Tao ⓘ |