Mizar

Mizar can mean:

Mizar (star), also known as Zeta Ursae Majoris, a star in Ursa Major and part of the Big Dipper asterism
The Mizar system, a language for writing strictly formalized mathematical definitions and proofs, for a computer program to check these proofs, and for a library containing definitions and theorems
The AVE Mizar, which was a flying car made by attaching the rear part of a Cessna Skymaster to a Ford Pinto
USNS Mizar, two ships in the United States Navy
Mizar (band), a rock band from Macedonia
Mizar (solo musician), the name of a solo musician living in the U.S. whose only LP The King Of The Stars has maintained a significant cult following
Mizar (mountain), a mountain or hill mentioned in the Bible, specifically Psalm 42
Mizar, the main antagonist in the Jet Force Gemini video game
Mizar, character of a Sandman tale in the book The Sandman: Endless Nights
Mizar, (religions) god worshipped by the Mizarialities.

This disambiguation page lists articles associated with the same title.
If an internal link led you here, you may wish to change the link to point directly to the intended article.