Wikidata facts
- Official website
- mizar.uwb.edu.pl
- Image
- Mizar MathWiki screenshot.png
Show 1 more fact
- inception
- 1973-00-00
Sources (3)
via Wikidata · CC0
Connections
type system
Entity
proof assistant
Entity
economics
Entity
International Standard Book Number
Entity
Wiki
Concept
natural number
Entity
Wayback Machine
Entity
digital object identifier
Entity
exponentiation
Entity
PDF
Entity
probability theory
Entity
Q8815
Entity
Q118398
Entity
programming paradigm
Entity
formal language
Entity
peer review
Entity
Cambridge University Press
Entity
filename extension
Entity
Zeta Ursae Majoris
Entity
University of Alberta
Entity