{"entities":{"Q2007873":{"pageid":2018615,"ns":120,"title":"Item:Q2007873","lastrevid":72338973,"modified":"2026-04-14T04:14:34Z","type":"item","id":"Q2007873","labels":{"en":{"language":"en","value":"Feasibly constructive proofs of succinct weak circuit lower bounds"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7135273"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$54C0D222-A774-4FBB-A016-6B1E76880416","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"37fa288cbf38e2e6ff061f0e7ea78bd4338a8dd1","datavalue":{"value":{"text":"Feasibly constructive proofs of succinct weak circuit lower bounds","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2007873$59A13640-5B6E-475F-9039-1FCAF6E6CD5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cfc1e06031ce20bc487d1a7c9d2bd984abf93c57","datavalue":{"value":"1454.03078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007873$99377646-BB67-4AE4-9636-29B9AB4EEF9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db0582c8fbfa44d141be19fdff50b7f99a7578d7","datavalue":{"value":{"entity-type":"item","numeric-id":490659,"id":"Q490659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$7C258504-4BCB-49C7-BFE8-D6AF9B6325F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbd280028d852be0bb1791a3912dfc76b7046ce1","datavalue":{"value":{"entity-type":"item","numeric-id":466446,"id":"Q466446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$67963A66-F51D-482A-9849-04DCF044FE63","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$AED70BD2-8F2B-4829-B43A-D6FBCCB0B430","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"33cce4fd4ac55934aa54f9a1aa310e23129f81c7","datavalue":{"value":{"time":"+2019-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2007873$8B2986F0-C3C5-4316-93A6-7F19FFCE6224","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf4a279925f28035f6f08491923c334761e2e562","datavalue":{"value":"http://hdl.handle.net/2117/177667","type":"string"},"datatype":"url"},"type":"statement","id":"Q2007873$A81E81C3-2EE2-4920-9F61-C2874BD1E9D7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a74ca7fe8dfc2eca283a8535f4a3eafd713df3c7","datavalue":{"value":"The article is well written and organized. Mainly, it shows the benefits of the succinct circuit lowe bound proof in \\(APC_1\\) by proving, in that theory, three mayor results, i.e., the switching lemma, Razborov-Smolensky's approximation method, and Razborov's method for monotone circuits. Beside, we like to mention that in the proofs the authors well point out which steps rely on \\(sWPHP(PV)\\), which we believe is not a minor detail.  Page 7 Theorem 2.1, page 30 Remark 4.3, and page 34 last paragraph, present the same typo, which is, instead of Buss witnessing theorem must be Buss's witnessing theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2007873$221C51C2-0354-4711-8F3E-0A97298B9A02","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"25bd05b6d3e78aabcb3020d0aaaeef978d4a7326","datavalue":{"value":{"entity-type":"item","numeric-id":1983329,"id":"Q1983329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$E6AC09F5-2583-4550-9AF1-2DEE092A166B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007873$51631C50-FB8E-49FB-AA73-69F28B5031CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007873$09F7DE7E-7D42-420F-B65E-435D80962A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007873$686357DF-9391-4F25-B8AC-FBDF45F8D1C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94efd3416f56c74921c7a3dc802cd030600cbcdb","datavalue":{"value":"7135273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007873$A6C4A701-21A9-4BC2-809D-937B924D46BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2007873$5BAC5EC9-1D4A-4720-9079-6F1679111941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2007873$4C416E09-9067-4248-A4AA-B8BD4BFA8E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d78e5654019584adac44f13a7c02b1ac1c3bfff","datavalue":{"value":"circuit lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q2007873$AEC5540C-EA16-44CE-BA7C-CCF051799C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b8a09be57ae85ca4701e8363941e782083b4db","datavalue":{"value":"approximate counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2007873$4913C646-6C3A-41AF-A98B-881BA7EA2ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6899f069c3f1042f29e8b176d985cd0bbfe7e26c","datavalue":{"value":"natural proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2007873$67A7CAD6-2569-4C2B-B163-0207362B7E1E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"95a3f7a655c227bbbe9306d85c8efa2c81a6aebd","datavalue":{"value":"Q113880326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007873$923B10DA-DAFC-4623-B09F-84BAC3366486","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$63415536-4C67-457E-A610-2C3494733FA5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ca267175c6d4141c3a6f9573826ff69acad8da6","datavalue":{"value":"W2972703483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007873$B89CF386-F988-49A6-95B6-3319BBACF602","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"957892286a77298fd7faca30f1f60dbb53f94696","datavalue":{"value":{"entity-type":"item","numeric-id":1054720,"id":"Q1054720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$18FABF62-1E3A-41C3-89D1-273E3E9F9701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50621bbf1c084d93515abb8fb9d0b9bcc1e49ecb","datavalue":{"value":{"entity-type":"item","numeric-id":4651526,"id":"Q4651526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$662289E6-E4D2-497F-9DA1-EA460CE7CD79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$FA1E72D8-44D7-497C-8CE1-29ACF62C2EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efdb5e9953e08fd66074a3e2f9e3b4c938131655","datavalue":{"value":{"entity-type":"item","numeric-id":2946740,"id":"Q2946740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$6A615EFE-2744-448C-B769-655DCEF3F44C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b87d4d660be017ed3a655c9578140dd400c43c7","datavalue":{"value":{"entity-type":"item","numeric-id":4385519,"id":"Q4385519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$DDC95814-436D-4A13-A692-CF2307447488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a628cb64400cb3daffe7c8b3b6a4710e9daa6946","datavalue":{"value":{"entity-type":"item","numeric-id":3800030,"id":"Q3800030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$1B2F651B-9B63-455D-8E2F-7492D31BEEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a92b4f123fa4e9d402c12a53dc896b2f39e4867","datavalue":{"value":{"entity-type":"item","numeric-id":4357061,"id":"Q4357061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$ACA59AF8-8427-41CA-B872-384B2AE62387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c967ae4b0fba59ac6a0c72fafaafab5e42d0c5f","datavalue":{"value":{"entity-type":"item","numeric-id":4215631,"id":"Q4215631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$C224ABB2-2D45-4C91-84F2-A5E9D4D80E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23400c278c34c4952b60ea1739aefeaf237f99e0","datavalue":{"value":{"entity-type":"item","numeric-id":2921008,"id":"Q2921008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$3C3D5190-A342-4410-8FF9-34AE8F01B45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5606b712d2ebf2a2a003c80b8cfe29c7a645423c","datavalue":{"value":{"entity-type":"item","numeric-id":2944908,"id":"Q2944908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$9D174A92-19A9-4B25-AFDA-4490EC81D65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c86434397944f1524f2ac5a08e7df50dfa4a350","datavalue":{"value":{"entity-type":"item","numeric-id":5368744,"id":"Q5368744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$49CDCDBE-E37C-49DC-AD92-3E28A31328AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"051c3baed160e8c123f48903d630c3edf922f9af","datavalue":{"value":{"entity-type":"item","numeric-id":2989039,"id":"Q2989039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$556A6EBE-0544-4AC0-99BD-CE31E6E76672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6ac24426ea288d6299fff7a666fe5fe5c1b81a0","datavalue":{"value":{"entity-type":"item","numeric-id":716305,"id":"Q716305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$A8764F2B-B6EF-4EEE-A0D0-07D4B4DEB747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"356189832b055bbb9bfe0799d86d1794de9cae4c","datavalue":{"value":{"entity-type":"item","numeric-id":3111411,"id":"Q3111411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$50D7939E-8731-4CF3-9A61-72A1736F11EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0909c5baebe8e5f5a9e964f05c720f232deade69","datavalue":{"value":{"entity-type":"item","numeric-id":5586401,"id":"Q5586401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$B6FEAEDD-A0BC-4C29-8C81-E7A2B2E19234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a549ed1d776396be3e4308655e166de224ba89","datavalue":{"value":{"entity-type":"item","numeric-id":4133141,"id":"Q4133141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$82C080CF-0FD6-4650-81E4-E6717959530D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1b3541975f21c68128b48b36c15544e39ff063","datavalue":{"value":{"entity-type":"item","numeric-id":5444705,"id":"Q5444705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$0C76431E-82CD-4DD6-A263-AA2976019A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f286ff126f8e4401146a039d4bb3019a6c01c6d","datavalue":{"value":{"entity-type":"item","numeric-id":4375756,"id":"Q4375756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$013BFFC7-453E-49F2-AB61-CB88E5706FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad8cc9b1ac9554ff4a70a106dee8357520e9a2b","datavalue":{"value":{"entity-type":"item","numeric-id":5306365,"id":"Q5306365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$3B1BC9B9-7AE8-4D7E-8EF9-B17CBF797181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73d802c00ffec27ce504f324beed9d3b6cfb6124","datavalue":{"value":{"entity-type":"item","numeric-id":3012837,"id":"Q3012837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$8F1199C0-F771-4AA8-B8D7-3E03367E4C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e39951d487d3bf563c62341ed381ea5be4f484","datavalue":{"value":{"entity-type":"item","numeric-id":3318683,"id":"Q3318683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$634598B6-190D-42A3-BAEB-213946DF9865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ccdc2885bcd85970cf2540be17a7b4af1868eaa","datavalue":{"value":{"entity-type":"item","numeric-id":1887654,"id":"Q1887654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$02FABC01-5286-4A2F-8D4E-E96B4E667A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2e99b88859c1084b6b9b66a060c1210cf65590c","datavalue":{"value":{"entity-type":"item","numeric-id":5422312,"id":"Q5422312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$A9E3452C-E95D-4400-B011-22D053BD8673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ac01476efbe2c2327bb137d4a4618ad684caf9","datavalue":{"value":{"entity-type":"item","numeric-id":5431613,"id":"Q5431613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$84080642-3474-4727-BF35-49BC677C5603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e3049397185803a2386147b2c4db5afa3cf4e87","datavalue":{"value":{"entity-type":"item","numeric-id":3399180,"id":"Q3399180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$4E0010A9-84FC-4EC5-ABAB-99C6FE799358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"221d6cc34e98a9ad258ef6a2052dfa1d2d2a9a12","datavalue":{"value":{"entity-type":"item","numeric-id":3503756,"id":"Q3503756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$24C9ADA2-C4B6-4AC6-B553-AFCAE9CE1A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$6877E1AD-FBA9-4A54-ACE1-AECA006AD19A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b9e272f8ccce6a7b10c8e4afc506dcafb4f348","datavalue":{"value":{"entity-type":"item","numeric-id":4358049,"id":"Q4358049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$2342A7CF-C6D4-41C8-9E45-2DD62A575BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e39418025026f0a76cdabd6c1ba0812c26d9bddd","datavalue":{"value":{"entity-type":"item","numeric-id":4381413,"id":"Q4381413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$14310D42-6FF1-48E1-AD34-DC9AAB9836BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b50db42f9199207d4f2b18fa509c632877a00c82","datavalue":{"value":{"entity-type":"item","numeric-id":2773242,"id":"Q2773242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$9ACACB23-DE22-4258-B85F-BE441F613463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70e7ced847ef0c7f988c1b5d60be1b5ff4d2f251","datavalue":{"value":{"entity-type":"item","numeric-id":5311724,"id":"Q5311724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$F957A1BD-6164-4805-B5ED-3C1A4568C468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db4bb8b81064be6d973a6c25598ebeb9e1adf756","datavalue":{"value":{"entity-type":"item","numeric-id":3072543,"id":"Q3072543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$5A7FCA8B-E3A4-40F9-B307-E690C5506940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49a7a709c2b108dd48de5fbeff5f583efa5de9b7","datavalue":{"value":{"entity-type":"item","numeric-id":2980966,"id":"Q2980966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$7DC341A2-A3B1-4C31-9036-A1B57FCFE929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b69c6bd35d6a46c79a1a093429fcbf25fe8a0b79","datavalue":{"value":{"entity-type":"item","numeric-id":4268484,"id":"Q4268484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$3D42B9D0-1F3C-4C4D-BE53-9FB3B7A7EA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6946af148f47d52c72c2eb1ea6817d1696cd28fb","datavalue":{"value":{"entity-type":"item","numeric-id":1177041,"id":"Q1177041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$5C00F65F-089E-42E8-B3CF-0F4B82898147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df7e33e1d2f33d6300925582588504377a9a859","datavalue":{"value":{"entity-type":"item","numeric-id":2817668,"id":"Q2817668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$65970B79-BF74-477C-89CD-E7EB87E3708B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba38e8b8f35cc91bfd6f9f77a77d04fdd59ef416","datavalue":{"value":{"entity-type":"item","numeric-id":5894824,"id":"Q5894824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$7740B524-9B2D-4F7A-8ECD-8D51EF5DDACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d7a9c7a287d403d34e7a6caade13a4dd0301d47","datavalue":{"value":{"entity-type":"item","numeric-id":5109236,"id":"Q5109236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$57E802E9-D3FA-436F-B8FF-B087306B6771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b409306bdf364930adcbf624496cede43048b2af","datavalue":{"value":{"entity-type":"item","numeric-id":1337458,"id":"Q1337458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$915ED7AE-9B56-4753-B2FE-A215CD2E9574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7015192d3efadcc818414bfa24ced3b0349a225c","datavalue":{"value":{"entity-type":"item","numeric-id":5091779,"id":"Q5091779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$96F9B94B-6B34-47D9-9027-9CB5A02AA93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17618ddb1fd34bf255fc52b39503d1e91d300018","datavalue":{"value":{"entity-type":"item","numeric-id":5654035,"id":"Q5654035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$D3038999-04B3-4C7A-B58A-841A932D086C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931de89fd04e19357f6e5b8ccff01e105ec8cbb9","datavalue":{"value":{"entity-type":"item","numeric-id":466447,"id":"Q466447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$A3C5EA3A-CE2E-41D8-8FBE-650C64746466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e7c5d2354d993f33fdeacb31af59b367a090d35","datavalue":{"value":{"entity-type":"item","numeric-id":2941756,"id":"Q2941756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$12AD1877-8171-4C22-A83D-F216E5E3ADFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eabe219dbe0dc796cd131aa0609897260916109","datavalue":{"value":{"entity-type":"item","numeric-id":5501187,"id":"Q5501187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$859DCC64-1017-472A-8857-A3A182CE8C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ffb7c4897464eade24b984dc253233d6968fb77","datavalue":{"value":{"entity-type":"item","numeric-id":1095871,"id":"Q1095871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$84F84D23-40DA-4FE6-8F80-803A6117D590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b9f0fecc35bde4269719ed65d8692abf049c091","datavalue":{"value":{"entity-type":"item","numeric-id":4850554,"id":"Q4850554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$9531819C-BDEC-4D38-80DC-884B6FB933D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83d8df2f636bf6cf025358a9786f3f222a9fdee0","datavalue":{"value":{"entity-type":"item","numeric-id":4864743,"id":"Q4864743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$3CE3FA9A-0E84-40AE-A4F2-28EC0C476C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"942542645e3b625a22193b61bdb706b1780c1e1a","datavalue":{"value":{"entity-type":"item","numeric-id":2255289,"id":"Q2255289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$7E1C3900-CC41-48A2-B620-0AD68C12CE82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"072e91014367104cf566b8b67a728f68b171a4bc","datavalue":{"value":{"entity-type":"item","numeric-id":5906823,"id":"Q5906823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$A7C63621-62AC-4340-BDD4-FD76AD89B06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9350e5bd2483453be87e332e76349d3a3f76f138","datavalue":{"value":{"entity-type":"item","numeric-id":1849868,"id":"Q1849868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$4ABB3FE0-1C88-46BE-8299-4E1CBC289CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d55cd3d1ac554586ec9a762ab3fded8ed1a931ec","datavalue":{"value":{"entity-type":"item","numeric-id":2570136,"id":"Q2570136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$A4E2D539-649E-420E-A253-451068CD0BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"751e8f0efe9ea52460668d0772ba1245a23405e7","datavalue":{"value":{"entity-type":"item","numeric-id":4416428,"id":"Q4416428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$AF1DFDA1-73DC-4CDF-9A7E-AA5DCAADFEBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c6b871d25a3f2bcc10ef5d12d2a6df59054c7c5","datavalue":{"value":{"entity-type":"item","numeric-id":5604434,"id":"Q5604434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007873$22D1B24F-0805-4866-9627-D204491808EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c1518666d87333a631e2a0d605821a0abeba19c","datavalue":{"value":"10.1016/J.APAL.2019.102735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007873$0C0AA231-B405-4F41-AA57-613119213AE9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a898c81e321391ba3761b52eca9e76f4b4096852","datavalue":{"value":{"entity-type":"item","numeric-id":2914345,"id":"Q2914345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d179fa9d6da4ebdc868f5bcf790f1fee9fc49df8","datavalue":{"value":{"amount":"+0.9059121","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2007873$C0E0DF16-9F52-445B-BCE3-8A00A9EDF746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a818384b7effad5f0b8e6f908ba9fc52ac82cb1e","datavalue":{"value":{"entity-type":"item","numeric-id":4651502,"id":"Q4651502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8463767b2ce71a8253be02e692e55c5216434417","datavalue":{"value":{"amount":"+0.9048109","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2007873$34C971B1-981A-4EFF-98C3-41BC35522739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3866804b988e1b7d9c3e7e1836fa4431652150e2","datavalue":{"value":{"entity-type":"item","numeric-id":3082928,"id":"Q3082928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42f84f84c76f1c6daefcc897c108ec0d29844927","datavalue":{"value":{"amount":"+0.9005798","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2007873$D95C3D8F-134E-4AF7-A07C-7D612C7709D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aabe985d4561bfe6f64cefdfc7a45c602e6ce9e3","datavalue":{"value":{"entity-type":"item","numeric-id":5368766,"id":"Q5368766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3902a13b1c5880ea490df42eb4e41efe8933ac2","datavalue":{"value":{"amount":"+0.8958859","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2007873$7D93A376-C227-4CFE-B7DC-71D5F7F1D5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cc67d555ee09feda8744fd93f609934b963dfa0","datavalue":{"value":{"entity-type":"item","numeric-id":5028363,"id":"Q5028363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3902a13b1c5880ea490df42eb4e41efe8933ac2","datavalue":{"value":{"amount":"+0.8958859","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2007873$1E40100D-62B4-402F-9633-031549D0D6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f1f784cef179a2f7cbb10ad180ddf6424a4dcf7","datavalue":{"value":{"entity-type":"item","numeric-id":4850550,"id":"Q4850550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"354201fdee84fd539252fa1dd30a9710a5ebdbca","datavalue":{"value":{"amount":"+0.8946245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2007873$600FF5CF-EC6A-4F90-B3A0-625F5EF01573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50cf41f596b930f7a683c9f042edf9877d0c3bb2","datavalue":{"value":{"entity-type":"item","numeric-id":2800571,"id":"Q2800571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c283ae2aded7504a22d62cca9483749ba232f6c","datavalue":{"value":{"amount":"+0.8928959","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2007873$00E5651E-1206-4E0D-A22A-4E13D7C07287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae312d3a4000fcf27ea2484199b2a85996d4787a","datavalue":{"value":{"entity-type":"item","numeric-id":4978011,"id":"Q4978011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42d7f04ff30aa9f8490101063532323f09535ff2","datavalue":{"value":{"amount":"+0.88778305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2007873$149A5902-F15C-4ACF-A722-64828698AFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1ce4b0cdbdbeda11765527c05f2fa4cffbc2c92","datavalue":{"value":{"entity-type":"item","numeric-id":915457,"id":"Q915457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dc1e3dccdab25cc7176660e8c1432d538e9e372","datavalue":{"value":{"amount":"+0.8876514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2007873$8C29843C-A983-4587-BD7C-891143285329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"913388b3efb769f5b68a6531bc8cfb9c84aa7f49","datavalue":{"value":{"entity-type":"item","numeric-id":4612482,"id":"Q4612482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e813330137c69325b9a8cdc797c7a3a79f6c68a","datavalue":{"value":{"amount":"+0.8866786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2007873$A410D561-FE3D-475F-8CBA-9109734B5A7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Feasibly constructive proofs of succinct weak circuit lower bounds","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Feasibly_constructive_proofs_of_succinct_weak_circuit_lower_bounds"}}}}}