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