Dontopedia

Z-grading

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

Z-grading has 6 facts recorded in Dontopedia across 1 reference.

6 facts·5 predicates·1 sources

Mostly:rdf:type(1), feasibility(1), uses(1)

Maturity scale raw canonical shape-checked rule-derived certified

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
Rdf:typeTask[1]
FeasibilityMedium Term[1]
UsesEquiv Exterior[1]
Involves ProvingGrade Decomposition[1]
ProvesGrade 2 Equals Bivector Subspace[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.

typeblah/watt-activation/570
ex:Task
labelblah/watt-activation/570
Z-grading
feasibilityblah/watt-activation/570
ex:medium-term
usesblah/watt-activation/570
ex:equiv-exterior
involvesProvingblah/watt-activation/570
ex:grade-decomposition
provesblah/watt-activation/570
ex:grade-2-equals-bivector-subspace

References (1)

1 references
  1. [1]5706 facts
    ctx:discord/blah/watt-activation/570
    • full textwatt-activation-570
      text/plain3 KBdoc:agent/watt-activation-570/dde247dc-60cd-43c8-b5c7-8df30312afe8
      Show excerpt
      [2026-03-25 18:45] xenonfun: ⏺ Pushed. Here's what UniversalAlgebra.lean establishes — the dimension-independence argument: universal_sync_mechanism proves for arbitrary CliffordAlgebra Q (any quadratic form Q, any module M, any dimens

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.