termFormalizedBy
P6279
predicate
Indicates that a given term has been formally defined, specified, or codified by a particular formalization (such as a formal theory, document, or system).
Aliases (7)
- formalizedIn ×15
- formalism ×14
- termDefinedBy ×13
- wasFormalizedBy ×2
- formalDefinition ×1
- termDefinedIn ×1
- wasFormalizedIn ×1
Sample triples (49)
| Subject | Object |
|---|---|
| Banker's algorithm | matrices and vectors ("formalizedIn") → |
| Chinese Taipei | International Olympic Committee → |
| Chinese Taipei | Nagoya Resolution → |
| County Attorney of McCracken County, Kentucky | Kentucky Revised Statutes ("termDefinedBy") → |
| Eliashberg theory | Green’s function formalism ("formalism") → |
| Eliashberg theory | Matsubara frequency formalism ("formalism") → |
| First Secretary of the Communist Party of Cuba | Communist Party of Cuba statutes ("termDefinedBy") → |
| Gaussian law of error | probability theory ("formalizedIn") → |
| Gell-Mann–Low theorem | operator formalism of quantum field theory ("formalism") → |
| Gematria | Sefer Yetzirah traditions ("formalizedIn") → |
| Gematria | Zohar ("formalizedIn") → |
| Girsanov theorem | measure-theoretic probability ("formalizedIn") → |
| Governor-General | national constitution ("termDefinedBy") → |
| Governor-General of the Bahamas | Constitution of the Bahamas ("termDefinedBy") → |
| Hilbert’s irreducibility theorem | the language of Hilbertian fields and thin sets ("formalizedIn") → |
| Karush–Kuhn–Tucker conditions | Lagrangian saddle-point framework ("formalizedIn") → |
| Kirchhoff's circuit laws | linear equations for circuit variables ("formalism") → |
| Meghalayan | Holocene subdivision proposal ("formalizedIn") → |
| Member of Parliament | national law ("termDefinedBy") → |
| Merkle–Damgård construction | Damgård 1989 paper ("formalizedIn") → |
| Merkle–Damgård construction | Merkle 1989 paper ("formalizedIn") → |
| Migdal approximation | Feynman diagram expansion ("formalism") → |
| Migdal approximation | many-body Green's function theory ("formalism") → |
| Newtonian mechanics | Hamiltonian mechanics ("formalism") → |
| Newtonian mechanics | Lagrangian mechanics ("formalism") → |
| Noether's isomorphism theorems | category of groups ("formalism") → |
| Noether's isomorphism theorems | category of modules ("formalism") → |
| Noether's isomorphism theorems | category of rings ("formalism") → |
| Northgrippian | 2018 ("formalizedIn") → |
| Osterwalder–Schrader axioms | Euclidean path integral ("formalism") → |
| President of the First Chamber | constitution or parliamentary rules ("termDefinedBy") → |
| President of the House of Councillors | rules of the House of Councillors ("termDefinedBy") → |
| Prince-electors of the Holy Roman Empire | 1356 ("formalizedIn") → |
| Principles and Parameters Theory | uses movement operations ("formalism") → |
| Principles and Parameters Theory | uses phrase structure representations ("formalism") → |
| Probabilistic Encryption | 1980s ("wasFormalizedIn") → |
| Probabilistic Encryption | Shafi Goldwasser ("wasFormalizedBy") → |
| Probabilistic Encryption | Silvio Micali ("wasFormalizedBy") → |
| Red River County Judge | Texas Constitution Article V ("termDefinedBy") → |
| Rubinstein bargaining model | extensive-form game ("formalizedIn") → |
| S-matrix | S = 1 + iT ("formalDefinition") → |
| Secretary of the House of Deputies | Constitution and Canons of the Episcopal Church ("termDefinedIn") → |
| Speaker of the Grand National Assembly of Turkey | Turkish law ("termDefinedBy") → |
| Standing Committees of dioceses in the Episcopal Church (United States) | diocesan canons ("termDefinedBy") → |
| United States Attorney for the District of New Mexico | federal statute ("termDefinedBy") → |
| United States Attorney for the District of the Northern Mariana Islands | federal law ("termDefinedBy") → |
| United States Attorney for the Western District of Texas | federal statute ("termDefinedBy") → |
| X-bar theory | bar-level notation ("formalizedIn") → |
| lambda calculus | lambda notation ("formalizedIn") → |