Mizar (disambiguation)
From Wikipedia, the free encyclopedia
Mizar can mean:
- Mizar, 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, a rock band from the Republic of Macedonia
- Mizar, 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 is the main antagonist in the Jet Force Gemini video game.
 |
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. |
