{"entities":{"Q636310":{"pageid":638158,"ns":120,"title":"Item:Q636310","lastrevid":51322355,"modified":"2026-01-17T18:24:59Z","type":"item","id":"Q636310","labels":{"en":{"language":"en","value":"On the computational complexity of cut-reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5943615"}},"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":"Q636310$04C7B763-4A28-443C-A06C-542D70ED3E8B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8cebddc59d6d5b42c5d6fc23548ca7858b4862d9","datavalue":{"value":{"text":"On the computational complexity of cut-reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q636310$EAF6FC4E-FFF2-4371-9EE8-0ED88A8532E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62468f15cef0b2726358a7c36b4959d8659086dc","datavalue":{"value":"1223.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636310$AD8A868F-57AF-48C0-9134-822FBBE29A4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fb8c6d7991f5202e4a9f96d80547d6992e4ea57","datavalue":{"value":{"entity-type":"item","numeric-id":636309,"id":"Q636309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636310$DE059C7A-9424-4492-88A4-C449330B948E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cf66c04a9a25ec4ef5bf8b679fd619f391e2bb2","datavalue":{"value":{"entity-type":"item","numeric-id":598284,"id":"Q598284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636310$7A99EFEE-2904-42D2-84DF-2E2F0ADE6F4B","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":"Q636310$557BCC9B-7324-4B1E-82A7-967DC866695A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8f347fb3b92d10259e32e7ae3b68d43ebb98729","datavalue":{"value":{"time":"+2011-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q636310$7F6AF6A1-8916-4F82-BB96-090B28CA1B81","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636310$9A8FE034-2698-474D-B5E0-2A4323522CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636310$B96650E0-0D12-4413-857E-D90259F206C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636310$1243A8F1-BFE0-4C5B-8C73-49113C5B318F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b16d2f1acc80c49ae3f65b74bf0ba09819f21578","datavalue":{"value":"5943615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636310$2CF07941-8CC3-4CF2-B9AE-AC8BA4B322C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q636310$4B96CD75-B830-4230-9FE9-C142122BEE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90f741c3fde794dd728426723cc0fffb883a118d","datavalue":{"value":"notation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q636310$73AEB037-6644-4A46-99CD-75D2DEB160A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q636310$ED9CA5EA-B205-409B-896D-13C701D60EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e35afb24aaae354b38e675b5c9e498530dbc66b1","datavalue":{"value":"definable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q636310$96CA457C-31DD-485A-9804-3BBC24937E55","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":"Q636310$A09571F5-EA30-40A5-A78E-8E0248F404B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8fcebd6458d4510eb2d78f78fc39fdb2b0f584b","datavalue":{"value":"https://doi.org/10.1016/j.apal.2009.06.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q636310$1E8897C9-E329-4E3C-B0D4-823F2640AED7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7abbaaaefc4475ef8551d44ff9f5da36929e367","datavalue":{"value":"W2046382802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636310$69B25841-287E-44F3-BFB5-FDFDF80C44E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5056e00005ff308b77c3c9eb2a657fb2c809573","datavalue":{"value":{"entity-type":"item","numeric-id":1772771,"id":"Q1772771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636310$B6025C12-82A9-4ABA-A208-43ACE14CB52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12205ba67e6abe150ac8ed6b6a33a4b61aa8ac30","datavalue":{"value":{"entity-type":"item","numeric-id":5738960,"id":"Q5738960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636310$C0A76D91-E544-4B0C-82E0-C0808AAF17B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"367db641df6040a1f12d84299126da223d00ffc4","datavalue":{"value":{"entity-type":"item","numeric-id":2758058,"id":"Q2758058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636310$BE7B8B92-4B87-46DE-858D-3DA1D3AFBFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a255cb2d6e70e65914082dfc6eadf76dd76556d6","datavalue":{"value":{"entity-type":"item","numeric-id":1407595,"id":"Q1407595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636310$490936B4-F341-47D6-AE99-0F9380FF8809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f7f2d5428d93a7575c4635e3075d2a12bca4317","datavalue":{"value":{"entity-type":"item","numeric-id":5494228,"id":"Q5494228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636310$128E4636-EB2E-49B9-B520-9C9A7FE00910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5f5fbbc92e48b0fa7019594a4c948774bfa54ea","datavalue":{"value":{"entity-type":"item","numeric-id":4308607,"id":"Q4308607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636310$ACE5AF6C-71FB-450D-8AC3-C2E19AF5CD51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc23233d37a7b707fdf4001c24c05adf785fcdc7","datavalue":{"value":{"entity-type":"item","numeric-id":2277451,"id":"Q2277451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636310$37D0E10B-49F4-4360-97A6-11CC8E09DCE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2973547328e6dae9da9b71e994c43f18327ab1f0","datavalue":{"value":{"entity-type":"item","numeric-id":4364500,"id":"Q4364500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636310$0C62BA08-F0E3-47BA-B03E-125642794F60","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":"Q636310$F051C239-57F5-495E-85FE-E7517271ACC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599b25e346060e61f108a0c2bd3a68fa07b9cba1","datavalue":{"value":{"entity-type":"item","numeric-id":5465358,"id":"Q5465358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636310$E498C0E8-C198-44B8-AE4C-3641FEF487EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636310$1D7C02F5-9EA5-43C2-AFF3-BCD8FD8C4F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636310$765D4A2A-57A4-4033-81EC-C4654FA63B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636310$E17E270F-4B35-4D15-9DB8-780314E774C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"302adbaf2b8357f20069be2a0dab5e3eb2168585","datavalue":{"value":{"entity-type":"item","numeric-id":1109573,"id":"Q1109573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636310$427C75DC-6AD8-4B7E-9EEA-2F0FE5091BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fc20c39e0b33b874af0982ebf6bc1d64db55ff3","datavalue":{"value":{"entity-type":"item","numeric-id":4079564,"id":"Q4079564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636310$01803CD4-D0F7-4436-80D9-F870ABFCAD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7193bf226c837bc3c141fd64fb71109ac76581c8","datavalue":{"value":{"entity-type":"item","numeric-id":3137488,"id":"Q3137488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636310$22A28285-328B-441D-9415-9C44B62E39F9","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":"Q636310$4AC1242F-9A17-423C-8E48-97C7542EE0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e8f21ae813780ffb1b14b622d2c99e2bf7de1d2","datavalue":{"value":{"entity-type":"item","numeric-id":1254248,"id":"Q1254248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636310$C1BB98EF-D8D7-4A82-9100-A6CA127AFBFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"055742d10f105b1812e0f5afc9cc4e1b47ddcc2c","datavalue":{"value":{"entity-type":"item","numeric-id":1125060,"id":"Q1125060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636310$8C5E58A0-EEB7-46B8-92C9-00F9D8D1FDC2","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":"Q636310$CE6609F0-7136-4117-B29A-E6572B735C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b34a3bbe6833c1249dbe3ebbfcdb81d97201d76","datavalue":{"value":{"entity-type":"item","numeric-id":2649136,"id":"Q2649136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636310$341ACE98-4440-4AF2-97F8-1FE5053BF87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be85b3951fe2b4ee7f07bf10003c515b5749abc6","datavalue":{"value":{"entity-type":"item","numeric-id":5605873,"id":"Q5605873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636310$BF344DAE-E926-4F2E-99C0-8FAEA105F996","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0103a6f7ce6f528c9381e590499b3673c0b4e90b","datavalue":{"value":"10.1016/J.APAL.2009.06.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636310$C57B412E-2A59-42B3-83CD-2B6821AD8CBA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15f014694f6b46e92fa4ebb6a1f68784e638b36d","datavalue":{"value":{"entity-type":"item","numeric-id":1762353,"id":"Q1762353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a3cd28c8141847702c9b331358abb89af63d3c9","datavalue":{"value":{"amount":"+0.756438136100769","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636310$A0DE0B2F-5CB6-4447-BECA-F95B03098E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"296db2e9045abbdae4723510f4b0fb9ac88887f4","datavalue":{"value":{"entity-type":"item","numeric-id":2892684,"id":"Q2892684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5170f413db12a78a0c3008dba35a632251b10968","datavalue":{"value":{"amount":"+0.7527369260787964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636310$062449C7-3FC9-4A36-9E37-14490D38A2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"153e0765330f967caeb0da01859a85699e3b5e2f","datavalue":{"value":{"entity-type":"item","numeric-id":5696301,"id":"Q5696301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3df5d1eb17599b0c668ab4ee0207537e5dc40958","datavalue":{"value":{"amount":"+0.7372590899467468","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636310$F37BBF36-6EB0-4AD0-97AB-A4C183E4687B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"683d8ea6562b7a7c1b67c292a24a1e238af2b304","datavalue":{"value":{"entity-type":"item","numeric-id":1302302,"id":"Q1302302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"786575871b7fa0f7c5cde36ab3051f17a4b2b63b","datavalue":{"value":{"amount":"+0.7370970249176025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636310$C5461694-2514-4359-BA16-DF412647693D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f90840e234ca4509cc4b6a577a5d2a87239e6d9b","datavalue":{"value":{"entity-type":"item","numeric-id":4372917,"id":"Q4372917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd85b0e9ffab1b51bfb54f215fd414d4d70a9989","datavalue":{"value":{"amount":"+0.7359799146652222","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q636310$61F00247-5075-44C0-8B08-53467865E55D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:636310","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:636310"}}}}}