.miz
1 claimant
0 primary
0 secondary
SWH popularity
From the SWH-MSR-ARV dataset (Desmazières, Di Cosmo, Lorentz, MSR 2025; file nb_extensions_alphanum.csv) — one row per (ext, year) in the full SWH archive. Case-aggregated. citation.
880.4K
total occurrences
48.4K
since 2019 (5.5%)
2003–2023
years active
Case variants in archive: .miz (880.4K), .MIZ (7) — aggregated above.
Attribution status
This extension is attributed to Mizar — every claim across all sources (including secondary ones) points to a single language.
Authoritative sources: ✗ Linguist · no claim ✗ Pygments · no claim ✗ Wikidata · no claim △ Wikipedia · secondary
Claimants (1)
Languages that list
.miz among their extensions. Strength reflects whether the upstream source treated it as their primary extension.| Language | Source | Strength |
|---|---|---|
| Mizar | wikipedia | proposed |
Wikidata says… (2)
File formats, image formats, audio codecs and other non-PL
entities that claim
.miz on Wikidata
(property P1195) or in the Wikipedia infobox.
Source: data/derived/external_extension_index.csv.
Click Use as new PL on any row to open the
Add-PL form pre-filled with that entry's name, Wikipedia/Wikidata
URL, and this extension — one submission creates the PL + claim.
| Format | Class (Wikidata P31) | Suggested label | MIME | Notes | Action |
|---|---|---|---|---|---|
| Mizar article Q105863136 file format | file format | — | text/mizar | — | Use as new PL ↗ |
| Mizar article (with rem) Q105863947 file format | file format | — | text/mizar | — | Use as new PL ↗ |
SWH-mined examples (0)
No archived examples for .miz in our local mirror yet.