typicalConclusion
P7028
predicate
Indicates that one entity is the usual or expected outcome, result, or ending that follows from another entity or situation.
All labels observed (4)
| Label | Occurrences |
|---|---|
| typicalResult | 11 |
| typicalConclusion canonical | 8 |
| typicalPartyOutcome | 2 |
| typicalClinicalImplication | 1 |
Sample triples (22)
| Subject | Object |
|---|---|
| implicit function theorem | implicit function is Ck with k≥1 ⓘ |
| Texas's 20th congressional district | Democratic victories by large margins via predicate surface "typicalPartyOutcome" ⓘ |
| Virchow's node | poor prognosis via predicate surface "typicalClinicalImplication" ⓘ |
| Håstad’s switching lemma | restricted formula has small-depth decision tree with high probability ⓘ |
| Mississippi's 3rd congressional district | Republican via predicate surface "typicalPartyOutcome" ⓘ |
| Littlewood–Paley theory |
Littlewood–Paley theory
via predicate surface "typicalResult"
self-linksurface differs
ⓘ
surface form:
Littlewood–Paley inequality
|
| Littlewood–Paley theory | equivalence of L^p norm and square function norm via predicate surface "typicalResult" ⓘ |
| Littlewood–Paley theory | characterization of Hardy spaces via square functions via predicate surface "typicalResult" ⓘ |
| Banach–Mazur game | a space is Baire iff Player II has a winning strategy in the Banach–Mazur game on every nonempty open set via predicate surface "typicalResult" ⓘ |
| Banach–Mazur game | in a complete metric space, certain Banach–Mazur games are determined via predicate surface "typicalResult" ⓘ |
| Bailey lemma | produces a new Bailey pair (α'_n, β'_n) relative to the same parameter ⓘ |
| Freyd adjoint functor theorem | functor has a left adjoint ⓘ |
| Freyd adjoint functor theorem | functor has a right adjoint ⓘ |
| Gronwall inequality | exponential bound on the unknown function ⓘ |
| van der Corput lemma | integral bounded by constant times lambda to a negative power ⓘ |
| Skolem arithmetic | classification of definable subsets of ℕ^k under multiplication via predicate surface "typicalResult" ⓘ |
| Skolem arithmetic | decidability of the first-order theory of (ℕ, ×) via predicate surface "typicalResult" ⓘ |
| Wigner matrices | empirical spectral measure converges almost surely to semicircle law via predicate surface "typicalResult" ⓘ |
| Wigner matrices | largest eigenvalue converges to 2 in the normalized case via predicate surface "typicalResult" ⓘ |
| Wigner matrices | fluctuations of largest eigenvalue often follow Tracy–Widom distribution via predicate surface "typicalResult" ⓘ |
| Wigner matrices | local eigenvalue statistics in bulk match GOE or GUE statistics via predicate surface "typicalResult" ⓘ |
| Ahlfors finiteness theorem | quotient of domain of discontinuity is a finite-type Riemann surface or orbifold ⓘ |