formalizationUses
P91857
predicate
Indicates that one formalization or formal system makes use of, depends on, or incorporates another resource, method, or framework in its construction or application.
Observed surface forms (4)
- formalismIncludes ×13
- formalismUses ×4
- usesFormalStrategy ×2
- usesTimeFormalism ×1
Sample triples (21)
| Subject | Object |
|---|---|
| Arnold conjecture | action functional on loop space via predicate surface "formalismUses" ⓘ |
| Arnold conjecture | gradient flow lines interpreted as pseudo-holomorphic curves via predicate surface "formalismUses" ⓘ |
| Euclidean quantum gravity | imaginary time via predicate surface "usesTimeFormalism" ⓘ |
| Hilbert’s tenth problem | polynomial equations with integer coefficients ⓘ |
| Nine Malic Moulds | diagrammatic representation via predicate surface "usesFormalStrategy" ⓘ |
| Nine Malic Moulds | transparent layering on glass via predicate surface "usesFormalStrategy" ⓘ |
| Schrödinger picture | kets |ψ(t)⟩ for states via predicate surface "formalismUses" ⓘ |
| Schrödinger picture | time-independent operators  for observables via predicate surface "formalismUses" ⓘ |
| mathematical foundations of mechanics | Hamiltonian mechanics via predicate surface "formalismIncludes" ⓘ |
| mathematical foundations of mechanics | Hamilton–Jacobi theory via predicate surface "formalismIncludes" NERFINISHED ⓘ |
| mathematical foundations of mechanics | Lagrangian mechanics via predicate surface "formalismIncludes" NERFINISHED ⓘ |
| mathematical foundations of mechanics | Newtonian formulation via predicate surface "formalismIncludes" ⓘ |
| mathematical foundations of mechanics | Noether's theorem via predicate surface "formalismIncludes" NERFINISHED ⓘ |
| mathematical foundations of mechanics | Poisson bracket formalism via predicate surface "formalismIncludes" ⓘ |
| mathematical foundations of mechanics | canonical transformations via predicate surface "formalismIncludes" ⓘ |
| mathematical foundations of mechanics | dynamical systems theory via predicate surface "formalismIncludes" ⓘ |
| mathematical foundations of mechanics | principle of least action via predicate surface "formalismIncludes" ⓘ |
| mathematical foundations of mechanics | stability theory via predicate surface "formalismIncludes" ⓘ |
| mathematical foundations of mechanics | variational principles via predicate surface "formalismIncludes" ⓘ |
| naive set theory | membership relation via predicate surface "formalismIncludes" ⓘ |
| naive set theory | set-builder notation via predicate surface "formalismIncludes" ⓘ |