hasEquivalentFormulation

P90301
predicate

Indicates that two representations, statements, or formulations express the same underlying meaning, condition, or effect, even if they differ in form.

Try in SPARQL

All labels observed (8)

Label Occurrences
hasFormulationIn 7
hasEquivalentFormulation canonical 6
canBeReformulatedAs 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: hasEquivalentFormulation
Generated description
Indicates that two representations, statements, or formulations express the same underlying meaning, condition, or effect, even if they differ in form.

Sample triples (19)

Subject Object
Cauchy sequence for every ε > 0 there exists N such that for all n ≥ N, d(x_n,x_N) < ε ⓘ
Cauchy sequence for every ε > 0 there exists N such that for all k ≥ 0, d(x_{N+k},x_N) < ε ⓘ
Hasse norm theorem cohomological terms via predicate surface "hasFormulationIn" ⓘ
Hasse norm theorem idele-theoretic language via predicate surface "hasFormulationIn" ⓘ
Hasse norm theorem Galois cohomology via predicate surface "hasFormulationIn" ⓘ
Potts model Fortuin–Kasteleyn random cluster model partition function via predicate surface "partitionFunctionEquivalentTo" ⓘ
Connes embedding problem Connes embedding problem self-linksurface differs ⓘ
surface form: Kirchberg’s QWEP conjecture for C*-algebras
Connes embedding problem equality of certain sets of quantum correlations ⓘ
Connes embedding problem embeddability of separable II₁ factors into R^ω ⓘ
f(R) gravity scalar–tensor theory via predicate surface "canBeReformulatedAs" ⓘ
Hadamard matrices
surface form: Hadamard matrix
matrix with entries ±1 whose rows have pairwise Hamming distance n/2 after mapping ±1 to {0,1} ⓘ
ELBO minimizing KL divergence between variational posterior and true posterior via predicate surface "maximizationEquivalentTo" ⓘ
Frobenius endomorphism scheme theory via predicate surface "hasFormulationIn" ⓘ
Frobenius endomorphism ring theory via predicate surface "hasFormulationIn" ⓘ
Frobenius endomorphism field theory via predicate surface "hasFormulationIn" ⓘ
Frobenius endomorphism group theory via predicate surface "hasFormulationIn" ⓘ
Negation ¬¬p is equivalent to p in classical logic via predicate surface "doubleNegationFormulation" ⓘ
modularity conjecture equality of L-functions of elliptic curves and modular forms via predicate surface "equivalentFormulationInvolves" ⓘ
Kantorovich duality maximization over pairs of functions bounded by cost via predicate surface "hasDualFormulation" ⓘ