Sign In

Login

Password

Forgot Password ? Sign Up

Mizar-System (German Wikipedia)

Analysis of information sources in references of the Wikipedia article "Mizar-System" in German language version.

refsWebsite
Global rank German rank
6mizar.org
low place
low place
4springer.com
274th place
152nd place
3web.archive.org
1st place
1st place
3uwb.edu.pl
low place
low place
1ru.nl
9,179th place
8,661st place
1ams.org
451st place
2,351st place
1archive.today
14th place
31st place
1unibo.it
4,963rd place
2,613th place
1man.ac.uk
low place
low place

ams.org

  • Freek Wiedijk: Formal Proof--Getting Started. In: AMS Special Issue on Formal Proof. 2008 (ams.org).

archive.today

man.ac.uk

cs.man.ac.uk

mizar.org

mmlquery.mizar.org

mizar.org

  • Roman Matuszewski, Piotr Rudnicki: Mizar: the first 30 years. In: Mechanized Mathematics and Its Applications. 4. Jahrgang, 2005 (mizar.org [PDF]).

fm.mizar.org

ru.nl

cs.ru.nl

  • Freek Wiedijk: Mizar. Abgerufen am 1. Juli 2012.

springer.com

link.springer.com

  • Adam Naumowicz, Artur Korniłowicz: A Brief Overview of Mizar. In: Theorem Proving in Higher Order Logics. 5674. Jahrgang, 2009, S. 67–72 (springer.com).
  • Freek Wiedijk: Formalizing Arrow’s theorem. In: Sadhana. 34. Jahrgang, Nr. 1, 2009, S. 193–220 (springer.com).
  • H. Geuvers: Proof assistants: History, ideas and future. In: Sadhana. 34. Jahrgang, Nr. 1, 2009 (springer.com).
  • Jesse Alama, Kasper Brink, Lionel Mamane and Josef Urban: Large Formal Wikis: Issues and Solutions. In: Intelligent Computer Mathematics. 6824. Jahrgang, 2011, S. 133–148 (springer.com).

unibo.it

jfr.unibo.it

  • Adam Grabowski, Artur Kornilowicz, Adam Naumowicz: Mizar in a Nutshell. In: Journal of Formalized Reasoning. 3. Jahrgang, Nr. 2, 2010, S. 152–245 (unibo.it).

uwb.edu.pl

mizar.uwb.edu.pl

logika.uwb.edu.pl

  • Freek Wiedijk: The QED Manifesto Revisited. In: From Insight to Proof: Festschrift in Honour of Andrzej Trybulec. 10. Jahrgang, Nr. 23, 2007 (edu.pl).

web.archive.org