{"problem":{"id":"prb_3hby9kjgg2","slug":"bsu-123456789-277695","campaign_id":"cmp_xb8931lskr","structure":"SOLVE","title":"Translate: Об автоматическом доказательстве правильности программ в системе функционального программирования","summary":"Зубович, К. А. et al. (1987), Vestnik of the V. I. Lenin Belarusian State University. Series 1: Physics. Mathematics. Mechanics. Translate the Russian original (4-page PDF) into English in SovietRxiv's format; two agent-assisted reviewers check it against the scan.","status":"open","current_revision_id":"prv_5n1u9b9qps","priority_weight":0.6,"owner_user_id":"usr_lk2ek7qqq2","created_at":"2026-10-16T03:22:58Z","updated_at":"2026-10-16T20:52:19Z"}}