The Friendship Theorem

DOI10.2478/V10037-012-0028-7zbMath1295.05196OpenAlexW2055385489MaRDI QIDQ2852162

Karol Pąk

Publication date: 8 October 2013

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/v10037-012-0028-7

zbMATH Keywords

universal friend

Mathematics Subject Classification ID

Programming involving graphs or networks (90C35) Other designs, configurations (05B30) Structural characterization of families of graphs (05C75)

Related Items (1)

Unification of graphs and relations in Mizar

Cites Work

• Semantics of MML Query - Ordering

This page was built for publication: The Friendship Theorem