@article{JFR1980,
    Abstract = {This paper is intended to be a practical reference manual for basic Mizar terminology which may be helpful to get started using the system. The paper describes most important aspects of the Mizar language as well as some features of the verification software.},
    Author = {Grabowski, Adam and Kornilowicz, Artur and Naumowicz, Adam},
    File = {Mizar in a Nutshell - 1980-4451-1-PB (0) - a - a - e.pdf},
    ISSN = {1972-5787},
    Journal = {Journal of Formalized Reasoning},
    Number = {2},
    Pages = {153--245},
    Title = {Mizar in a Nutshell},
    URL = {https://jfr.unibo.it/article/view/1980},
    Volume = {3},
    Year = {2010},
    bdsk-url-1 = {https://jfr.unibo.it/article/view/1980},
    bdsk-url-2 = {https://doi.org/10.6092/issn.1972-5787/1980},
    date-added = {2019-08-21 17:48:49 +0200},
    date-modified = {2019-08-21 17:48:49 +0200},
    doi = {10.6092/issn.1972-5787/1980}
}

@article{JFR1980, Abstract = {This paper is intended to be a practical reference manual for basic Mizar terminology which may be helpful to get started using the system. The paper describes most important aspects of the Mizar language as well as some features of the verification software.}, Author = {Grabowski, Adam and Kornilowicz, Artur and Naumowicz, Adam}, File = {Mizar in a Nutshell - 1980-4451-1-PB (0) - a - a - e.pdf}, ISSN = {1972-5787}, Journal = {Journal of Formalized Reasoning}, Number = {2}, Pages = {153--245}, Title = {Mizar in a Nutshell}, URL = {https://jfr.unibo.it/article/view/1980}, Volume = {3}, Year = {2010}, bdsk-url-1 = {https://jfr.unibo.it/article/view/1980}, bdsk-url-2 = {https://doi.org/10.6092/issn.1972-5787/1980}, date-added = {2019-08-21 17:48:49 +0200}, date-modified = {2019-08-21 17:48:49 +0200}, doi = {10.6092/issn.1972-5787/1980} }