hasMathematicalProperty
P86747
predicate
Indicates that one entity possesses or exhibits a specific mathematical property or characteristic.
Observed surface forms (10)
- mathematicalProperty ×10
- hasMathematicalNature ×6
- mathematicalFeature ×4
- assumesPropertyOfSine ×2
- hasMathematicalClassification ×2
- theoreticalProperty ×2
- hasGrundyValueProperty ×1
- majorizationProperty ×1
- mayHavePropertyOfGeneratingFunction ×1
- multiplicativityProperty ×1
Sample triples (34)
| Subject | Object |
|---|---|
| Banach limit | liminf x_n ≤ L(x) ≤ limsup x_n via predicate surface "majorizationProperty" ⓘ |
| BigBird | Turing completeness under certain conditions via predicate surface "theoreticalProperty" ⓘ |
| BigBird | universal approximator of sequence functions via predicate surface "theoreticalProperty" ⓘ |
| Circle Limit III | circle limit construction via predicate surface "mathematicalProperty" ⓘ |
| Circle Limit III | conformal tiling via predicate surface "mathematicalProperty" ⓘ |
| Circle Limit III | hyperbolic tessellation via predicate surface "mathematicalProperty" ⓘ |
| Clebsch representation | local representation of vector fields via predicate surface "hasMathematicalNature" ⓘ |
| Dirac quantization condition | topological quantization condition via predicate surface "hasMathematicalNature" ⓘ |
| Dirichlet L-functions | Dirichlet characters are completely multiplicative via predicate surface "multiplicativityProperty" ⓘ |
| Einthoven triangle | lead II equals lead I plus lead III via predicate surface "mathematicalProperty" ⓘ |
| Euler’s identity for sine product | oddness of sine via predicate surface "assumesPropertyOfSine" ⓘ |
| Euler’s identity for sine product | simple zeros at integers via predicate surface "assumesPropertyOfSine" ⓘ |
| Helmholtz free energy | is a function of state variables T, V, N via predicate surface "mathematicalProperty" ⓘ |
| Lambert conformal conic projection | meridians are straight lines via predicate surface "mathematicalProperty" ⓘ |
| Lambert conformal conic projection | parallels are arcs of concentric circles via predicate surface "mathematicalProperty" ⓘ |
| Lambert conformal conic projection | scale is true along standard parallels via predicate surface "mathematicalProperty" ⓘ |
| Landau–Peierls instability | infrared divergence of displacement fluctuations in low dimensions via predicate surface "mathematicalFeature" ⓘ |
| Lyapunov dimension | real-valued function on invariant sets via predicate surface "hasMathematicalNature" ⓘ |
| Maya astronomy | use of positional notation via predicate surface "mathematicalFeature" ⓘ |
| Maya astronomy | use of vigesimal (base-20) system via predicate surface "mathematicalFeature" ⓘ |
| Maya astronomy | use of zero as placeholder via predicate surface "mathematicalFeature" ⓘ |
| Moore–Penrose inverse (precursor ideas) | algebraic via predicate surface "hasMathematicalNature" ⓘ |
| Moore–Penrose inverse (precursor ideas) | operator-theoretic via predicate surface "hasMathematicalNature" ⓘ |
| Nim | disjunctive sum of impartial games reduces to a Nim heap via Grundy numbers ⓘ |
| Nim | every position has a unique Grundy number ⓘ |
| Regular Polytopes | finite regular polytopes via predicate surface "hasMathematicalClassification" ⓘ |
| Regular Polytopes | infinite regular tessellations via predicate surface "hasMathematicalClassification" ⓘ |
| Roulette | negative expected value for the player ⓘ |
| Seiberg–Witten differential | one-form via predicate surface "hasMathematicalNature" ⓘ |
| Stieltjes measure | bounded variation via predicate surface "mayHavePropertyOfGeneratingFunction" ⓘ |
| Tusi couple | composition of two equal-speed circular motions with opposite directions via predicate surface "mathematicalProperty" ⓘ |
| Wythoff Nim | P-positions have Grundy value 0 via predicate surface "hasGrundyValueProperty" ⓘ |
| stress–energy tensor | covariantly conserved via predicate surface "mathematicalProperty" ⓘ |
| universal intelligence measure | upper-bounds achievable performance of any computable agent in the AIXI framework ⓘ |