Skip to content
Home
Problems
Updates
Vela Mathematics Program
/
Problems
/
76
Search or jump
⌘K
Overview
Problem ledger
Claims
Proposed changes
Commits
Reproduce
Problem
erdos:76
Erdős problem 76
Open Current State
Declared status
proved
Formalization
not formalized
Subjects
graph theory
·
ramsey theory
OEIS
A060407
Sources
source:erdos-problems
Statement
www.erdosproblems.com
Matching claims
0
No direct claims
This problem has no directly related claim record.
Browse this Repository’s Claims