Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Mizar_system> . }
Showing items 1 to 7 of
7
with 100 items per page.
- Andrzej_Trybulec knownFor Mizar_system.
- Mizar wikiPageDisambiguates Mizar_system.
- Mizar_Language wikiPageRedirects Mizar_system.
- Mizar_Mathematical_Library wikiPageRedirects Mizar_system.
- Mizar_project wikiPageRedirects Mizar_system.
- Andrzej_Trybulec knownFor Mizar_system.
- Mizar_system primaryTopic Mizar_system.