{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T20:30:58Z","timestamp":1773520258472,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":4,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,2,18]]},"DOI":"10.1145\/3770761.3777184","type":"proceedings-article","created":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T15:18:26Z","timestamp":1770995906000},"page":"1287-1288","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Reverse Mathematics for Teaching Theoretical Computer Science"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1942-751X","authenticated-orcid":false,"given":"Rafael","family":"del Vado V\u00edrseda","sequence":"first","affiliation":[{"name":"Departamento de Sistemas Inform\u00e1ticos y Computaci\u00f3n, Universidad Complutense de Madrid, Madrid, Spain"}]}],"member":"320","published-online":{"date-parts":[[2026,2,17]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Constructive Reverse Mathematics. arXiv preprint","author":"Hannes Diener","year":"2018","unstructured":"Hannes Diener. 2018. Constructive Reverse Mathematics. arXiv preprint (2018)."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"crossref","unstructured":"D. Dzhafarov et al. 2022. Reverse mathematics: problems reductions and proofs.","DOI":"10.1007\/978-3-031-11367-3"},{"key":"e_1_3_2_2_3_1","volume-title":"Subsystems of Second Order Arithmetic","author":"Stephen G.","year":"2009","unstructured":"Stephen G. Simpson. 1998. Subsystems of Second Order Arithmetic. Springer Verlag. 2nd edition published by Cambridge University Press in 2009.","edition":"2"},{"key":"e_1_3_2_2_4_1","volume-title":"Reverse Mathematics: Proofs from the Inside Out.","author":"John Stillwell","year":"2018","unstructured":"John Stillwell. 2018. Reverse Mathematics: Proofs from the Inside Out. Princeton."}],"event":{"name":"SIGCSE TS 2026:The 57th ACM Technical Symposium on Computer Science Education","location":"St. Louis MO USA","sponsor":["SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 57th ACM Technical Symposium on Computer Science Education V.2"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3770761.3777184","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T17:20:20Z","timestamp":1773508820000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3770761.3777184"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,2,17]]},"references-count":4,"alternative-id":["10.1145\/3770761.3777184","10.1145\/3770761"],"URL":"https:\/\/doi.org\/10.1145\/3770761.3777184","relation":{},"subject":[],"published":{"date-parts":[[2026,2,17]]},"assertion":[{"value":"2026-02-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}