{"entities":{"Q1295443":{"pageid":1306193,"ns":120,"title":"Item:Q1295443","lastrevid":68393565,"modified":"2026-04-12T23:24:53Z","type":"item","id":"Q1295443","labels":{"en":{"language":"en","value":"Bounded arithmetic, proof complexity and two papers of Parikh"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1308114"}},"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":"Q1295443$102887AC-9DE6-4834-9044-784C5BF5D2EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d253935ff5cda7ed50a9dc2e357886cab77bba6d","datavalue":{"value":{"text":"Bounded arithmetic, proof complexity and two papers of Parikh","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1295443$FADD41D0-C2A0-42C5-A94D-7A789580B681","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7987ae334b8d1a3aad4dafc7992f11efc90f7c4f","datavalue":{"value":"0924.03106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295443$F7236E8F-1F09-4AAD-BA58-9E185BAD05F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd8f2ebc83dd52c04fa9b8bc35b7bdb5687d64d8","datavalue":{"value":"10.1016/S0168-0072(98)00030-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295443$3359EB25-D54B-4DAC-9F85-B82EAE8D68CE","rank":"normal"}],"P16":[{"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":"Q1295443$35BA8A7E-6AB6-4F2F-BA73-88EE32303B13","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":"Q1295443$8B61A24A-94E0-4597-A13A-908F674925AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17b50c483751cd86cb210b1ff9c02447be3fef6e","datavalue":{"value":{"time":"+1999-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1295443$E4AF7353-14D6-423C-9431-74BE4C8E60CB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"86c4aaadc30bc3da595acf8aa647c946ebfa5035","datavalue":{"value":"This article surveys R. Parikh's work on feasibility, bounded arithmetic and the complexity of proofs. The author discusses in depth two of Parikh's papers on these subjects and some of the subsequent progress in the areas of feasible arithmetic and lengths of proofs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295443$B40D5C93-07B2-4CB9-AE8E-EBDF7C33D35B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295443$F2BB081D-5164-481F-B1CD-B6A50237680F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295443$64BB4006-AB01-4D94-BCC2-93E25531D1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295443$C23785ED-94F9-4957-9E75-94F5B5F2A4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295443$C27C731D-B912-49F4-84DE-D311D267FC2C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"390064da0f0985847c6c8176084b8f079711a6de","datavalue":{"value":"1308114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295443$6CC4C3FF-C343-4FDA-BA64-82C40BCD26F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295443$664A93C1-E0BF-4B74-B741-12324CD4AD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d107c8021cb7edf2bf3780a4c1d3754d63c5f3a0","datavalue":{"value":"feasibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295443$52330E8A-D567-4552-BE01-AABBF18579E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295443$D05CF51E-DB92-4E98-A955-95CD9CB9DED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ee539f3c66b5148353f42975573a39b50c5340f","datavalue":{"value":"complexity of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295443$63AC77B6-E4C1-4D97-A522-F639213CC6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bab5d3b97dfc5f2e589f49312d0246a4c5544eb6","datavalue":{"value":"feasible arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295443$A29EF012-5CDB-4F47-9B23-F326DD2A9EC9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"59699d8ba436c4690eab2e3c0ee0a7ef0d967cec","datavalue":{"value":{"entity-type":"item","numeric-id":1177040,"id":"Q1177040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$725D8A6B-4A61-4D40-BA04-B7672CE99BDD","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":"Q1295443$B2959BD5-4582-4F58-BE6C-EF450086642B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"768d63e712fe6a569fb742c3aee2dac03be6ea11","datavalue":{"value":{"entity-type":"item","numeric-id":3140631,"id":"Q3140631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$9A60D365-F6C5-41A5-BBDF-C066E158096B","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":"Q1295443$2C655679-8BC9-4D4A-8187-037A9046CB76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49508253f586991686167e53d90ae970b902e6b3","datavalue":{"value":{"entity-type":"item","numeric-id":1176199,"id":"Q1176199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$E5FD7996-D35A-46E8-B43B-15E35CD36693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfdf5e4eef1c143cc2b9f90bf3afd0a7bb0f048d","datavalue":{"value":{"entity-type":"item","numeric-id":4314669,"id":"Q4314669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$72D82036-0D72-4DE5-B801-552BF063AB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab81d699f78ed9391f5849c0be0c9fcb1f3d462c","datavalue":{"value":{"entity-type":"item","numeric-id":1182693,"id":"Q1182693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$F3911DF5-B8AD-4A3B-8571-FDCB6CFC5E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09c644124f17d3696f4f522138a5baa7f21ccedd","datavalue":{"value":{"entity-type":"item","numeric-id":4942870,"id":"Q4942870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$6BC9984E-9801-48F1-AAF6-937527532FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d7fb2aaadd68cb1c463dfae1df6ab0cbda7f2f","datavalue":{"value":{"entity-type":"item","numeric-id":3474647,"id":"Q3474647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$2D767106-0158-41AD-9E72-F3C8E119E63A","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":"Q1295443$582F7351-5DFF-49EB-84C9-D256192BF7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52d22a47fb5eb747584c062317751144207a33ec","datavalue":{"value":{"entity-type":"item","numeric-id":3809768,"id":"Q3809768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$5F56B44F-451F-45F9-AC1E-D698579BF5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e34cd72b9fbc3c4d5ee1d4466563a93a5321e31a","datavalue":{"value":{"entity-type":"item","numeric-id":3741624,"id":"Q3741624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$7896F8A5-0DC3-4D5A-9936-4B1C4D966094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9b757d362e566e6bb8567869560a0af0408a0e3","datavalue":{"value":{"entity-type":"item","numeric-id":1109019,"id":"Q1109019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$7E3599FE-E570-4616-937D-A23903F45DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84b9673b38489b259e94536cc8cb8767d5873dd9","datavalue":{"value":{"entity-type":"item","numeric-id":1814133,"id":"Q1814133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$D1F56390-85F3-4EDD-BF04-81535AF7572F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b0ece7e2512715165615b2a0e8d68cae69210e","datavalue":{"value":{"entity-type":"item","numeric-id":5760848,"id":"Q5760848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$EDB4555A-16E5-4D6C-B4C7-D62BB2900701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7021c91f6a866e16b579f74b23aa54446a0c8938","datavalue":{"value":{"entity-type":"item","numeric-id":1150586,"id":"Q1150586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$ABAA0783-061E-4470-A1F7-592C333CBC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$D6594267-4D71-4F1C-BB43-A46362A2FB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd1fb960721d6bc7a2661cbb617c09c85b5a6f92","datavalue":{"value":{"entity-type":"item","numeric-id":4152523,"id":"Q4152523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$8A561375-E407-433E-A5F0-9A9B7B506FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a95e4a65eebae9fdb1d0d250db7fa0cc842a976","datavalue":{"value":{"entity-type":"item","numeric-id":5569455,"id":"Q5569455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$2A1C2670-D2C9-46AF-9117-D10A34F3B7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422e983d36cfecec9b58e1c37d6c18b89433801d","datavalue":{"value":{"entity-type":"item","numeric-id":1119576,"id":"Q1119576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$DAE640FC-0654-49E1-A327-CCE0DBC99EBD","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":"Q1295443$52009348-B818-49F0-9775-95F227083156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b880d3c8511f1d53c27d1537b521daf74193b4","datavalue":{"value":{"entity-type":"item","numeric-id":1102280,"id":"Q1102280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$0D2E2370-0E79-4A88-9D9F-25F116CE6428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5801c46b2339572cf7674604f5b4d59ad8a74516","datavalue":{"value":{"entity-type":"item","numeric-id":3964563,"id":"Q3964563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$8D7E9E12-120C-4CE0-A364-F7E253A301D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e06aeba11d82d31d0908c53f7f9cab266ef5901c","datavalue":{"value":{"entity-type":"item","numeric-id":1168322,"id":"Q1168322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$7654C231-1B9E-4D9D-8D93-ACD591B1C5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3330fa5c6279898dcc093948722963f954b2b34f","datavalue":{"value":{"entity-type":"item","numeric-id":4726219,"id":"Q4726219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$0CDC6549-8B0B-4C0D-B545-AC11F5AD63E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9685bc24e8868389f51f3f76a5f449f5b6d1410d","datavalue":{"value":{"entity-type":"item","numeric-id":5628106,"id":"Q5628106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$152486A4-3FA4-4C32-AF2A-65F04CC43E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f84ad1f60a1f20714136e8ae5050c52673864db","datavalue":{"value":{"entity-type":"item","numeric-id":3778747,"id":"Q3778747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$68FCDBA7-EEC8-4BBA-9229-A47730E92913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1e98c3c66c1617e8a9b49904171e2cc64d3d184","datavalue":{"value":{"entity-type":"item","numeric-id":2276941,"id":"Q2276941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$C6BEFFFF-4050-4D22-B425-9713A3296942","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":"Q1295443$E51800DB-AE0A-49B4-BD61-11A82D8ACD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f70c7f0070211df81086d4c25b73a9ca61d45c1","datavalue":{"value":{"entity-type":"item","numeric-id":5686023,"id":"Q5686023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$47E85983-8882-4FB9-B320-C9F4174043AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbe5f4cde658e0562132d9b2eaacad8acd88115c","datavalue":{"value":{"entity-type":"item","numeric-id":3720554,"id":"Q3720554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$98B3AF64-0D81-4721-A6E1-9AA6A51606A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c91a2d52fb100925548482e5c1cd7bcae9e61d","datavalue":{"value":{"entity-type":"item","numeric-id":3689182,"id":"Q3689182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$E5EBAC92-BB33-4416-9542-7CF39178AA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44aee1480eaeaf320249e8820f548f5b25dd3cfe","datavalue":{"value":{"entity-type":"item","numeric-id":3686709,"id":"Q3686709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$2593D0E1-CDCA-43E2-9144-BE7F6BB3589D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1b4998bdaf1a6b4855ad6d2b807b069f618a518","datavalue":{"value":{"entity-type":"item","numeric-id":4041554,"id":"Q4041554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$3EA602D1-05C8-454D-A8B1-0FB78FAF0E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$BD7B79FC-7015-43FF-8718-2D6D45E9F71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dd20d30c3c1e5e0411ac04898dd85db19d616b8","datavalue":{"value":{"entity-type":"item","numeric-id":3900044,"id":"Q3900044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$7C7859A3-2242-4828-89A4-DAFFAA72B926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2b2fb5e74b72a9a204e563622b55fb87a335a4b","datavalue":{"value":{"entity-type":"item","numeric-id":4694581,"id":"Q4694581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$262EECA5-BFC6-45F7-863C-8FC245DE8C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"303aff42bba7cac20f2c31129d466b8c70f1731e","datavalue":{"value":{"entity-type":"item","numeric-id":3276696,"id":"Q3276696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$40DA408A-9672-4F34-9F7D-30AC1538C116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d036cf14ecd1c21ee7bc33fb4e75ac50e627457e","datavalue":{"value":{"entity-type":"item","numeric-id":3941393,"id":"Q3941393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$32A68E33-5EAE-4F38-B613-20DFCD75EFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d93c0216bb7a2404c766e146541a6f49efebe1b2","datavalue":{"value":{"entity-type":"item","numeric-id":1104318,"id":"Q1104318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$C3BB82C3-FFE4-4774-BE42-00E6C5E0334F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cce85947fd71c4f5850f59f036a4dd761cfae66","datavalue":{"value":{"entity-type":"item","numeric-id":4154070,"id":"Q4154070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$E8CFB1C7-C12F-485B-830C-0E6E27B3F665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a2399188c750480c0e663609ad6f6c29f4a276a","datavalue":{"value":{"entity-type":"item","numeric-id":5590784,"id":"Q5590784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$16132680-8469-4DFA-B42F-98B849AACA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07ca4424921537f8b64e05744c2b14d18371cd75","datavalue":{"value":{"entity-type":"item","numeric-id":1251655,"id":"Q1251655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$ED8252AF-428E-4616-868F-8706EA76D2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2392e74c2f853e714af4751f3bd2e2895db1e3e","datavalue":{"value":{"entity-type":"item","numeric-id":1259591,"id":"Q1259591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295443$E5EC7607-9634-4B34-B9B3-055042BD027A","rank":"normal"}],"P1643":[{"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":"b58f80cfec0a6499fd6891bd39eda879ae574e03","datavalue":{"value":{"amount":"+0.93838185","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":"Q1295443$0324ADCD-C640-4332-863B-103F178CD65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be5c7143fd76035df03c675909169cd62c1db7d0","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee9de301da76896c323e6ffc1148e50904343a82","datavalue":{"value":{"amount":"+0.92882407","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":"Q1295443$42B66251-D63D-4907-ACC9-6C66D6943FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"887e6fdab9e089d6370bae9405de12b07e234619","datavalue":{"value":{"entity-type":"item","numeric-id":4266170,"id":"Q4266170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ee27bd0b00fe173ec2843f64c1edb1ae02f3f79","datavalue":{"value":{"amount":"+0.92635715","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":"Q1295443$DADA2EE9-A018-4DA7-B502-E85774160867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aad5a2da2592ee962691785dae83be1d3fe8744","datavalue":{"value":{"entity-type":"item","numeric-id":3087409,"id":"Q3087409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ac247681143a81062d0cb9bec3a3e3d745fc7a0","datavalue":{"value":{"amount":"+0.92040175","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":"Q1295443$5EBA3A27-4AE4-48AA-A997-1D9E5E85910F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84fa0cd0d6f4713a8ae4e36f878afbad8fc5cab7","datavalue":{"value":{"entity-type":"item","numeric-id":3018648,"id":"Q3018648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79fb0249c22c078b94bd0ea6d1b3fa1f2941c19f","datavalue":{"value":{"amount":"+0.9133326","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":"Q1295443$641E7924-5AFA-41BE-8B52-443BE5D6D5D0","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":"00cc52fdc688f519bf2fc3f7fe830886a1a2eaeb","datavalue":{"value":{"amount":"+0.906196","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":"Q1295443$D9096F5E-242B-4049-B449-03392DC20EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95954fe8eb47a1c76fbcb1f9db280d14948db56d","datavalue":{"value":{"entity-type":"item","numeric-id":2753676,"id":"Q2753676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7f02d7e52a533506e162bfec35ca62060c1c55a","datavalue":{"value":{"amount":"+0.90392315","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":"Q1295443$7ED65EBD-6D66-4C99-A589-05AC7490744E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4260febc0cbec0e19233f3e3b04044e7c04c5713","datavalue":{"value":{"entity-type":"item","numeric-id":685071,"id":"Q685071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8814aeb9d8347048ab3839480376efa84645e3c","datavalue":{"value":{"amount":"+0.9028983","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":"Q1295443$C219001E-78AD-4685-9DAD-0EE7D992BC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aed8b15f4505adb9e56c6f28a3793f6caf96ffd","datavalue":{"value":{"entity-type":"item","numeric-id":4850554,"id":"Q4850554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a13f1b9815f8587635b40f328a241e9396843bc","datavalue":{"value":{"amount":"+0.9014485","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":"Q1295443$290EEAEE-95F0-4F24-9D60-FEC59C065F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c49ad2b8116e6902ded335362a6bf17f00df7eed","datavalue":{"value":{"entity-type":"item","numeric-id":5502825,"id":"Q5502825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5c19e6164687fdbd3da23f7745b1676ec18814d","datavalue":{"value":{"amount":"+0.899938","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":"Q1295443$182D496F-2F85-4617-8A04-0162FD63CE13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bounded arithmetic, proof complexity and two papers of Parikh","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bounded_arithmetic,_proof_complexity_and_two_papers_of_Parikh"}}}}}