Качество:
Система Mizar - набор инструментов из формального декларативного языка для записи математических определений и доказательств, помощника по доказательству и библиотек формализованной математики. Это программное обеспечение занимает 2262-е место в глобальном рейтинге программного обеспечения и 585-е место в рейтинге программного обеспечения в Польской Википедии и 172-е место в рейтинге языков программирования в Польской Википедии. Статья «System Mizar» в польской Википедии имеет 11.5 баллов за качество (по состоянию на 1 июля 2025 года). Статья содержит, среди прочих показателей, 3 примечаний и 3 разделов. Эта статья имеет наилучшее качество в английской Википедии. Также, статья наиболее популярна в этой языковой версии (польской).
Достижения за всё время:
Польская Википедия:
Глобальная Википедия:
С момента создания статьи «System Mizar» ее содержимое было создано 11 зарегистрированными пользователями польской Википедии и редактировано 166 зарегистрированными пользователями Википедии во всех языковых версиях.
Статья «System Mizar» находится на 585-м месте в локальном рейтинге программного обеспечения в польской Википедии
и на 2262-м месте в глобальном рейтинге программного обеспечения за всё время.
Статья «System Mizar» находится на 172-м месте в локальном рейтинге языков программирования в польской Википедии
и на 434-м месте в глобальном рейтинге языков программирования за всё время.
Эта статья цитируется 6 раз в польской Википедии и цитируется 96 раз во всех языках.
Наивысший рейтинг по интересам авторов с 2001 года:
- Локальный (Польский): №25606 в апреле 2023 года
- Глобальный: №3548 в апреле 2003 года
Самый высокий рейтинг популярности с 2008 года:
- Локальный (Польский): №82508 в мае 2008 года
- Глобальный: №448006 в апреле 2008 года
Для данной статьи найдено 8 языковых версий в базе ВикиРанк (из рассматриваемых 55 языковых версий Википедии).
Данные по состоянию на 1 июля 2025 года.
В таблице ниже показаны языковые версии статьи с наилучшим качеством.
