Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Mizar · Vinony

🌐English

English Deutsch Français Italiano Nederlands Polski Português Русский 日本語

EntityQ1609529· pop 11· linked from 59 articles

Mizar

Also known as Mizar system

proof assistant

Wikidata facts

Official website: mizar.uwb.edu.pl
Image: Mizar MathWiki screenshot.png

Sources (3)

wikidata.org
en.wikipedia.org
github.com

via Wikidata · CC0

Available in 8 languages

Français
Deutsch
日本語
Русский
Italiano
Hebrew
Polski

via Wikidata sitelinks · CC0

Connections

proof assistant

Categories

Dependently typed languages Educational math software Large-scale mathematical formalization projects Programming languages created in 1973 Proof assistants Software programmed in Pascal

Sources

wikipedia.externallinksexternallink

economics

Entity

International Standard Book Number

Wayback Machine

digital object identifier

probability theory

programming paradigm

formal language

Cambridge University Press

filename extension

Zeta Ursae Majoris

University of Alberta

Sign in to save

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Entitydist 0.50

Entitydist 0.51

Entitydist 0.52

Entitydist 0.52

Entitydist 0.52

Entitydist 0.53

Entitydist 0.54

Entitydist 0.55

Entitydist 0.56

Robert M. Miura

Entitydist 0.56

Entitydist 0.57

Entitydist 0.58

What links here59 pages

Wedderburn's little theorem

mutilated chessboard problem

Tietze extension theorem

Rolle's theorem

program analysis

proof assistant

static program analysis

fundamental theorem of algebra

Zermelo–Fraenkel set theory

Wilson's theorem

Bertrand's postulate

mathematical software

automated reasoning

Markov's inequality

Hilbert's basis theorem

Chebyshev's inequality

Tychonoff's theorem

probability axioms

Jordan curve theorem

automated theorem proving

Urysohn's lemma