isFormalizedBy
P8407
predicate
Indicates that something is given a defined, structured, or official form through a specific method, process, or representation.
All labels observed (11)
| Label | Occurrences |
|---|---|
| formalizedBy | 81 |
| formalizedAs | 29 |
| systematizedBy | 19 |
| codificationForm | 4 |
| isFormalizedBy canonical | 3 |
| formalRecognitionMethod | 2 |
| hasFormalization | 2 |
| madeRigorousBy | 2 |
| formalisedUnder | 1 |
| formationLaw | 1 |
| separateCrownFormalisedBy | 1 |
Sample triples (145)
| Subject | Object |
|---|---|
| Diplomatic Revolution of 1756 | First Treaty of Versailles (1756) ⓘ |
| Diplomatic Revolution of 1756 |
First Treaty of Versailles (1756)
ⓘ
surface form:
Second Treaty of Versailles (1757)
|
| Diplomatic Revolution of 1756 | Westminster Convention (1756) ⓘ |
| Royal Warrant (for royal title and status) | written instrument under the royal sign-manual via predicate surface "formalizedAs" ⓘ |
| Juche | Kim Jong Il via predicate surface "systematizedBy" ⓘ |
| Anglo-American intelligence cooperation | UKUSA Agreement via predicate surface "formalizedBy" ⓘ |
| dissolution of the Soviet Union | Belavezha Accords via predicate surface "formalizedBy" ⓘ |
| dissolution of the Soviet Union |
Belavezha Accords
via predicate surface "formalizedBy"
ⓘ
surface form:
Alma-Ata Protocol
|
| Euclidean quantum field theory |
Osterwalder–Schrader axioms
via predicate surface "formalizedBy"
ⓘ
surface form:
Osterwalder–Schrader reconstruction theorem
|
| Euclidean quantum field theory | axiomatic approaches via predicate surface "formalizedBy" ⓘ |
| founding of the Republic of Turkey | Treaty of Lausanne via predicate surface "formalizedBy" ⓘ |
| Dominions of the British Empire |
Balfour Declaration
via predicate surface "formalizedBy"
ⓘ
surface form:
Balfour Declaration of 1926
|
| British Dominions |
Imperial Conference of 1926
via predicate surface "formalizedBy"
ⓘ
surface form:
Imperial Conferences
|
|
expected utility theory (with John von Neumann)
surface form:
expected utility theory
|
expected utility theory (with John von Neumann)
via predicate surface "formalizedBy"
self-linksurface differs
ⓘ
surface form:
von Neumann–Morgenstern utility theorem
|
| Queen of New Zealand | Royal Titles Act 1953 (New Zealand) via predicate surface "separateCrownFormalisedBy" ⓘ |
| ASEAN Political-Security Community | ASEAN Charter via predicate surface "formalisedUnder" ⓘ |
| Bayesian inference | Thomas Bayes via predicate surface "formalizedBy" ⓘ |
| Phillips curve framework |
Phillips curve framework
via predicate surface "formalizedAs"
self-linksurface differs
ⓘ
surface form:
expectations-augmented Phillips curve by Milton Friedman
|
| Phillips curve framework | expectations-augmented Phillips curve by Edmund Phelps via predicate surface "formalizedAs" ⓘ |
|
Markov processes
surface form:
Markov process
|
family of random variables indexed by time via predicate surface "formalizedAs" ⓘ |
| Ricardian equivalence | Robert J. Barro in the 1970s via predicate surface "formalizedBy" ⓘ |
| Ricardian rent | David Ricardo in "On the Principles of Political Economy and Taxation" via predicate surface "formalizedBy" ⓘ |
| Neoplatonism | Porphyry via predicate surface "systematizedBy" ⓘ |
| spacetime manifold | tensor calculus via predicate surface "formalizedBy" ⓘ |
| spacetime manifold | differential geometry via predicate surface "formalizedBy" ⓘ |
| Empty Category Principle | condition on government of empty positions via predicate surface "formalizedAs" ⓘ |
| India–Pakistan Line of Control | Simla Agreement via predicate surface "formalizedBy" ⓘ |
| Treaty of Berlin (1878) transfer of Batum to Russian Empire |
Treaty of Berlin 1878
via predicate surface "formalizedBy"
ⓘ
surface form:
Treaty of Berlin (1878)
|
| Gödel's ontological proof | computer-verified proof in higher-order logic via predicate surface "hasFormalization" ⓘ |
| Status Quo of the Holy Places |
Sultan Abdülmecid I
via predicate surface "formalizedBy"
ⓘ
surface form:
Ottoman Sultan Abdulmejid I
|
| Mosaic covenant | blood ritual via predicate surface "formalizedBy" ⓘ |
| Mosaic covenant | sacrifice via predicate surface "formalizedBy" ⓘ |
| Hail Mary |
Roman Catholicism
via predicate surface "formalizedBy"
ⓘ
surface form:
Roman Catholic Church
|
| topological quantum field theory | Atiyah–Segal axioms via predicate surface "formalizedBy" ⓘ |
| Pareto efficiency | Pareto ordering via predicate surface "formalizedBy" ⓘ |
| Lie pseudogroup | Charles Ehresmann via predicate surface "formalizedBy" ⓘ |
| Lie pseudogroup | Shoshichi Kobayashi via predicate surface "formalizedBy" ⓘ |
| Halting problem | membership problem for the halting set K via predicate surface "formalizedAs" ⓘ |
| Halting problem | set of indices of Turing machines that halt on a given input via predicate surface "formalizedAs" ⓘ |
| Regular Expression Search Algorithm | Ken Thompson via predicate surface "formalizedBy" ⓘ |
| OWL 2 RL | set of entailment rules via predicate surface "hasFormalization" ⓘ |
| Yang–Mills existence and mass gap problem |
Yang–Mills existence and mass gap problem
via predicate surface "formalizedBy"
self-linksurface differs
ⓘ
surface form:
Jaffe–Witten problem statement
|
|
Probability Theory
surface form:
Probability theory
|
Andrei Kolmogorov
via predicate surface "formalizedBy"
ⓘ
surface form:
Andrey Kolmogorov
|
| Tuscan order | Sebastiano Serlio via predicate surface "systematizedBy" ⓘ |
| Tuscan order |
Vignola
via predicate surface "systematizedBy"
ⓘ
surface form:
Giacomo Barozzi da Vignola
|
| Tuscan order | Andrea Palladio via predicate surface "systematizedBy" ⓘ |
| universal intelligence measure | infinite sum over all computable environments via predicate surface "formalizedAs" ⓘ |
| Cauchy convergence criterion | epsilon–N definition via predicate surface "formalizedBy" ⓘ |
| Bayesian networks | Judea Pearl via predicate surface "formalizedBy" ⓘ |
| Chapter 11 – Executive and Judiciary Printing and Binding | positive law title component via predicate surface "codificationForm" ⓘ |