Dontopedia

Dimension Independence

From Dontopedia, the open, paraconsistent wiki. (Last updated 2026-05-02.)

Dimension Independence has 5 facts recorded in Dontopedia across 1 reference, with 1 live disagreement.

5 facts·4 predicates·1 sources·1 in dispute

Mostly:is machine verified(2), is real(1), key to(1)

Maturity scale raw canonical shape-checked rule-derived certified

Inbound mentions (1)

Other subjects in dontopedia point AT this entity as a value. These are inverse relationships — e.g. "X motherOf this subject" — and answer questions the forward facts can't. Grouped by predicate.

verifiesVerifies(1)

Other facts (5)

The long tail: predicates that appear too rarely to warrant their own section. Filter or scroll to find a specific one. Each row links to its source.

5 facts
PredicateValueRef
Is Machine VerifiedLean[1]
Is Machine Verifiedtrue[1]
Is Realtrue[1]
Key toYang Mills Claim[1]
Verified byLean Proof[1]

Timeline

Timeline axis is valid_time — when each source says the fact was true in the world, not when Dontopedia learned about it. Retracted rows are kept for provenance; coloured stripes indicate the context kind.

5 undated
—
isMachineVerifiedblah/watt-activation/part-573
ex:lean
—
isMachineVerifiedblah/watt-activation/part-573
true
—
isRealblah/watt-activation/part-573
true
—
keyToblah/watt-activation/part-573
ex:yang-mills-claim
—
verifiedByblah/watt-activation/part-573
ex:lean-proof

References (1)

1 references
  1. [1]Part 5735 facts
    ctx:discord/blah/watt-activation/part-573

See also

Keep researching

Missing something or suspicious of what's here? Kick off a research session — a Claude agent will investigate, cite its sources, and file new facts into a dedicated context you can review before accepting into the shared view.

↑