A formal approach to Menger's theorem

DOI10.4467/20842589RM.22.003.16660zbMATH Open1504.05136WikidataQ118123007 ScholiaQ118123007MaRDI QIDQ5057117

Roberta Bonacina, Daniel Misselbeck-Wessel

Publication date: 15 December 2022

Published in: Reports on Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

separating setentailmentdisjoint pathsinductive definition

Mathematics Subject Classification ID

Enumeration in graph theory (05C30) Mechanization of proofs and logical operations (03B35) Directed graphs (digraphs), tournaments (05C20) Connectivity (05C40)

Related Items (2)

A formalization of the Knuth-Bendix(-Huet) critical pair theorem ⋮ Formality theorem for gerbes

This page was built for publication: A formal approach to Menger's theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5057117)