Mizar system (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Mizar system" in English language version.

Last modified: 13:33:34, 14 August 2026 (UTC)

Ref.Un. Ref.Website

Global rank English rank

86mizar.org

low place

64doi.org

2^nd place

33ru.nl

7,619^th place

6,271^st place

33web.archive.org

1^st place

32hdl.handle.net

66^th place

34^th place

11nabble.com

low place

11uwb.edu.pl

low place

11ams.org

434^th place

249^th place

11arxiv.org

49^th place

31^st place

11unibo.it

3,746^th place

5,990^th place

11man.ac.uk

low place

11github.com

380^th place

337^th place

ams.org (Global: 434^th place; English: 249^th place)

Wiedijk, Freek (2008). "Formal Proof--Getting Started" (PDF). Notices of the AMS. 55 (11): 1408–1414.

arxiv.org (Global: 49^th place; English: 31^st place)

Alama, Jesse; Brink, Kasper; Mamane, Lionel; Urban, Josef (2011). "Large Formal Wikis: Issues and Solutions". In Davenport, James H.; Farmer, William M.; Urban, Josef; Rabe, Florian (eds.). Intelligent Computer Mathematics – 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Lecture Notes in Computer Science. Vol. 6824. Springer. pp. 133–148. arXiv:1107.3209. doi:10.1007/978-3-642-22673-1_10. ISBN 978-3-642-22672-4.

doi.org (Global: 2^nd place; English: 2^nd place)

Naumowicz, Adam; Kornilowicz, Artur (2009). "A Brief Overview of Mizar". In Berghofer, Stefan; Nipkow, Tobias; Urban, Christian; Wenzel, Makarius (eds.). Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17–20, 2009. Proceedings. Lecture Notes in Computer Science. Vol. 5674. Springer. pp. 67–72. doi:10.1007/978-3-642-03359-9_5. ISBN 978-3-642-03358-2.
Wiedijk, Freek (2009). "Formalizing Arrow's theorem". Sādhanā. 34 (1): 193–220. doi:10.1007/s12046-009-0005-1. hdl:2066/75428.
Geuvers, H. (2009). "Proof assistants: History, ideas and future". Sādhanā. 34 (1): 3–25. doi:10.1007/s12046-009-0001-5. hdl:2066/75958.
Alama, Jesse; Brink, Kasper; Mamane, Lionel; Urban, Josef (2011). "Large Formal Wikis: Issues and Solutions". In Davenport, James H.; Farmer, William M.; Urban, Josef; Rabe, Florian (eds.). Intelligent Computer Mathematics – 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Lecture Notes in Computer Science. Vol. 6824. Springer. pp. 133–148. arXiv:1107.3209. doi:10.1007/978-3-642-22673-1_10. ISBN 978-3-642-22672-4.

github.com (Global: 380^th place; English: 337^th place)

Mizar source code

hdl.handle.net (Global: 66^th place; English: 34^th place)

Wiedijk, Freek (2009). "Formalizing Arrow's theorem". Sādhanā. 34 (1): 193–220. doi:10.1007/s12046-009-0005-1. hdl:2066/75428.
Geuvers, H. (2009). "Proof assistants: History, ideas and future". Sādhanā. 34 (1): 3–25. doi:10.1007/s12046-009-0001-5. hdl:2066/75958.

man.ac.uk (Global: low place; English: low place)

cs.man.ac.uk

Taylor, Paul (1999). Practical Foundations of Mathematics. Cambridge University Press. ISBN 9780521631075. Archived from the original on 2015-06-23. Retrieved 2012-07-24.

mizar.org (Global: low place; English: low place)

mmlquery.mizar.org

The MML Query search engine
"A list of named theorems in the MML". Retrieved 22 July 2012.
An example of an MML query, yielding all theorems proved on the exponent operator, by the number of times they are cited in subsequent theorems.
Another example of an MML query, yielding all theorems proved on sigma fields.

mizar.org

Matuszewski, Roman; Piotr Rudnicki (2005). "Mizar: the first 30 years" (PDF). Mechanized Mathematics and Its Applications. 4.

fm.mizar.org

Journal of Formalized Mathematics

nabble.com (Global: low place; English: low place)

old.nabble.com

Mailing list discussion Archived 2011-10-09 at the Wayback Machine referring to the close-sourcing of Mizar.

ru.nl (Global: 7,619^th place; English: 6,271^st place)

cs.ru.nl

Wiedijk, Freek. "Mizar". Retrieved 24 July 2018.
Wiedijk, Freek. "The "de Bruijn factor"". Retrieved 24 July 2018.
Wiedijk, Freek (2007). "The QED Manifesto Revisited" (PDF). From Insight to Proof: Festschrift in Honour of Andrzej Trybulec. Studies in Logic, Grammar and Rhetoric. 10 (23).

unibo.it (Global: 3,746^th place; English: 5,990^th place)

jfr.unibo.it

Grabowski, Adam; Artur Kornilowicz; Adam Naumowicz (2010). "Mizar in a Nutshell". Journal of Formalized Reasoning. 3 (2): 152–245.

uwb.edu.pl (Global: low place; English: low place)

mizar.uwb.edu.pl

Mailing list announcement referring to the open-sourcing of MML.

web.archive.org (Global: 1^st place; English: 1^st place)

Mailing list discussion Archived 2011-10-09 at the Wayback Machine referring to the close-sourcing of Mizar.
The MML in wiki form
Taylor, Paul (1999). Practical Foundations of Mathematics. Cambridge University Press. ISBN 9780521631075. Archived from the original on 2015-06-23. Retrieved 2012-07-24.

Mizar system (English Wikipedia)

ams.org (Global: 434th place; English: 249th place)

arxiv.org (Global: 49th place; English: 31st place)

doi.org (Global: 2nd place; English: 2nd place)

github.com (Global: 380th place; English: 337th place)

hdl.handle.net (Global: 66th place; English: 34th place)

man.ac.uk (Global: low place; English: low place)

cs.man.ac.uk

mizar.org (Global: low place; English: low place)

mmlquery.mizar.org

mizar.org

fm.mizar.org

nabble.com (Global: low place; English: low place)

old.nabble.com

ru.nl (Global: 7,619th place; English: 6,271st place)

cs.ru.nl

unibo.it (Global: 3,746th place; English: 5,990th place)

jfr.unibo.it

uwb.edu.pl (Global: low place; English: low place)

mizar.uwb.edu.pl

web.archive.org (Global: 1st place; English: 1st place)

ams.org (Global: 434^th place; English: 249^th place)

arxiv.org (Global: 49^th place; English: 31^st place)

doi.org (Global: 2^nd place; English: 2^nd place)

github.com (Global: 380^th place; English: 337^th place)

hdl.handle.net (Global: 66^th place; English: 34^th place)

ru.nl (Global: 7,619^th place; English: 6,271^st place)

unibo.it (Global: 3,746^th place; English: 5,990^th place)

web.archive.org (Global: 1^st place; English: 1^st place)