Mizar is a star located in the center of the tail of the constellation Ursa Major.
Source: tatoeba (9755445)
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.
More general
6 entriesMore specific
3 entriesMizar Mathematical Librarybinary starmultiple star
Collocations
6 entriesMizar Mathematical LibraryMizar languageMizar systemformalized mathematicsmachine checked proofsproof checking
Inflections
1 entriesDerivations
3 entriesMizar Mathematical LibraryMizar projectMizar system
Sample sentences
1 total sentences available.