{"entities":{"Q1377580":{"pageid":1388320,"ns":120,"title":"Item:Q1377580","lastrevid":68582229,"modified":"2026-04-13T00:43:00Z","type":"item","id":"Q1377580","labels":{"en":{"language":"en","value":"Proof complexity in algebraic systems and bounded depth Frege systems with modular counting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1109556"}},"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":"Q1377580$973A8035-1F52-4CB0-96A0-65CBE2D3590C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b80ec350359263e8246fd002b47159deede4028a","datavalue":{"value":{"text":"Proof complexity in algebraic systems and bounded depth Frege systems with modular counting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1377580$49BD4636-D358-488C-8238-0DFF61420574","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28f726c02798f4612e67f84178f54e4f40ad9b30","datavalue":{"value":"0890.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377580$83D92FC9-FA8B-4B39-A328-56FC9BABD8E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22d9b045e7f7d68755f07d8f94cf0037724dd93a","datavalue":{"value":"10.1007/BF01294258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377580$5BA399D0-C6E1-40B4-9E32-E137E3BD1822","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c0bcfb4eb9a7ab6903b269f394ffde6834d9319","datavalue":{"value":{"entity-type":"item","numeric-id":1370854,"id":"Q1370854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377580$2DCCC130-1A44-4A74-8151-8DBCE7BDD344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"556b5f897f5d545f04c26b56d4624f5cc4b2661a","datavalue":{"value":{"entity-type":"item","numeric-id":195654,"id":"Q195654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377580$EA5FD905-8E46-4F02-ABC3-38B9E9A6DBDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"afbdf0b4b75e6a0dfd1ecc76c9480c04f5fced5d","datavalue":{"value":{"entity-type":"item","numeric-id":202088,"id":"Q202088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377580$6D269E16-40D4-484D-9BE7-4ECF009377DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b9ae896fbf78b3fa2084fd5300754d74076f66","datavalue":{"value":{"entity-type":"item","numeric-id":226860,"id":"Q226860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377580$2513A36E-9452-4B14-99C8-DFF297CEE1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"318018faae3560d6874b4d183002bf8aee67c872","datavalue":{"value":{"entity-type":"item","numeric-id":185618,"id":"Q185618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377580$0555C4C7-452A-4E5C-9489-292BFBF5838F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"68410c8b701a5d2353de4ef8d65f833c0ac3784e","datavalue":{"value":{"entity-type":"item","numeric-id":170016,"id":"Q170016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377580$D3A867BE-EAC4-4F2A-BF69-CD85E6C1F369","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4472b31ebff52fa964618256e5b76c8eb3e874c2","datavalue":{"value":{"entity-type":"item","numeric-id":172540,"id":"Q172540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377580$7B0AA3DB-7784-4790-B315-2C148BB5A94E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f680ab37822a66c306de184badf1c6b2f8f85485","datavalue":{"value":{"time":"+1998-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1377580$E8289111-AA94-40B3-8451-695CB348F8BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377580$E9DC1D89-E514-40D8-9388-57CCE8C9F4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377580$1F731976-3A60-4813-A313-44A746D4A068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377580$C236AA15-E36B-4756-A4D9-4BA01223B80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377580$7807D7EE-9A65-4032-B74E-91808BB9D18E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d847024ce0f66ed52654f10541affc29cba4ec1e","datavalue":{"value":"1109556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377580$9B682635-179D-4E8C-B32F-A7FFC9029AC1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3076f9cba27cdde8978a3b99d749b2f64cd0508","datavalue":{"value":"Frege proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377580$AF97D135-C567-4193-91C2-5A35C04FB5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faaac56559c0fbfa803fa71916dfd0a01ab8cb29","datavalue":{"value":"Nullstellensatz proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377580$5BF962CC-6AF6-4931-B4DB-25EB979B9D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9832c74a9414df922fc8121d57a4e8d0a33785f4","datavalue":{"value":"counting principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377580$807740EA-3D92-400B-BF74-63CBEBA3DC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f1814ebfb0c5873f215208cab188392d4def9a","datavalue":{"value":"lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377580$842EA422-3652-42A3-A6D2-E8368CB46FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"559947afc211e30d5703edff12ef6d0ef52313d2","datavalue":{"value":"degree of polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377580$E1E2BD0A-CF04-4760-9367-F96791E54C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1401e9ce3ae26126bd45f5175e08daf64f4615ae","datavalue":{"value":"polynomial calculus proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377580$A74E5885-384A-4A7A-BDC5-C86FFE141F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b63a89d8f401d1620dcdd692ee409438d085ecb3","datavalue":{"value":"modular counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377580$B8DD3104-1F15-4574-96ED-FCE0A3A3E313","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":"Q1377580$870EA4B2-1FE1-42E1-88BE-63C804AB8103","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9fac4e2565ff70436792035f55d4254cbea8194","datavalue":{"value":{"entity-type":"item","numeric-id":2817631,"id":"Q2817631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377580$08C1E5DB-B618-4D0F-B7BB-26D3E17725FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade17ba58c8651a68b2bae1694f23c087effff8c","datavalue":{"value":{"entity-type":"item","numeric-id":4234077,"id":"Q4234077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377580$CB509652-F91C-4159-8E05-80B32B65F31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbbe1958fb29532b90e09c713c0b31c18a6b57a9","datavalue":{"value":{"entity-type":"item","numeric-id":4892411,"id":"Q4892411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377580$45A1DF61-FA29-4DC4-AF6B-5105C8435CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcdbe2bfe0d10636cf929d8ea04a35b0746f5915","datavalue":{"value":{"entity-type":"item","numeric-id":687506,"id":"Q687506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377580$A6DDC84F-4649-4B60-B54D-44BEE350C723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d9247f02580b0b7e54414a6a3913c3200e9561a","datavalue":{"value":{"entity-type":"item","numeric-id":4375784,"id":"Q4375784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377580$1CB16382-BCE4-421D-A43C-6BA334E7A8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d92fa5008a947cf4d000f7551c40cd38c27e82","datavalue":{"value":{"entity-type":"item","numeric-id":4027856,"id":"Q4027856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377580$93F07082-C54C-4502-91B3-41C479DAE163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29f440a5bcc8c5e9b60d6c728c05d9a09887fe96","datavalue":{"value":{"entity-type":"item","numeric-id":4234107,"id":"Q4234107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377580$3B7FEB7F-4B17-4168-8C6B-827AF7768B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58f4844883d38ba5b8da2bd118d050bc2a66329c","datavalue":{"value":{"entity-type":"item","numeric-id":1908815,"id":"Q1908815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377580$8B92B155-CA05-4880-BC42-6DA3BE6EF730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c636dd583a22faf929d1cb972aae014f779c04","datavalue":{"value":{"entity-type":"item","numeric-id":3496310,"id":"Q3496310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377580$96AB870B-5F33-4200-A2A5-D78E275FA531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fc668831a6565a498110f2aeac4eebcb5e83ad5","datavalue":{"value":{"entity-type":"item","numeric-id":4228469,"id":"Q4228469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377580$A0E60C53-FBC5-41A3-BCE3-14A903AE7A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377580$F3F88CB4-2B31-4CAF-B4C0-AD81AF2D2BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377580$994BCB1E-E374-4D16-AAD6-55F494E86E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6b6fc6d5ad8b9914f000603cf15348a3f575c5","datavalue":{"value":{"entity-type":"item","numeric-id":4292593,"id":"Q4292593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377580$35666B9B-7DB7-4B5A-8BB5-FE49658FE3A9","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":"Q1377580$17449FAF-1FE4-465B-A995-0E800DD98B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfbeb61adea947c57142609ebbde9778931caaff","datavalue":{"value":{"entity-type":"item","numeric-id":4885910,"id":"Q4885910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377580$F9525B90-050F-44A8-81F3-82969F17DD96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ddac2c5dd532277003ca8da0a76d3ba28879068","datavalue":{"value":{"entity-type":"item","numeric-id":4395611,"id":"Q4395611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377580$C98AFA45-097D-4F66-BCE9-84171A3245B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14abad76ad511f1b4aa79c6b56a77737c16aefa0","datavalue":{"value":{"entity-type":"item","numeric-id":4847394,"id":"Q4847394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377580$3398479E-CF53-47F9-BF2D-E056C4BDBB76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3b936472256c474ab8250b72e7c010873198894","datavalue":{"value":{"entity-type":"item","numeric-id":4206725,"id":"Q4206725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377580$5147F66B-A2BB-44C3-96F9-388A12D58234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"408159b1c21249567bf1f15c810c7be66dbe7c68","datavalue":{"value":{"entity-type":"item","numeric-id":1293358,"id":"Q1293358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377580$28E23127-52BB-4713-93C8-EDFF0AF7EB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81494301ed40478ad47563138f01784b63003971","datavalue":{"value":{"entity-type":"item","numeric-id":4152212,"id":"Q4152212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377580$A156DF23-D6A3-42AF-A70E-14B71B51F7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebeeea9cf08f720beb50a6d9ca520d2a54f66086","datavalue":{"value":{"entity-type":"item","numeric-id":3140642,"id":"Q3140642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377580$43EED22D-061D-472E-A702-18BEB3B4CCB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fe9bd9ba8731c83c5724aaa9e20e58b73add44f","datavalue":{"value":{"entity-type":"item","numeric-id":1377601,"id":"Q1377601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377580$C73AE68B-29D0-44C5-BF94-4F60CE990C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728810277830424bd131e6e77eef399df584ccea","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377580$C0B6EB0D-3816-45E5-83C5-C15AA4151196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd902b6160e42565c7d2c676094d64283d352a8","datavalue":{"value":{"entity-type":"item","numeric-id":5444711,"id":"Q5444711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377580$E6DA6353-A674-4BF1-A3D6-C0EAB129499A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0547d8e97e3f0a4bf5120c9a976116c018f99a20","datavalue":{"value":{"entity-type":"item","numeric-id":4284631,"id":"Q4284631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377580$BA28F96D-4489-4D3C-8E48-E88979E645A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f986fdc5f32e8f31964f1d568e50ecf6d5518484","datavalue":{"value":"https://doi.org/10.1007/bf01294258","type":"string"},"datatype":"url"},"type":"statement","id":"Q1377580$8CEDD011-9BDD-4C61-908C-DD0F248E72F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f2c2f1f50e3b5a4fe520b7571dd8dbde7f0a948","datavalue":{"value":"W1968655942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377580$8C199F34-E2B5-467E-888E-0913E6D4C334","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"075935af3b36c64ace0df4989d85eaaccff64a85","datavalue":{"value":{"entity-type":"item","numeric-id":5391544,"id":"Q5391544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9992149f9a3529f066edc8e054172cac431721b8","datavalue":{"value":{"amount":"+0.9303056","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":"Q1377580$5B5D346F-4FE0-4D90-B4DC-25785915F4E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c948ba6ab1d958559dc7420d5e1540549b7ee35","datavalue":{"value":{"entity-type":"item","numeric-id":4375795,"id":"Q4375795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74a2329ac279d2b2e2a5abeca982ab2e9c96dc9f","datavalue":{"value":{"amount":"+0.9106964","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":"Q1377580$329B0A16-D8F4-42BA-8F08-62136E353640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cac23da18199b47c28506382e1fff207379f84e","datavalue":{"value":{"entity-type":"item","numeric-id":2944908,"id":"Q2944908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcdbb81ebba5f015db3a0f4b952da5964df2ceb5","datavalue":{"value":{"amount":"+0.9072457","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":"Q1377580$11A0063C-5715-4715-871F-6F4DAF3D6C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"651c38ccbb6958d181d6d0c8d3af193004f78b1a","datavalue":{"value":{"entity-type":"item","numeric-id":5465358,"id":"Q5465358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"835cad10830225c77679bda867dcf06abe93ec86","datavalue":{"value":{"amount":"+0.90094924","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":"Q1377580$7328E6EE-A692-4F30-AE38-EACD71D82512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"779599644c02dd6e99046380126d5bb03fcc2ee6","datavalue":{"value":{"entity-type":"item","numeric-id":3181643,"id":"Q3181643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"857c6cc40a138ba7181eeb071891a21f2d4aaedc","datavalue":{"value":{"amount":"+0.89593893","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":"Q1377580$0BCDC84E-463E-4F81-8EBB-0ACCAC77BC22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c7d1599290e3502a27b6999c883b03e5695fc1b","datavalue":{"value":{"entity-type":"item","numeric-id":5756572,"id":"Q5756572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"857c6cc40a138ba7181eeb071891a21f2d4aaedc","datavalue":{"value":{"amount":"+0.89593893","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":"Q1377580$5BE35392-239C-4636-84CB-4F16F5532603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a20b0366d57d9dfce8a50876aa297e4e5267d80b","datavalue":{"value":{"entity-type":"item","numeric-id":4807964,"id":"Q4807964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ba1f303d7a34aa67ad9be78af38f2df07551127","datavalue":{"value":{"amount":"+0.89563745","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":"Q1377580$5E2A3556-7ABA-422E-98FA-371CD68814C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e71f6aa68d56e4626708c03cc970a2af772ce289","datavalue":{"value":{"entity-type":"item","numeric-id":4736859,"id":"Q4736859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ee9809d19edf5f3cb2f04f593e99a3c44062fd0","datavalue":{"value":{"amount":"+0.8936839","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":"Q1377580$11C6FF6F-667B-468A-884F-5673824A1C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a6fd0ba87fcf74775845dfe4993533ca805bdff","datavalue":{"value":{"entity-type":"item","numeric-id":2958529,"id":"Q2958529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3426548d0aa6a9443aa9c49ab3f65364843f981","datavalue":{"value":{"amount":"+0.8900148","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":"Q1377580$58FFC216-3CF5-4980-9276-8136B67588C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5da28da5e290488ad289537bbb842cad53ecef0e","datavalue":{"value":{"entity-type":"item","numeric-id":4357061,"id":"Q4357061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"016fe38689e021afc25c0e63cdf689c51157faf2","datavalue":{"value":{"amount":"+0.88809985","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":"Q1377580$993A2BBE-BB35-46B9-99B2-809118E906D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof complexity in algebraic systems and bounded depth Frege systems with modular counting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_complexity_in_algebraic_systems_and_bounded_depth_Frege_systems_with_modular_counting"}}}}}