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