Mizar (Begriffsklärung)

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

Der Name Mizar (arab. Mantel) steht für

  • den hellen Doppelstern Mizar (ζ Uma) im Sternbild Großer Bär
  • ein Versorgungsschiff der US-Marine, siehe USNS Mizar
  • den Spielfilm Mizar – Spionin im Orient
  • eine mazedonische Darkwave-Band Mizar (Band)
  • das Mizar System, ein maschinengestütztes Beweissystem, um mathematische Definitionen und Beweise zu erfassen und zu prüfen
Diese Seite ist eine Begriffsklärung zur Unterscheidung mehrerer mit demselben Wort bezeichneter Begriffe.