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.

Last modified:

Ref.Un. Ref.Website
Global rank German rank
86mizar.org
low place
low place
64springer.com
182nd place
148th place
33web.archive.org
1st place
1st place
33uwb.edu.pl
low place
low place
11github.com
380th place
255th place
11ru.nl
7,619th place
6,064th place
11ams.org
434th place
1,944th place
11archive.today
28th place
19th place
11unibo.it
3,746th place
919th place
11man.ac.uk
low place
low place

ams.org (Global: 434th place; German: 1,944th place)

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

archive.today (Global: 28th place; German: 19th place)

github.com (Global: 380th place; German: 255th place)

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

cs.man.ac.uk

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

mmlquery.mizar.org

mizar.org

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

fm.mizar.org

ru.nl (Global: 7,619th place; German: 6,064th place)

cs.ru.nl

  • Freek Wiedijk: Mizar. Abgerufen am 1. Juli 2012 (englisch).

springer.com (Global: 182nd place; German: 148th place)

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 (englisch, springer.com).
  • Freek Wiedijk: Formalizing Arrow’s theorem. In: Sadhana. 34. Jahrgang, Nr. 1, 2009, S. 193–220 (englisch, springer.com).
  • H. Geuvers: Proof assistants: History, ideas and future. In: Sadhana. 34. Jahrgang, Nr. 1, 2009 (englisch, 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 (englisch, springer.com).

unibo.it (Global: 3,746th place; German: 919th place)

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 (englisch, unibo.it).

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

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 (englisch, edu.pl).

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