standardFormulation
P28574
predicate
Indicates that something is expressed or represented in a conventional, officially accepted, or commonly used form or version.
All labels observed (5)
| Label | Occurrences |
|---|---|
| statementForm | 15 |
| standardFormulation canonical | 6 |
| standardFormSI | 2 |
| chargeFormulation | 1 |
| generalFormulation | 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: standardFormulation
Generated description
Indicates that something is expressed or represented in a conventional, officially accepted, or commonly used form or version.
Sample triples (25)
| Subject | Object |
|---|---|
| Noether's problem | given a field k and a finite group G, is k(x_g : g in G)^G purely transcendental over k? ⓘ |
| Ampère–Maxwell law | ∇ × B = μ₀J + μ₀ε₀ ∂E/∂t via predicate surface "standardFormSI" ⓘ |
| Impeachment of the President of India | resolution containing the impeachment charges via predicate surface "chargeFormulation" ⓘ |
| Halting problem | Given a description of a program and an input, decide whether the program eventually halts when run on that input ⓘ |
| Poincaré conjecture | Every closed simply connected 3-manifold is homeomorphic to the 3-sphere via predicate surface "statementForm" ⓘ |
| Poincaré–Hopf theorem | sum of indices of isolated zeros of a vector field on a compact manifold equals the Euler characteristic of the manifold via predicate surface "statementForm" ⓘ |
| Ampère's force law | F∕ℓ = μ₀ I₁ I₂ ∕ (2π r) via predicate surface "standardFormSI" ⓘ |
| Cantor–Bernstein–Schröder theorem | For sets A and B, if there exists an injection f:A→B and an injection g:B→A, then there exists a bijection h:A↔B. via predicate surface "generalFormulation" ⓘ |
| Cauchy–Hadamard theorem | R = 1 / L where L is limsup of |a_n|^{1/n} via predicate surface "statementForm" ⓘ |
| Hirzebruch–Riemann–Roch theorem | χ(X,E) = ∫_X ch(E)·Td(TX) via predicate surface "statementForm" ⓘ |
| Fatou's lemma | ∫ lim inf f_n dμ ≤ lim inf ∫ f_n dμ via predicate surface "statementForm" ⓘ |
| Hadamard inequality | |det(A)| ≤ ∏‖row_i(A)‖₂ via predicate surface "statementForm" ⓘ |
| Hadamard inequality | |det(A)| ≤ ∏‖col_j(A)‖₂ via predicate surface "statementForm" ⓘ |
| Löb's theorem | If T ⊢ Prov_T(⌜φ⌝) → φ, then T ⊢ φ ⓘ |
| Federal Rule of Evidence 1007 | “The proponent may prove the content of a writing, recording, or photograph by the testimony, deposition, or written statement of the party against whom the evidence is offered or by that party’s representative.” ⓘ |
| Sorites paradox | starting with a clear heap and removing grains one by one ⓘ |
| Sorites paradox | starting with a clearly bald person and adding hairs one by one ⓘ |
| Young inequality for convolutions | ‖f∗g‖_r ≤ ‖f‖_p ‖g‖_q via predicate surface "statementForm" ⓘ |
| Krull’s principal ideal theorem | inequality on heights of prime ideals via predicate surface "statementForm" ⓘ |
| Khintchine theorem | zero–one law for Lebesgue measure via predicate surface "statementForm" ⓘ |
| Pólya’s conjecture | M(x) ≤ 0 for all sufficiently large x via predicate surface "statementForm" ⓘ |
| matrix-tree theorem | determinant formula via predicate surface "statementForm" ⓘ |
| Bessel inequality | sum |⟨x,e_n⟩|^2 ≤ ||x||^2 via predicate surface "statementForm" ⓘ |
| Rouché's theorem | inequality on the boundary of a domain via predicate surface "statementForm" ⓘ |
| Bloch theorem | for every holomorphic function with bounded derivative on the unit disk there exists a point and radius such that the image contains a disk of universal radius via predicate surface "statementForm" ⓘ |