ARXO ATLAScanonical corpus

Published package / CLIR

ckn.partial_regularity_1982

v0.1.0

Caffarelli-Kohn-Nirenberg (1982): partial regularity -- the singular set of a suitable weak solution has parabolic 1-dimensional Hausdorff measure zero, not full smoothness

Cover of ckn.partial_regularity_1982: 11 CLIR nodes by family

Authored metadata / not derived

Label

Issuer
L. Caffarelli, R. Kohn, L. Nirenberg, Communications on Pure and Applied Mathematics
Jurisdiction
no sovereign — the norm was not issued by an authority
Kind of instrument
treatise
Status
doctrine, not an act of authority
What is pinned
authored exposition, not the text of the act

verified The text of the package was checked against the pinned source by hand.

State of preservation

  • official bytes1 edition

    The bytes of the official publication are pinned.

Depth of formalisation

1
EXECUTABLE 1
a deriving node refers to the fragment — something is derived from it
ANCHORED 0
addressable by a semantic node, but nothing is derived
SOURCE_ONLY 0
the text is pinned and addressable, no references

The levels are computed from CLIR; authored markup for them does not exist: hand markup would mean that an author’s mistake silently changes the completeness report. This is not a share of the act: the share of the document covered by fragments is measured against the bytes of the pinned publication and is not computed here.

Sources

Try it

This package is not embedded in the workbench, and it has no “try it” button: the button would open emptiness. The embedded ones were chosen for the mechanics they show, not by the importance of the act — any other package can be executed by opening its directory in the workbench from disk.

  • faraid.shares — Фараид — наследственный расчёт исламского права
  • intl.turkic.nakhchivan_2009 — Закон Республики Казахстан от 23 мая 2025 года № 191-VIII «О ратификации Протокола о внесении изменений в Нахичеванское соглашение о создании Совета сотрудничества тюркоязычных государств»
  • kz.corpus.capital_status — Конституционный закон Республики Казахстан «О статусе столицы Республики Казахстан»
  • kz.corpus.pinningexample — Положение о порядке учёта обращений
  • kz.corpus.socialassistance — Адресная социальная помощь (учебный срез)
  • kz.corpus.tuystyq — Туыстық жүйе — казахская система родства

Cite

The address of a norm is immutable: contentHash is computed over the canonical bytes, and any edit of the package yields a different hash. The link below points not at “the latest version” but at specific bytes — what citation requires and a version number does not give.

Caffarelli-Kohn-Nirenberg (1982): partial regularity -- the singular set of a suitable weak solution has parabolic 1-dimensional Hausdorff measure zero, not full smoothness · CKN_EXPOSITION · ckn.partial_regularity_1982@0.1.0 · sha256:a9b47ddfc4dd5aa5bdc0e397ab0db0bbc5a06b8cb90a23ca6ac058cfcb2f9fe0