Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Mizar_system> ?p ?o }
- Mizar_system sameAs Mizar.
- Mizar_system sameAs System_Mizar.
- Mizar_system sameAs m.01dpvn.
- Mizar_system sameAs Q1609529.
- Mizar_system wasDerivedFrom Mizar_system?oldid=680791131.
- Mizar_system depiction Mizar_MathWiki_screenshot.png.
- Mizar_system homepage mizar.uwb.edu.pl.
- Mizar_system isPrimaryTopicOf Mizar_system.
- Mizar_system name "Mizar".
- Mizar_system page mizar.uwb.edu.pl.