PL EN


2009 | 18(31) | 67-77
Article title

HOW TO DEFINE TERMS IN MIZAR EFFECTIVELY

Selected contents from this journal
Title variants
Languages of publication
EN
Abstracts
EN
This paper explains how proofs written in Mizar can evolve if some dedicated mechanisms for defining terms are used properly, and how to write articles to fully exploit the potential of these mechanisms. In particular, demonstrated examples show how automatic expansion of terms and terms identification allow to write compact, yet readable proofs.
Keywords
Year
Issue
Pages
67-77
Physical description
Document type
ARTICLE
Contributors
  • Artur Kornilowicz, Institute of Computer Science, University of Bialystok, Poland
References
Document Type
Publication order reference
Identifiers
CEJSH db identifier
11PLAAAA10165
YADDA identifier
bwmeta1.element.97c457fe-9c6d-376b-8677-72342e529793
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.