{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T13:43:53Z","timestamp":1762955033890,"version":"3.45.0"},"reference-count":0,"publisher":"European Mathematical Society - EMS - Publishing House GmbH","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Oberwolfach Rep."],"published-print":{"date-parts":[[2021,9,13]]},"abstract":"<jats:p>The Workshop \u2018Mathematical Logic:Proof Theory, Constructive Mathematics\u2019 focused on proofs both as formal derivations in deductive systems as well as on the extraction of explicit computational content from given proofs in core areas of ordinary mathematics using proof-theoretic methods. The workshop contributed to the following research strands:<\/jats:p>","DOI":"10.4171\/owr\/2020\/34","type":"journal-article","created":{"date-parts":[[2021,9,13]],"date-time":"2021-09-13T17:45:05Z","timestamp":1631555105000},"page":"1693-1757","source":"Crossref","is-referenced-by-count":0,"title":["Mathematical Logic: Proof Theory, Constructive Mathematics"],"prefix":"10.4171","volume":"17","author":[{"given":"Samuel R.","family":"Buss","sequence":"first","affiliation":[{"name":"University of California, San Diego, La Jolla, USA"}]},{"given":"Rosalie","family":"Iemhoff","sequence":"additional","affiliation":[{"name":"Utrecht University, Netherlands"}]},{"given":"Ulrich","family":"Kohlenbach","sequence":"additional","affiliation":[{"name":"Technische Hochschule Darmstadt, Germany"}]},{"given":"Michael","family":"Rathjen","sequence":"additional","affiliation":[{"name":"University of Leeds, UK"}]}],"member":"2673","container-title":["Oberwolfach Reports"],"original-title":[],"link":[{"URL":"https:\/\/www.ems-ph.org\/fulltext\/10.4171\/OWR\/2020\/34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T13:33:11Z","timestamp":1762954391000},"score":1,"resource":{"primary":{"URL":"https:\/\/ems.press\/doi\/10.4171\/owr\/2020\/34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,13]]},"references-count":0,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.4171\/owr\/2020\/34","relation":{},"ISSN":["1660-8933","1660-8941"],"issn-type":[{"type":"print","value":"1660-8933"},{"type":"electronic","value":"1660-8941"}],"subject":[],"published":{"date-parts":[[2021,9,13]]}}}