holdsFor
P12018
predicate
Indicates that a particular relationship or condition remains true over a specified interval or duration of time.
Observed surface forms (2)
- holdsOn ×2
- hedgingHorizon ×1
Sample triples (42)
| Subject | Object |
|---|---|
| Bianchi identities | Levi-Civita connection of any metric ⓘ |
| Bianchi identities | curvature of any linear connection ⓘ |
| Cameron–Martin theorem | centered Gaussian measures ⓘ |
| Cameron–Martin theorem | non-degenerate Gaussian measures ⓘ |
| Euler’s polyhedron formula | Platonic solids ⓘ |
| Euler’s polyhedron formula | cube ⓘ |
| Euler’s polyhedron formula | dodecahedron ⓘ |
| Euler’s polyhedron formula | icosahedron ⓘ |
| Euler’s polyhedron formula | octahedron ⓘ |
| Euler’s polyhedron formula | tetrahedron ⓘ |
| Eurodollar futures | short-term interest rate exposures up to several years ahead via predicate surface "hedgingHorizon" ⓘ |
|
Gauss’s lemma in number theory
surface form:
Gauss’s lemma (number theory)
|
integers a with gcd(a,p)=1 ⓘ |
| Girsanov theorem | filtered probability spaces via predicate surface "holdsOn" ⓘ |
| Hilbert basis theorem | R[x] when R is Noetherian ⓘ |
| Hilbert basis theorem | R[x_1,\dots,x_n] when R is Noetherian ⓘ |
| Hilbert’s syzygy theorem | finitely generated graded modules over a standard graded polynomial ring ⓘ |
| Hilbert’s syzygy theorem | polynomial rings in finitely many variables over a field ⓘ |
|
Jensen inequality
surface form:
Jensen's inequality
|
continuous distributions ⓘ |
|
Jensen inequality
surface form:
Jensen's inequality
|
discrete distributions ⓘ |
|
Jensen inequality
surface form:
Jensen's inequality
|
finite sums ⓘ |
|
Jensen inequality
surface form:
Jensen's inequality
|
integrals ⓘ |
|
Jensen inequality
surface form:
Jensen's inequality
|
probability measures ⓘ |
| LSZ reduction formula | in and out asymptotic fields ⓘ |
| Pascal's identity | integers k with 0 ≤ k ≤ n ⓘ |
| Pascal's identity | integers n ≥ 1 ⓘ |
| Pauli exclusion principle | any half-integer spin particle ⓘ |
| Pauli exclusion principle | electrons ⓘ |
| Pauli exclusion principle | neutrons ⓘ |
| Pauli exclusion principle | protons ⓘ |
| Pauli exclusion principle | quarks ⓘ |
| Permanent Representative of the People’s Republic of China to the United Nations |
United Nations Security Council
ⓘ
surface form:
People’s Republic of China’s seat on the United Nations Security Council
|
| Riemann–Lebesgue lemma | absolutely integrable functions ⓘ |
| Riemann–Lebesgue lemma | compactly supported integrable functions ⓘ |
| Tucker’s lemma | triangulations of the n-dimensional sphere via predicate surface "holdsOn" ⓘ |
| Whitney approximation theorem | maps between manifolds with boundary under suitable compatibility conditions ⓘ |
| Whitney embedding theorem | compact smooth manifolds ⓘ |
| Whitney embedding theorem | non-compact smooth manifolds ⓘ |
| Wigner–Eckart theorem | discrete angular momentum spectra ⓘ |
| all-or-none principle in nerve excitation | individual axons ⓘ |
| black hole no-hair theorem | charged rotating black holes described by the Kerr–Newman metric ⓘ |
| black hole no-hair theorem | non-rotating uncharged black holes described by the Schwarzschild metric ⓘ |
| black hole no-hair theorem | uncharged rotating black holes described by the Kerr metric ⓘ |