System Mizar

pl

WikiRank.net
ver. 1.6.2

System Mizar

Quality:

Mizar system - proof assistant. This software is the 2262nd most popular in the global Wikipedia ranking of software and the 585th most popular software in Polish Wikipedia and the 172nd most popular programming language in Polish Wikipedia. Article “System Mizar” in Polish Wikipedia has 11.5 points for quality (as of July 1, 2025). The article contains 3 references and 3 sections.

This article has the best quality in English Wikipedia. Also, this article is the most popular in that (Polish) language version.

Achievements in all the time:
Polish Wikipedia:
The 585th most popular in software in Polish Wikipedia.
Global Wikipedia:
The 2262nd most popular in software.
The 434th most popular in programming languages.

Since the creation of article “System Mizar”, its content was written by 11 registered users of Polish Wikipedia and edited by 166 registered Wikipedia users in all languages.

Mizar system is on the 585th place in local ranking of software in Polish Wikipedia and on the 2262nd place in global ranking of software in all the time.

Mizar system is on the 172nd place in local ranking of programming languages in Polish Wikipedia and on the 434th place in global ranking of programming languages in all the time.

The article is cited 6 times in Polish Wikipedia and cited 96 times in all languages.

The highest Authors Interest rank from 2001:

  • Local (Polish): #25606 in April 2023
  • Global: #3548 in April 2003

The highest popularity rank from 2008:

  • Local (Polish): #82508 in May 2008
  • Global: #448006 in April 2008

There are 8 language versions for this article in the WikiRank database (of the considered 55 Wikipedia language editions).

The quality and popularity assessment was based on Wikipédia dumps from July 1, 2025 (including revision history and pageviews for previous years).

The table below shows the language versions of the article with the highest quality.

Languages with the highest quality

#LanguageQuality gradeQuality score
1English (en)
Mizar system
45.2628
2German (de)
Mizar-System
41.4161
3Hebrew (he)
מערכת מיזאר
37.7682
4Russian (ru)
Система Mizar
21.6285
5Italian (it)
Sistema Mizar
16.4733
6Polish (pl)
System Mizar
11.4611
7Japanese (ja)
Mizar
10.6886
8French (fr)
Mizar (système)
1.9417
More...

The following table shows the most popular language versions of the article.

Most popular in all the time

The most popular language versions of the article "System Mizar" in all the time
#LanguagePopularity awardRelative popularity
1English (en)
Mizar system
163 752
2Japanese (ja)
Mizar
36 678
3Polish (pl)
System Mizar
26 703
4Italian (it)
Sistema Mizar
9 626
5French (fr)
Mizar (système)
4 392
6German (de)
Mizar-System
3 998
7Hebrew (he)
מערכת מיזאר
147
8Russian (ru)
Система Mizar
97
More...

The following table shows the language versions of the article with the highest popularity in the last month.

Most popular in June 2025

The most popular language versions of the article "System Mizar" in June 2025
#LanguagePopularity awardRelative popularity
1English (en)
Mizar system
859
2Japanese (ja)
Mizar
123
3Polish (pl)
System Mizar
51
4Italian (it)
Sistema Mizar
28
5German (de)
Mizar-System
24
6Russian (ru)
Система Mizar
21
7French (fr)
Mizar (système)
19
8Hebrew (he)
מערכת מיזאר
6
More...

The following table shows the language versions of the article with the highest Authors’ Interest.

The highest AI

Language versions of the article "System Mizar" with the highest Authors Interest (number of authors). Only registered Wikipedia users were taken into account.
#LanguageAI awardRelative AI
1English (en)
Mizar system
60
2German (de)
Mizar-System
57
3Japanese (ja)
Mizar
16
4Italian (it)
Sistema Mizar
12
5Polish (pl)
System Mizar
11
6French (fr)
Mizar (système)
6
7Hebrew (he)
מערכת מיזאר
3
8Russian (ru)
Система Mizar
1
More...

The following table shows the language versions of the article with the highest Authors’ Interest in the last month.

The highest AI in June 2025

Language versions of the article "System Mizar" with the highest AI in June 2025
#LanguageAI awardRelative AI
1English (en)
Mizar system
1
2Hebrew (he)
מערכת מיזאר
1
3Russian (ru)
Система Mizar
1
4German (de)
Mizar-System
0
5French (fr)
Mizar (système)
0
6Italian (it)
Sistema Mizar
0
7Japanese (ja)
Mizar
0
8Polish (pl)
System Mizar
0
More...

The following table shows the language versions of the article with the highest number of citations.

The highest CI

Language versions of the article "System Mizar" with the highest Citation Index (CI)
#LanguageCI awardRelative CI
1English (en)
Mizar system
62
2Japanese (ja)
Mizar
9
3French (fr)
Mizar (système)
6
4Italian (it)
Sistema Mizar
6
5Polish (pl)
System Mizar
6
6German (de)
Mizar-System
3
7Russian (ru)
Система Mizar
3
8Hebrew (he)
מערכת מיזאר
1
More...

Scores

Estimated value for Wikipedia:
Polish:
Global:
Popularity in June 2025:
Polish:
Global:
Popularity in all years:
Polish:
Global:
Authors in June 2025:
Polish:
Global:
Registered authors in all years:
Polish:
Global:
Citations:
Polish:
Global:

Quality measures

Interwikis

#LanguageValue
deGerman
Mizar-System
enEnglish
Mizar system
frFrench
Mizar (système)
heHebrew
מערכת מיזאר
itItalian
Sistema Mizar
jaJapanese
Mizar
plPolish
System Mizar
ruRussian
Система Mizar

Popularity rank trends

Best Rank Polish:
#82508
05.2008
Global:
#448006
04.2008

AI rank trends

Best Rank Polish:
#25606
04.2023
Global:
#3548
04.2003

Global AI rank history

Languages comparison

Important global interconnections (July 2024 – June 2025)

Wikipedia readers most often find their way to information on Mizar system from Wikipedia articles about Urysohns lemma, Jordan curve theorem, Proof assistant, Isabelle and Tarski–Grothendieck set theory. Whereas reading the article about Mizar system people most often go to Wikipedia articles on Andrzej Trybulec, QED manifesto, Isabelle, Metamath and Tarski–Grothendieck set theory.

Cumulative results of quality and popularity of the Wikipedia article

List of Wikipedia articles in different languages (starting with the most popular):

ja: Mizar

News from 16 March 2026

On 16 March 2026 in multilingual Wikipedia, Internet users most often read articles on the following topics: 98th Academy Awards, Michael B. Jordan, Sinners, Jessie Buckley, Paul Thomas Anderson, Sean Penn, One Battle After Another, Amy Madigan, Hamnet, Timothée Chalamet.

In Polish Wikipedia the most popular articles on that day were: Maciek Szczerbowski, Jedna bitwa po drugiej, 98. ceremonia wręczenia Oscarów, Sean Penn, Binjamin Netanjahu, Michael B. Jordan, Grzesznicy, Jessie Buckley, Emilia Komarnicka, Iran.

About WikiRank

The WikiRank project is intended for automatic relative evaluation of the articles in the various language versions of Wikipedia. At the moment the service allows to compare over 44 million Wikipedia articles in 55 languages. Quality scores of articles are based on Wikipedia dumps from July, 2025. When calculating current popularity and AI of articles data from June 2025 was taken into account. For historical values of popularity and AI WikiRank used data from 2001 to 2025... More information