About graph unions and intersections
type: Item
instance of: scholarly article
title: About graph unions and intersections
author: Sebastian Koch
published in: Formalized Mathematics
publication date: 2022-03-14T00:00:00Z
Mathematics Subject Classification ID: 68V20
Mathematics Subject Classification ID: 05C76
zbMATH DE Number: 7488867
zbMATH Keywords: graph theory
zbMATH Keywords: graph union
zbMATH Keywords: graph intersection
describes a project that uses: Mizar
MaRDI profile type: Publication
full work available at URL: forma-2020-0014
OpenAlex ID: W3142905759
cites work: The role of the Mizar mathematical library for interactive proof development in Mizar
cites work: Q5422499
cites work: Q4947393
cites work: Four decades of {\textsc{Mizar}}. Foreword
cites work: About graph complements
cites work: Q4978307
cites work: Q5592127
cites work: Q5661516
DOI: 10.2478/FORMA-2020-0014
description: scientific article; zbMATH DE number 7488867