{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,13]],"date-time":"2025-06-13T14:45:40Z","timestamp":1749825940792,"version":"3.40.5"},"reference-count":17,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"4","funder":[{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","award":["RGPIN-2015-05080","RGPIN-2020-04178"],"award-info":[{"award-number":["RGPIN-2015-05080","RGPIN-2020-04178"]}],"id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1217921","CCF-1301926","CCF-1637385","CCF-1650596","IIS-1447786"],"award-info":[{"award-number":["CCF-1217921","CCF-1301926","CCF-1637385","CCF-1650596","IIS-1447786"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000015","name":"U.S. Department of Energy","doi-asserted-by":"publisher","award":["ER26116\/DE-SC0008923"],"award-info":[{"award-number":["ER26116\/DE-SC0008923"]}],"id":[{"id":"10.13039\/100000015","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["805223"],"award-info":[{"award-number":["805223"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100004682","name":"Oracle","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100004682","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100002418","name":"Intel Corporation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100002418","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Comput."],"published-print":{"date-parts":[[2023,8,31]]},"DOI":"10.1137\/20m1375851","type":"journal-article","created":{"date-parts":[[2023,7,25]],"date-time":"2023-07-25T07:55:52Z","timestamp":1690271752000},"page":"913-944","source":"Crossref","is-referenced-by-count":3,"title":["Why Extension-Based Proofs Fail"],"prefix":"10.1137","volume":"52","author":[{"given":"Dan","family":"Alistarh","sequence":"first","affiliation":[{"name":"IST Austria, Klosterneuburg, 3400, Austria."}]},{"given":"James","family":"Aspnes","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Yale University, New Haven, CT 06520-8285 USA."}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4473-931X","authenticated-orcid":true,"given":"Faith","family":"Ellen","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Toronto, Toronto, ON, M5S 3G4, Canada."}]},{"given":"Rati","family":"Gelashvili","sequence":"additional","affiliation":[{"name":"Aptos, Palo Alto, CA 94301 USA."}]},{"given":"Leqi","family":"Zhu","sequence":"additional","affiliation":[{"name":"Department of EECS, University of Michigan, Ann Arbor, MI 48109 USA."}]}],"member":"351","published-online":{"date-parts":[[2023,7,25]]},"reference":[{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/153724.153741"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-02010-0"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539797330689"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s00446-010-0108-2"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1186\/s13173-017-0065-8"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1043"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/355483.355489"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3149.214121"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/114005.102808"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)01148-5"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.02.018"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/331524.331529"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539701397412"},{"key":"ref30","first-page":"163","volume-title":"Advances in Computing Research","volume":"4","author":"Loui M. C.","year":"1987"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539799364006"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/BF01200117"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539796307698"}],"container-title":["SIAM Journal on Computing"],"original-title":[],"language":"en","deposited":{"date-parts":[[2023,8,31]],"date-time":"2023-08-31T18:16:09Z","timestamp":1693505769000},"score":1,"resource":{"primary":{"URL":"https:\/\/epubs.siam.org\/doi\/10.1137\/20M1375851"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,25]]},"references-count":17,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2023,8,31]]}},"alternative-id":["10.1137\/20M1375851"],"URL":"https:\/\/doi.org\/10.1137\/20m1375851","relation":{},"ISSN":["0097-5397","1095-7111"],"issn-type":[{"type":"print","value":"0097-5397"},{"type":"electronic","value":"1095-7111"}],"subject":[],"published":{"date-parts":[[2023,7,25]]}}}