Search Results

1 - 1 of 1 items :

  • Numerical and Computational Mathematics x
  • Artificial Intelligence x
Clear All
About Supergraphs. Part III


The previous articles [5] and [6] introduced formalizations of the step-by-step operations we use to construct finite graphs by hand. That implicitly showed that any finite graph can be constructed from the trivial edgeless graph K 1 by applying a finite sequence of these basic operations. In this article that claim is proven explicitly with Mizar[4].

Open access