Erdős problem / erdos
no open offerProblem 512
Exact records and bounded producer offers matched to this problem.
Matching finding records
1 recordsvf_b3b8edd1a66b6512
theoretical
Erdős Problem #512: declared status 'proved'. Formalized: no. Prize: no. Tags: analysis.
recordedOpen record