formalismType
P29507
predicate
Indicates the specific formal system or representational framework in which something (such as a theory, model, or specification) is expressed.
Aliases (3)
- formalizedInSystem ×1
- formalizesIn ×1
- oftenFormalizedWith ×1
Sample triples (5)
| Subject | Object |
|---|---|
| Brillouin–Wigner perturbation theory | time-independent perturbation theory → |
| Caesar (imperial title) | Tetrarchy ("formalizedInSystem") → |
| Kripke fixed-point theory of truth | Kleene strong three-valued logic ("oftenFormalizedWith") → |
| LSZ reduction formula | reduction formula → |
| Morse–Kelley set theory by class–set distinction | first-order language with two sorts of variables ("formalizesIn") → |