formalismType
P29507
predicate
Indicates the specific formal system or representational framework in which something (such as a theory, model, or specification) is expressed.
All labels observed (10)
| Label | Occurrences |
|---|---|
| usesFormalism | 13 |
| formalismType canonical | 12 |
| formalizedUsing | 9 |
| formalModelFor | 1 |
| formalObjectType | 1 |
| formalizationLanguage | 1 |
| formalizedInSystem | 1 |
| formalizesIn | 1 |
| oftenFormalizedWith | 1 |
| schemaDefinitionFormat | 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: formalismType
Generated description
Indicates the specific formal system or representational framework in which something (such as a theory, model, or specification) is expressed.
Sample triples (41)
| Subject | Object |
|---|---|
| Brillouin–Wigner perturbation theory | time-independent perturbation theory ⓘ |
|
Caesar (imperial title)
linked to:
Caesar
|
Tetrarchy
via predicate surface "formalizedInSystem"
ⓘ
linked to:
Diocletian's Tetrarchy
|
| LSZ reduction formula | reduction formula ⓘ |
| Kripke fixed-point theory of truth | Kleene strong three-valued logic via predicate surface "oftenFormalizedWith" ⓘ |
| Morse–Kelley set theory by class–set distinction | first-order language with two sorts of variables via predicate surface "formalizesIn" ⓘ |
| matrix mechanics | Heisenberg picture ⓘ |
| Avro | JSON via predicate surface "schemaDefinitionFormat" ⓘ |
| Weyl quantization | phase-space operator correspondence ⓘ |
| Carathéodory’s formulation of the second law of thermodynamics | differential geometric ⓘ |
| Concerti Grossi Op. 6 | concerto grosso form via predicate surface "formalModelFor" ⓘ |
| Peierls bracket | Lagrangian-based bracket construction ⓘ |
| The Quantum Theory of Fields | relativistic quantum mechanics via predicate surface "usesFormalism" ⓘ |
| The Quantum Theory of Fields | path integral formulation via predicate surface "usesFormalism" ⓘ |
| The Quantum Theory of Fields | operator formalism via predicate surface "usesFormalism" ⓘ |
| OWL DL | Logic-based ontology language ⓘ |
| quadratic reciprocity law | Dirichlet characters via predicate surface "formalizedUsing" ⓘ |
| quadratic reciprocity law | Kronecker symbol via predicate surface "formalizedUsing" ⓘ |
| Herbrand disjunction | classical first-order logic via predicate surface "formalizationLanguage" ⓘ |
| Ricci calculus | coordinate-based tensor formalism ⓘ |
| Haag-Ruelle scattering theory | algebraic quantum field theory via predicate surface "usesFormalism" ⓘ |
|
Object-Oriented Software Construction
linked to:
object-oriented software construction
|
Eiffel programming language via predicate surface "usesFormalism" ⓘ |
| Kramers degeneracy |
Wigner’s theorem
via predicate surface "formalizedUsing"
ⓘ
linked to:
Wigner’s theorem on symmetry transformations
|
| Kramers degeneracy | representation theory of antiunitary symmetries via predicate surface "formalizedUsing" ⓘ |
| The Logic of Relatives | algebraic notation via predicate surface "usesFormalism" ⓘ |
| The Logic of Relatives | symbolic notation for relations via predicate surface "usesFormalism" ⓘ |
| Van Wijngaarden grammars | generative grammar ⓘ |
| Diagrammatica: The Path to Feynman Diagrams | Feynman rules via predicate surface "usesFormalism" ⓘ |
| Diagrammatica: The Path to Feynman Diagrams | Feynman diagrams via predicate surface "usesFormalism" ⓘ |
| Landin’s SECD machine | small-step operational semantics ⓘ |
| The Next 700 Programming Languages | lambda calculus via predicate surface "usesFormalism" ⓘ |
| Hamiltonian optics | Hamiltonian formalism via predicate surface "usesFormalism" ⓘ |
| Hamiltonian optics | phase-space formalism ⓘ |
| local class field theory | topological groups via predicate surface "formalizedUsing" ⓘ |
| local class field theory | profinite groups via predicate surface "formalizedUsing" ⓘ |
| local class field theory | Galois cohomology via predicate surface "formalizedUsing" ⓘ |
| Gentzen’s consistency proof for arithmetic | first-order arithmetic via predicate surface "usesFormalism" ⓘ |
| Gentzen’s consistency proof for arithmetic | sequent calculus LK via predicate surface "usesFormalism" ⓘ |
| Bondi–Metzner–Sachs symmetry | Bondi coordinates via predicate surface "formalizedUsing" ⓘ |
| Bondi–Metzner–Sachs symmetry | Sachs coordinates via predicate surface "formalizedUsing" ⓘ |
| Penrose spinor calculus | two-component spinor formalism ⓘ |
| Drinfeld associators | group-like element in the completed universal enveloping algebra of a free Lie algebra via predicate surface "formalObjectType" ⓘ |