Mizar (Begriffsklärung)

aus Wikipedia, der freien Enzyklopädie
Dies ist die aktuelle Version dieser Seite, zuletzt bearbeitet am 23. März 2020 um 19:01 Uhr durch imported>Xqt(287832) (WP:BKL, WP:BKV).
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

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

  • Mizar (ζ Uma), einen hellen Doppelstern im Sternbild Großer Bär
  • Mizar-System, ein maschinengestütztes Beweissystem, um mathematische Definitionen und Beweise zu erfassen und zu prüfen
  • USNS Mizar, ein Versorgungsschiff der US-Marine
  • Mizar-Nunatakker, eine Gruppe von isolierten, über die Oberfläche der antarktischen Eismassen aufragende Felsen im Transantarktischen Gebirge nahe dem Polarplateau
  • Mizar (Band), eine mazedonische Darkwave-Band
  • Mizar – Spionin im Orient, einen Spielfilm aus dem Jahr 1954 des italienischen Regisseurs Francesco De Robertis

__DISAMBIG__

Abgerufen von „https://de.wikiup.org/index.php?title=Mizar_(Begriffsklärung)&oldid=198042827“