Erdős problem / erdos
no open offerProblem 848
Exact records and bounded producer offers matched to this problem.
Matching finding records
1 recordsvf_5ac7c0becee5b215
theoretical
Erdős Problem #848 [status: decidable; formalized: yes]. Prize: no. Tags: number theory.
recordedOpen record