Quality:
Mizar system - proof assistant. This software is the 2267th most popular in the global Wikipedia ranking of software and the 992nd most popular software in Japanese Wikipedia and the 223rd most popular programming language in Japanese Wikipedia. Article "Mizar" in Japanese Wikipedia has 10.9 points for quality (as of November 1, 2023).
The article contains 5 references and 3 sections.
This article has the best quality in English Wikipedia. Also, this article is the most popular in that language version.
Achievements in all the time:
Japanese Wikipedia:
Global Wikipedia:
Since the creation of article "Mizar", its content was written by 16 registered users of Japanese Wikipedia and edited by 149 registered Wikipedia users in all languages.
Mizar system is on the 992nd place in local ranking of software in Japanese Wikipedia
and on the 2267th place in global ranking of software in all the time.
Mizar system is on the 223rd place in local ranking of programming languages in Japanese Wikipedia
and on the 438th place in global ranking of programming languages in all the time.
The article is cited 9 times in Japanese Wikipedia and cited 92 times in all languages.
The highest Authors Interest rank from 2001:
- Local (Japanese): #21007 in May 2009
- Global: #3550 in April 2003
The highest popularity rank from 2008:
- Local (Japanese): #239339 in May 2009
- Global: #449233 in April 2008
There are 6 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 November 1, 2023 (including revision history and pageviews for previous years).
下表顯示了最高品質的文章的語言版本。