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).
All labels observed (9)
| Label | Occurrences |
|---|---|
| termDefinedBy | 106 |
| formalizedIn | 91 |
| formalism | 75 |
| formalDefinition | 18 |
| termDefinedIn | 6 |
| wasFormalizedBy | 3 |
| termFormalizedBy canonical | 2 |
| wasFormalizedIn | 2 |
| formalSpecificationBy | 1 |
Sample triples (304)
| Subject | Object |
|---|---|
| Chinese Taipei | Nagoya Resolution ⓘ |
| Chinese Taipei | International Olympic Committee ⓘ |
| Newtonian mechanics | Lagrangian mechanics via predicate surface "formalism" ⓘ |
| Newtonian mechanics | Hamiltonian mechanics via predicate surface "formalism" ⓘ |
| Eliashberg theory | Green’s function formalism via predicate surface "formalism" ⓘ |
| Eliashberg theory | Matsubara frequency formalism via predicate surface "formalism" ⓘ |
| S-matrix | S = 1 + iT via predicate surface "formalDefinition" ⓘ |
| Girsanov theorem | measure-theoretic probability via predicate surface "formalizedIn" ⓘ |
| Prince-electors of the Holy Roman Empire | 1356 via predicate surface "formalizedIn" ⓘ |
| Probabilistic Encryption | Shafi Goldwasser via predicate surface "wasFormalizedBy" ⓘ |
| Probabilistic Encryption | Silvio Micali via predicate surface "wasFormalizedBy" ⓘ |
| Probabilistic Encryption | 1980s via predicate surface "wasFormalizedIn" ⓘ |
| County Attorney of McCracken County, Kentucky | Kentucky Revised Statutes via predicate surface "termDefinedBy" ⓘ |
| Rubinstein bargaining model | extensive-form game via predicate surface "formalizedIn" ⓘ |
| Gematria | Sefer Yetzirah traditions via predicate surface "formalizedIn" ⓘ |
| Gematria | Zohar via predicate surface "formalizedIn" ⓘ |
| Secretary of the House of Deputies | Constitution and Canons of the Episcopal Church via predicate surface "termDefinedIn" ⓘ |
| President of the House of Councillors | rules of the House of Councillors via predicate surface "termDefinedBy" ⓘ |
| lambda calculus | lambda notation via predicate surface "formalizedIn" ⓘ |
| Gaussian law of error | probability theory via predicate surface "formalizedIn" ⓘ |
| Noether's isomorphism theorems | category of groups via predicate surface "formalism" ⓘ |
| Noether's isomorphism theorems | category of rings via predicate surface "formalism" ⓘ |
| Noether's isomorphism theorems | category of modules via predicate surface "formalism" ⓘ |
| Standing Committees of dioceses in the Episcopal Church (United States) | diocesan canons via predicate surface "termDefinedBy" ⓘ |
| Hilbert’s irreducibility theorem | the language of Hilbertian fields and thin sets via predicate surface "formalizedIn" ⓘ |
| Red River County Judge |
Texas Constitution
via predicate surface "termDefinedBy"
ⓘ
surface form:
Texas Constitution Article V
|
| First Secretary of the Communist Party of Cuba | Communist Party of Cuba statutes via predicate surface "termDefinedBy" ⓘ |
| Speaker of the Grand National Assembly of Turkey | Turkish law via predicate surface "termDefinedBy" ⓘ |
| Governor-General of the Bahamas |
Constitution of the Commonwealth of the Bahamas
via predicate surface "termDefinedBy"
ⓘ
surface form:
Constitution of the Bahamas
|
| President of the First Chamber | constitution or parliamentary rules via predicate surface "termDefinedBy" ⓘ |
| Migdal approximation | many-body Green's function theory via predicate surface "formalism" ⓘ |
| Migdal approximation | Feynman diagram expansion via predicate surface "formalism" ⓘ |
| Gell-Mann–Low theorem | operator formalism of quantum field theory via predicate surface "formalism" ⓘ |
| Osterwalder–Schrader axioms |
Euclidean quantum field theory
via predicate surface "formalism"
ⓘ
surface form:
Euclidean path integral
|
| Karush–Kuhn–Tucker conditions | Lagrangian saddle-point framework via predicate surface "formalizedIn" ⓘ |
| Principles and Parameters Theory | uses phrase structure representations via predicate surface "formalism" ⓘ |
| Principles and Parameters Theory | uses movement operations via predicate surface "formalism" ⓘ |
| X-bar theory | bar-level notation via predicate surface "formalizedIn" ⓘ |
| Banker's algorithm | matrices and vectors via predicate surface "formalizedIn" ⓘ |
| Northgrippian | 2018 via predicate surface "formalizedIn" ⓘ |
| Meghalayan | Holocene subdivision proposal via predicate surface "formalizedIn" ⓘ |
|
Members of Parliament
surface form:
Member of Parliament
|
national law via predicate surface "termDefinedBy" ⓘ |
| Merkle–Damgård construction | Damgård 1989 paper via predicate surface "formalizedIn" ⓘ |
| Merkle–Damgård construction | Merkle 1989 paper via predicate surface "formalizedIn" ⓘ |
| Kirchhoff's circuit laws | linear equations for circuit variables via predicate surface "formalism" ⓘ |
| United States Attorney for the Western District of Texas | federal statute via predicate surface "termDefinedBy" ⓘ |
| United States Attorney for the District of New Mexico | federal statute via predicate surface "termDefinedBy" ⓘ |
| United States Attorney for the District of the Northern Mariana Islands | federal law via predicate surface "termDefinedBy" ⓘ |
| Governor-General | national constitution via predicate surface "termDefinedBy" ⓘ |
| Status Quo of the Holy Places | 1852 via predicate surface "formalizedIn" ⓘ |