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.