Mizar

Synonyms for "mizar" (5 found)

Ranked by relevance and common usage.

Closest matches (1)

Noun(1 words)
mizar system

Strong matches (2)

Noun(2 words)
proof assistantz uma

Related words (2)

Noun(2 words)
zeta umazeta ursae majoris

Related word relations

OpenGloss and ConceptNet supply richer edges like generalizations, collocations, and derivations.

5 relation types

More general

6 entries
astronomical objectcelestial objectcomputer programformal verification toolsoftwarestar

More specific

3 entries
Mizar Mathematical Librarybinary starmultiple star

Collocations

6 entries
Mizar Mathematical LibraryMizar languageMizar systemformalized mathematicsmachine checked proofsproof checking

Inflections

1 entries

Derivations

3 entries
Mizar Mathematical LibraryMizar projectMizar system

Sample sentences

1 total sentences available.

Tatoeba + Wiktionary

Mizar is a star located in the center of the tail of the constellation Ursa Major.

Source: tatoeba (9755445)

More for "mizar"