Über diesen Artikel
Online veröffentlicht: 23. Sept. 2017
Seitenbereich: 141 - 147
Eingereicht: 27. Juni 2017
DOI: https://doi.org/10.1515/forma-2017-0013
Schlüsselwörter
© 2017 Artur Korniłowicz et al., published by De Gruyter Open
This work is licensed under a Creative Commons Attribution Share-Alike 4.0 License.
In the article we formalize in the Mizar system [