XML-izace Mirazu: Zjednodušení sémantického zpracování a prezentace MML

Abstrakt

Článek popisuje format dat Mizaru založených na XML, implementaci formatu a aplikace.

Klíčová slova

• XML-izing
• Mizar
• Making
• semantic
• processing
• presentation
• easy