Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

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

Mizar · Vinony

EntityQ1609529· pop 11· linked from 59 articles

Mizar

Sign in to save

proof assistant

Connections

proof assistant

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

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

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

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