Über diesen Artikel
Online veröffentlicht: 29. Mai 2020
Seitenbereich: 41 - 63
Akzeptiert: 30. Dez. 2019
DOI: https://doi.org/10.2478/forma-2020-0004
Schlüsselwörter
© 2020 Sebastian Koch, published by Sciendo
This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 4.0 License.
This article formalizes different variants of the complement graph in the Mizar system [3], based on the formalization of graphs in [6].