{"entities":{"Q639680":{"pageid":641528,"ns":120,"title":"Item:Q639680","lastrevid":63212046,"modified":"2026-04-11T11:21:34Z","type":"item","id":"Q639680","labels":{"en":{"language":"en","value":"Quick cut-elimination for strictly positive cuts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5949195"}},"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":"Q639680$C0BCF84E-0BA5-43E1-B2C1-94202D4B98B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8dae5291e7ec1f6af84c85ac210125a35dceaf2b","datavalue":{"value":{"text":"Quick cut-elimination for strictly positive cuts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q639680$33E74D4B-2C7E-4D0F-937C-161E5D9F6F17","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a67d86e920041118ab887707704ab3d0e802967","datavalue":{"value":"1273.03158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q639680$F9299571-CCB9-4B84-B70A-345AF3F16439","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98156e494398a35b2d843b98a737abd4eb3af2cb","datavalue":{"value":{"entity-type":"item","numeric-id":494641,"id":"Q494641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639680$930CFAEB-7349-4D5B-83A5-A33959F10F44","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":"Q639680$D91F6B19-C43A-41A0-B785-A0552B7649CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e0f911d6f8277fb245d8e09b637e9a88b18bd10","datavalue":{"value":{"time":"+2011-09-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":"Q639680$3E961AF9-1A32-4392-986E-0AE66486D94A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11453ac6d8f4803cc208512d068097a4adff600d","datavalue":{"value":"https://arxiv.org/abs/1010.4111","type":"string"},"datatype":"url"},"type":"statement","id":"Q639680$F6189AD2-1F5B-4C56-BE2E-4C4272E85923","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q639680$CEE84D87-EDEF-4836-A27A-E027AE3C0B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q639680$A9244816-2E52-4C8B-B62E-59E621206685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q639680$C34721BD-F6E1-4D2E-8076-2512238E91CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q639680$17D68B03-45FC-41D5-81AA-3D49CC922587","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc11a3675542c5805dcecb0540647b831ef80ddc","datavalue":{"value":"5949195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q639680$08E3A319-7F36-48DC-A7ED-213B386D0C3B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"463a01aa031dd50056e6ba53d5234f3360df238a","datavalue":{"value":"intuitionistic fixed point theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q639680$2A42E325-06A6-46DF-88B7-B9DB3CEC0434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77ee559cc0ee7852146282d84a5f2d80e1e25da9","datavalue":{"value":"quick cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q639680$EB27A17A-08E1-4B3E-9F20-D5D182912F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"718376b40c9925dacb068a61bee17e43e26f74cc","datavalue":{"value":"conservative extension of Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q639680$AFA90C08-9AFE-4D54-B79C-A3005CDC78A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a32b00666cf82b72ccc073c9e7eba73c140fe837","datavalue":{"value":"fragments of Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q639680$4193BC49-3451-43B8-A64F-582D96DB1F7B","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":"Q639680$401DF0C5-3B53-4F9B-96D6-07F30E583283","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"40c5dd1718c0659ffac6f0b89dc889865be2110b","datavalue":{"value":"W1963953353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q639680$F79D5F56-BAFB-4E8A-A5B8-33EFD89336AF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b220dbc781dafa493813c640157524f7a834d9a0","datavalue":{"value":{"entity-type":"item","numeric-id":1295413,"id":"Q1295413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639680$74850051-A303-4B39-A8C0-CF112A791D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f7c1db0bf1ca4a0731d121b0846113ea6f3688","datavalue":{"value":{"entity-type":"item","numeric-id":3001089,"id":"Q3001089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639680$F73D6F85-DD2F-4471-82BF-787A298479CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3d38ff805070eaa2bdff1d23b3dcb4e045ff942","datavalue":{"value":{"entity-type":"item","numeric-id":1386672,"id":"Q1386672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639680$47705ED0-AC4C-4403-85C0-AACE85ECCE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"861675e070d01c6709765fae78f1b2b9e9a93b52","datavalue":{"value":{"entity-type":"item","numeric-id":4527922,"id":"Q4527922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639680$C5E3DA49-C34F-410E-B03B-98D5F530C1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d11ad722a58de019ca546cb797582b6f9c7fc3f","datavalue":{"value":{"entity-type":"item","numeric-id":4177565,"id":"Q4177565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639680$DE63DF96-8C08-4F0B-9C0A-D6C0179D7725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66d29debe5c254306cc83be43f6ee34bab06ffc","datavalue":{"value":{"entity-type":"item","numeric-id":4453638,"id":"Q4453638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639680$90815C02-C34F-4673-B05A-EDBAB0E05885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e4c5f704c6c0a6676d2dceb125e1ec632ee1632","datavalue":{"value":{"entity-type":"item","numeric-id":4531084,"id":"Q4531084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639680$AE814ED7-4A3C-4183-ADB0-01F602229416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7f2ccab9193bb053da1a9b2571d3b5f979d9014","datavalue":{"value":{"entity-type":"item","numeric-id":1920237,"id":"Q1920237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639680$084685D4-B6F7-4F64-BD29-CDB3A053C50B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1c11826fb3971c074b9c47358e5f1b88346a242","datavalue":{"value":"10.1016/J.APAL.2011.03.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q639680$BDA35244-253C-4EE1-8699-0173E898E73F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2084a8a0d75b26338494731d01c0a4f6e6032cc5","datavalue":{"value":{"entity-type":"item","numeric-id":4531084,"id":"Q4531084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d70e33486720f928cc4cf22558e70a370bf73d7b","datavalue":{"value":{"amount":"+0.7819966673851013","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":"Q639680$E95BBCD1-0F30-48D4-A3F5-728B63823A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ffab1ec510f63ff1e2a9542c3c3be4322ba4905","datavalue":{"value":{"entity-type":"item","numeric-id":5704011,"id":"Q5704011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28f08cbc96a02124dbb01ca234cc9e3bd13809ca","datavalue":{"value":{"amount":"+0.781996488571167","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":"Q639680$6599AA5D-5E84-43B3-BE38-14963A7FB8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e98bbb3dad928742dd57875b572b75acfc21d4a","datavalue":{"value":{"entity-type":"item","numeric-id":1386672,"id":"Q1386672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d61e17073547ef8d97454a2228aa4b17b9f363b","datavalue":{"value":{"amount":"+0.7732897996902466","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":"Q639680$30C47AF1-B38D-41A3-87EF-FDD9FB698D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5348fd3a938d5230839eb117c44ee2d9567e74e9","datavalue":{"value":{"entity-type":"item","numeric-id":3478407,"id":"Q3478407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ed20c58c241c90157d172da3e2e874f97b1464f","datavalue":{"value":{"amount":"+0.7694846987724304","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":"Q639680$4D86413B-BA05-4E7F-825D-1F95C1ADB82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5c03adfd0d13ffb9cca204894d0f8ede1fe92d2","datavalue":{"value":{"entity-type":"item","numeric-id":3086776,"id":"Q3086776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab4e2a906204aeb87213dff486524893ec2a8fa4","datavalue":{"value":{"amount":"+0.7283610701560974","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":"Q639680$51E1D3E8-23FE-43B9-869B-B6B774A594D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quick cut-elimination for strictly positive cuts","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quick_cut-elimination_for_strictly_positive_cuts"}}}}}