{"entities":{"Q4032866":{"pageid":6062600,"ns":120,"title":"Item:Q4032866","lastrevid":55230583,"modified":"2026-02-05T02:33:19Z","type":"item","id":"Q4032866","labels":{"en":{"language":"en","value":"Polynomially and superexponentially shorter proofs in fragments of arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 150233"}},"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":"Q4032866$983F1A3E-2678-4870-AF05-20205EF90EA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c2eca41812c5cc47484a3bc8d0ed658ad49a8e7","datavalue":{"value":{"text":"Polynomially and superexponentially shorter proofs in fragments of arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4032866$B91962B0-F745-4BCC-9368-C5E83C6EED1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a3881959f5354759de4087107e87424956fc36c","datavalue":{"value":"0765.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032866$18DAD96A-5158-4B3E-92D8-A65C3C0FACB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c61a55ad16e151cd5b494502776e8d14212111ab","datavalue":{"value":"10.2307/2275435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032866$8BA7E2FD-AE88-4449-AA43-136964220A5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b479ab481d7ee1dcf779ab78c0b800106fa990","datavalue":{"value":{"entity-type":"item","numeric-id":167897,"id":"Q167897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032866$5C25D5A6-F0C4-4A68-A751-249C2B2CF37B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032866$B134E7A9-0594-40A4-9C41-550B20FF5647","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8604b2a4c08e4f5e10819826d060da1f7baa01ac","datavalue":{"value":{"time":"+1993-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4032866$48545DCF-0C56-4E47-AEF4-18A80C6D63AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032866$8FFA9A83-4DFB-487B-BA1B-F32B7A939460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032866$D669B8BC-C17F-4F2B-AA50-4316AED0F17D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032866$9E4F82A3-01EE-4C9E-88B6-6BF494DCA493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032866$99C5B22C-9D72-4540-8FBE-253526D23185","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6986ff668171a91158704fd625f69e2ca7c3aa42","datavalue":{"value":"150233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032866$63CBB451-74D0-44EF-A36B-D809C9A7FC3F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffaed6865f4000c155846fc8b019ac65a2774ccd","datavalue":{"value":"fragments of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032866$B055CE96-354F-408A-A71E-1CAC62858593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032866$0F0EE48B-0A03-43E8-BFA0-19FEC8109A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7849cf4967868e1682e85fd08af647be01332b1a","datavalue":{"value":"speed-up","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032866$CF226F60-1A1E-4468-9188-73186023804C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032866$92F00BDF-F1A7-4218-A364-C406EEC77E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be402c81f454fee58996997920b03b64b0bbe54e","datavalue":{"value":"lengths of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032866$7E81244F-06D6-4015-BBE5-F333D62435F5","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":"Q4032866$935ED116-EFF9-449F-AE93-6DF8CAAA225B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a27deeaf0ce1ee631090711da50cba5426af61b","datavalue":{"value":"https://doi.org/10.2307/2275435","type":"string"},"datatype":"url"},"type":"statement","id":"Q4032866$6DD5FD7B-6181-4C0A-983C-28481B18D4A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a748f2f4e22d968ba94e07074e90bed70ef4dd1c","datavalue":{"value":"W2039356064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032866$0554C51C-16A0-4DC1-AAE2-D6DE7B33930D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b767d85950bf99e8910526fcfcbcb504d6a930ba","datavalue":{"value":{"entity-type":"item","numeric-id":1056745,"id":"Q1056745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032866$EADF0504-3D64-4568-B7F9-0B13E233A35A","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":"Q4032866$7DE78CCD-F280-4020-985A-A998DC74E6EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7690d6e129422393921d20335378cb27d2f76350","datavalue":{"value":{"entity-type":"item","numeric-id":2650013,"id":"Q2650013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032866$ED03CA53-67E7-4060-868C-E696C561AEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c269d09afd246ea18f79e934a48e62802b0fc94","datavalue":{"value":{"entity-type":"item","numeric-id":3861389,"id":"Q3861389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032866$D41F9CB2-CF7B-4E62-B33E-AC2D46BDA717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b502f8896845cfc7c33ed733b8893381c7e34822","datavalue":{"value":{"entity-type":"item","numeric-id":2269508,"id":"Q2269508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032866$73D9F9C4-3795-4D26-876C-2275D77EE5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0dfed3378467683279314b4eedbb8ef93b3e086","datavalue":{"value":{"entity-type":"item","numeric-id":4206724,"id":"Q4206724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032866$6129042F-67FB-452A-82C5-CEC095321948","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":"Q4032866$2DF56D50-45AA-479E-9F9E-FE3D263A5E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032866$D3E4901B-9881-4E3B-A7DB-409CF18B0409","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":"Q4032866$3C6694CB-F514-4E88-A3CD-8787DCD96E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032866$D14EC655-86A4-4763-A99F-88CE28055105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"711f4d18a42eba165ead1afce88a2ef93d4bf695","datavalue":{"value":{"entity-type":"item","numeric-id":4343989,"id":"Q4343989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032866$0FBFC682-6AD1-4734-B295-95A37FFD030C","rank":"normal"}],"P1643":[{"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":"1f688c1a28bccffe6410c1680658b976df314de3","datavalue":{"value":{"amount":"+0.9102959","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":"Q4032866$4CFF04AD-86C5-40B1-BE41-F5C4D861235C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d21a2f09563d0ebe119eceeef4e8131d64b756d","datavalue":{"value":{"entity-type":"item","numeric-id":3760514,"id":"Q3760514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2470eed15547adcb7351480fd47967cb718f5bce","datavalue":{"value":{"amount":"+0.8775176","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":"Q4032866$C9684424-9DA1-4FE9-B251-EBDDD70B1B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03e278b1086f3cafe602a300515ccee282e1293e","datavalue":{"value":{"entity-type":"item","numeric-id":814932,"id":"Q814932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb8af720e80fa579b8633b1a88550edd6f36b9ab","datavalue":{"value":{"amount":"+0.8736881","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":"Q4032866$7224D832-4DFB-4884-937F-C664879B163A","rank":"normal"},{"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":"fa4f3e5e51d5be24461c6d9bd0495b24f80331a7","datavalue":{"value":{"amount":"+0.8700881","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":"Q4032866$60E007E3-EF34-48E2-B234-9CCC1BF49DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dee051b13eaea8d212c4def6593b2cc68eae8d56","datavalue":{"value":{"entity-type":"item","numeric-id":3159403,"id":"Q3159403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cdee101695019d4d7a9bfa9743eade9fb1e03aa","datavalue":{"value":{"amount":"+0.86958253","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":"Q4032866$68EDD5FB-6487-403E-BC59-F1F5EDFAB0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a775e0203569394d4b7419401e6cb49fc494d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4699287,"id":"Q4699287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"220bd291fbca8e4740d33fa67801af7187a12c88","datavalue":{"value":{"amount":"+0.8658932","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":"Q4032866$C27CFC1D-4D5F-40A5-B64A-36FBA4841102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3dfa237c184ea0624768b835a2bb77d1db5f460","datavalue":{"value":{"entity-type":"item","numeric-id":4864743,"id":"Q4864743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d17ddc46eb4a7f8899faa8b46ea6e0fdfc7772e3","datavalue":{"value":{"amount":"+0.86294657","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":"Q4032866$3935D0FA-E10F-4ACB-A76D-C2F2A9EF1876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70df46afb8a383ec8cd666a6009d0208617a3549","datavalue":{"value":{"entity-type":"item","numeric-id":2939032,"id":"Q2939032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43342edf9c535c5c1999427d0db536492db8bb8b","datavalue":{"value":{"amount":"+0.8628246","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":"Q4032866$469A8F75-4A12-43B1-85DB-44CD5239928B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aaabe75ac40230053c43c100bda99f2a88fd5ea","datavalue":{"value":{"entity-type":"item","numeric-id":1813835,"id":"Q1813835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9724ef7e039bc08aeb7fe3ba78a859afa68ac29","datavalue":{"value":{"amount":"+0.8618345","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":"Q4032866$B988B15D-106E-4850-B399-477AC9116342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a0eaf11882c1d4ea2b0935008e3ad64f6d80d0e","datavalue":{"value":{"entity-type":"item","numeric-id":2303601,"id":"Q2303601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acd03e4bf063901dc77a84ebf6cf2987ea7bce36","datavalue":{"value":{"amount":"+0.8604504","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":"Q4032866$B175C928-7B8A-4972-AC62-B8C4334053D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4032866","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4032866"}}}}}