מערכת מיזאר (Hebrew Wikipedia)

Analysis of information sources in references of the Wikipedia article "מערכת מיזאר" in Hebrew language version.

refsWebsite

Global rank Hebrew rank

low place

9,179^th place

6,942^nd place

1^st place

6^th place

low place

451^st place

1,216^th place

14^th place

91^st place

4,963^rd place

low place

low place

ams.org

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

Wiedijk, Freek. "The "de Bruijn factor"". נבדק ב-24 ביולי 2018. {{cite web}}: (עזרה)
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).

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