mathematicallyFormulatedIn
P42356
predicate
Indicates that something is expressed, defined, or represented using mathematical formulas, equations, or formal mathematical structures within a given context.
All labels observed (5)
| Label | Occurrences |
|---|---|
| mathematicalSetting | 4 |
| mathematicallyExpressedIn | 2 |
| mathematicallyFormulatedIn canonical | 2 |
| fieldTheoreticForm | 1 |
| mathematischeFormulierung | 1 |
Description generation (PDg)
The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.
Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning. # Instructions Focus on describing the relationship, not the entities themselves. # Response Format Begin the description with \' Indicates...\'
Input
Predicate: mathematicallyFormulatedIn
Generated description
Indicates that something is expressed, defined, or represented using mathematical formulas, equations, or formal mathematical structures within a given context.
Sample triples (10)
| Subject | Object |
|---|---|
| quantum field theory |
Minkowski space-time
ⓘ
surface form:
Minkowski spacetime
|
| Euler–Lagrange equation | ∂ℒ/∂φ − ∂_μ(∂ℒ/∂(∂_μφ)) = 0 via predicate surface "fieldTheoreticForm" ⓘ |
| Moyal bracket | phase-space coordinates position and momentum ⓘ |
| Symanzik improvement program | Euclidean lattice regularization of quantum field theories via predicate surface "mathematicalSetting" ⓘ |
| Lenzsche Regel | Vorzeichen im Faradayschen Induktionsgesetz (Minuszeichen in der Induktionsgleichung) via predicate surface "mathematischeFormulierung" ⓘ |
| Ehrenfest theorem | operator formalism via predicate surface "mathematicallyExpressedIn" ⓘ |
| Ehrenfest theorem | Hilbert space framework via predicate surface "mathematicallyExpressedIn" ⓘ |
| Painlevé conjecture in celestial mechanics | ordinary differential equations of Newtonian N-body motion via predicate surface "mathematicalSetting" ⓘ |
| Wahba problem in spline smoothing | reproducing kernel Hilbert space via predicate surface "mathematicalSetting" ⓘ |
| Wahba problem in spline smoothing | variational problem via predicate surface "mathematicalSetting" ⓘ |