{"URL":"https://we-solve.github.io/contributions/erdos-problem-1127/attempt-3/r1/","author":[{"literal":"Jayyhk"}],"id":"wesolve:ERDOS-1127-A3-r1","issued":{"date-parts":[[2026,1,20]]},"license":"CC-BY-4.0","note":"Revision r1 of ERDOS-1127-A3. Unverified research record. LLMs and submitter roles are disclosed in the record. Date: activity.","number":"ERDOS-1127-A3 r1","title":"Historical community review of ERDOS-1127 (label: known)","type":"document"}