{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T07:48:41Z","timestamp":1781077721700,"version":"3.54.1"},"reference-count":42,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"4","funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61373002"],"award-info":[{"award-number":["61373002"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Comput."],"published-print":{"date-parts":[[2018,1]]},"DOI":"10.1137\/16m1107632","type":"journal-article","created":{"date-parts":[[2018,7,19]],"date-time":"2018-07-19T13:07:02Z","timestamp":1532005622000},"page":"1424-1462","source":"Crossref","is-referenced-by-count":7,"title":["Characterizing Propositional Proofs as Noncommutative Formulas"],"prefix":"10.1137","volume":"47","author":[{"given":"Fu","family":"Li","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Iddo","family":"Tzameret","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhengyu","family":"Wang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"351","reference":[{"key":"atypb1","doi-asserted-by":"publisher","DOI":"10.1017\/jsl.2015.17"},{"key":"atypb2","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539701389944"},{"key":"atypb3","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(02)00020-X"},{"key":"atypb4","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1109\/SFCS.1988.21951","author":"Ajtai M.","year":"1988","journal-title":"Proceedings of the IEEE 29th Annual Symposium on Foundations of Computer Science"},{"key":"atypb6","first-page":"30","author":"Bonet M. L.","year":"1995","journal-title":"MA"},{"key":"atypb7","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/s3-73.1.1"},{"key":"atypb8","doi-asserted-by":"publisher","DOI":"10.1007\/BF01294258"},{"key":"atypb9","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539798353230"},{"key":"atypb10","doi-asserted-by":"publisher","DOI":"10.1145\/321812.321815"},{"key":"atypb11","first-page":"174","author":"Clegg M.","year":"1996","journal-title":"ACM New York"},{"key":"atypb13","doi-asserted-by":"publisher","DOI":"10.1145\/1008311.1008313"},{"key":"atypb15","doi-asserted-by":"publisher","DOI":"10.2307\/2273702"},{"key":"atypb16","first-page":"68","volume":"39","author":"Gentzen G.","year":"1935","journal-title":"Math. Z."},{"key":"atypb17","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(02)00446-2"},{"key":"atypb22","doi-asserted-by":"publisher","DOI":"10.1137\/130917788"},{"key":"atypb23","first-page":"49","author":"Hrubes\u030c P.","year":"2014","journal-title":"NJ"},{"key":"atypb24","doi-asserted-by":"publisher","DOI":"10.1002\/rsa.3240070103"},{"key":"atypb26","doi-asserted-by":"publisher","DOI":"10.2307\/2275541"},{"key":"atypb27","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1080938841"},{"key":"atypb28","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1208358751"},{"key":"atypb31","first-page":"720","author":"Maciel A.","year":"1997","journal-title":"New York"},{"key":"atypb33","doi-asserted-by":"publisher","DOI":"10.1007\/BF01200117"},{"key":"atypb34","first-page":"215","author":"Pitassi T.","year":"1997","journal-title":"RI"},{"key":"atypb35","first-page":"451","author":"Pitassi T.","year":"1998","journal-title":"Proceedings of the International Congress of Mathematicians"},{"key":"atypb36","first-page":"197","author":"Pudla\u0301k P.","year":"1999","journal-title":"UK"},{"key":"atypb37","first-page":"354","volume":"31","author":"Razborov A. A.","year":"1985","journal-title":"Soviet Math. Dokl."},{"key":"atypb38","first-page":"598","volume":"41","author":"Razborov A. A.","year":"1987","journal-title":"Mat. Zametki"},{"key":"atypb39","doi-asserted-by":"publisher","DOI":"10.1007\/BF01137685"},{"key":"atypb40","doi-asserted-by":"publisher","DOI":"10.4086\/toc.2006.v002a006"},{"key":"atypb41","first-page":"56","author":"Raz R.","year":"2009","journal-title":"J. ACM"},{"key":"atypb42","doi-asserted-by":"publisher","DOI":"10.1145\/2535928"},{"key":"atypb43","doi-asserted-by":"publisher","DOI":"10.4007\/annals.2015.181.2.1"},{"key":"atypb45","doi-asserted-by":"publisher","DOI":"10.1007\/s00037-005-0188-8"},{"key":"atypb46","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2008.04.001"},{"key":"atypb47","doi-asserted-by":"publisher","DOI":"10.1007\/s00037-008-0246-0"},{"key":"atypb48","doi-asserted-by":"publisher","DOI":"10.1145\/322217.322225"},{"key":"atypb51","first-page":"525","author":"Spira P. M.","year":"1971","journal-title":"Proceedings of the Fourth International Symposium on Systems Sciences"},{"key":"atypb52","first-page":"182","volume":"264","author":"Strassen V.","year":"1973","journal-title":"J. Reine Angew. Math."},{"key":"atypb53","first-page":"1","author":"Tzameret I.","year":"2017","journal-title":"Iceland"},{"key":"atypb55","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2011.07.004"},{"key":"atypb56","first-page":"249","author":"Valiant L. G.","year":"1979","journal-title":"ACM"},{"key":"atypb57","first-page":"216","author":"Zippel R.","year":"1979","journal-title":"New York"}],"container-title":["SIAM Journal on Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/epubs.siam.org\/doi\/pdf\/10.1137\/16M1107632","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,20]],"date-time":"2019-10-20T21:17:00Z","timestamp":1571606220000},"score":1,"resource":{"primary":{"URL":"https:\/\/epubs.siam.org\/doi\/10.1137\/16M1107632"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,1]]},"references-count":42,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2018,1]]}},"alternative-id":["10.1137\/16M1107632"],"URL":"https:\/\/doi.org\/10.1137\/16m1107632","relation":{},"ISSN":["0097-5397","1095-7111"],"issn-type":[{"value":"0097-5397","type":"print"},{"value":"1095-7111","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,1]]}}}