ConceptDynamics / CONCEPT
Commuting Completion Exchange
Commuting predictive completions exchange order and equal completion by all words.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES3
PROOF DEPTH3
DOCUMENT LINKS1
Commuting completions exchange and equal all words
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Adaptive Modular Identificationstructural-affinity · Closed
- Commuting Completion Exchange Arenastructural-affinity · Closed
- Congruence Closure Dualitystructural-affinity · Closed
- Congruence Kernelstructural-affinity · Closed
- Congruence Kernel Sensor Fusionstructural-affinity · Closed
- Conjecture 15 of CayleyPy-4 fails at k = 5, L = 4, N = 13structural-affinity · Closed
- Conjecture 16 of CayleyPy-4 fails at k = 4, L = 2, N = 5structural-affinity · Closed
- Diameter of the inverse-closed consecutive 3-cycle Schreier coset graphstructural-affinity · Closed
- Global Profile Counterfactual Target Minimalitystructural-affinity · Closed
- Global Profile Quotient Universalitystructural-affinity · Closed
- Minimal Predictive Completion Quotientstructural-affinity · Closed
- Predictive Completion Monotonicitystructural-affinity · Closed
- Registration Template and Helpersstructural-affinity · Closed
- Riemann Naming Stability Reductionstructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance