{"entities":{"Q3222838":{"pageid":3233546,"ns":120,"title":"Item:Q3222838","lastrevid":86996276,"modified":"2026-06-04T10:25:05Z","type":"item","id":"Q3222838","labels":{"en":{"language":"en","value":"Functorial bounds for cut elimination inL \u03b2\u03c9 . I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3889521"}},"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":"Q3222838$01D9A506-ED42-4034-A7CB-0E080250D439","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab8bb44e2723fabaeec024839f059173ca2efffc","datavalue":{"value":{"text":"Functorial bounds for cut elimination inL \u03b2\u03c9 . I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3222838$7A2047DA-6A6A-4B60-A262-52C903F0E432","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04e6c99f095126400070a5c611a9d41dd6b763ea","datavalue":{"value":"0558.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3222838$4891B85F-1874-4564-A1EB-D8F1D8A83E97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ebff80dbf477cd3009357b5dc5cd32023ddc2688","datavalue":{"value":"10.1007/BF02007146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3222838$ECCE5265-2F51-4CD7-9633-74417F21A083","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87411d9136749e2dce6c0228902c967de9a90b3a","datavalue":{"value":{"entity-type":"item","numeric-id":3222837,"id":"Q3222837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3222838$5B57CB9E-4EA9-4E86-93A5-FED8A57CF227","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7d35598f1714d10c3581343f7ef77742ea3131a","datavalue":{"value":{"entity-type":"item","numeric-id":3043132,"id":"Q3043132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3222838$27F0E68F-AD55-41F1-A5FC-CF46565B4C5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3222838$BE58A6F3-DD18-4093-9DDE-C0BDD22C7402","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92f6c7e3df3b6d83f12bcc3b268450ace68d8381","datavalue":{"value":"https://eudml.org/doc/138028","type":"string"},"datatype":"url"},"type":"statement","id":"Q3222838$021798AD-5D66-467D-8966-AE2687DE5A6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3222838$8CC0ED6F-FDE1-4F41-A93B-C5989245E1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3222838$A071F6F0-ABD6-40ED-A67E-ABA8F6F14D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3222838$BC363B6B-A5C9-4804-8BB7-B2A263897EEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf850252c27894e396fa2f46022b534b9b4f07f1","datavalue":{"value":"3889521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3222838$B8745431-109E-4BEE-81D3-4CD717FE75CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3d23b310fa4d19e0424558e3206a665dde44209","datavalue":{"value":"functorial bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q3222838$87A1DE89-C454-417F-ACCE-03ABFEA53A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5a8d783ba0b42e07ad12c6c5525ee2a387affbe","datavalue":{"value":"ordinal bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q3222838$6401CED3-2726-480A-BECD-537550C20FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b73905e1af1cbdf79f0f638e509c36cc863f5e6","datavalue":{"value":"functorial logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3222838$1771212A-6550-48C8-A6E3-BB50AC5512BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c449fa5a8f7fa72204336d022e7eed73e45698b","datavalue":{"value":"logic with infinite conjunctions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3222838$918B1CB2-4E82-4296-A215-612D84C54211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3cea48a340c48d614d9f039b4df39cb8332dbe9","datavalue":{"value":"infinitary rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3222838$147C1F4C-EA61-4164-A475-45CB93CF9A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d92831a4c6922633e784de16e0f1252bdcf074fc","datavalue":{"value":"majorization trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3222838$00D14F04-2902-463E-97D8-BC7A57BE5D75","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":"Q3222838$4660BB2C-5C4A-46AA-A499-0C960CB7DA3A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55f89dd25add03622eec747c26963c43c5d21a6","datavalue":{"value":{"entity-type":"item","numeric-id":1063591,"id":"Q1063591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3222838$788C7051-AD6B-4AC6-9978-5108B2542155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b17989129559e41cfb06edc0b79311d4fa6022df","datavalue":{"value":{"entity-type":"item","numeric-id":3960844,"id":"Q3960844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3222838$A005D02A-BC3D-4F54-97C4-D58693CB3B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"241b192b59afef255b1d3b82606e86f5c662465c","datavalue":{"value":{"entity-type":"item","numeric-id":3684117,"id":"Q3684117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3222838$89104FA2-BE78-4689-AB07-1127FF92947B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e92cf8d56bb4e648d1a4408b5aa80bce108113ae","datavalue":{"value":"W4255129992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3222838$449100D5-2240-4D5A-A93C-7CAFF4DD34E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbe7d33e139788e1d8df464650a107ec0585e45c","datavalue":{"value":{"entity-type":"item","numeric-id":3710524,"id":"Q3710524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6755bde03b42e9b194a58560469eb3137a70e403","datavalue":{"value":{"amount":"+0.8357128500938416","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":"Q3222838$AA0C11A1-F778-4D43-B87D-3541FB79D396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11405d699732eb52e458d5eb811247f8d048ae7b","datavalue":{"value":{"entity-type":"item","numeric-id":1114684,"id":"Q1114684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1baab48d6b5e7489262b317a17f1da58640178c2","datavalue":{"value":{"amount":"+0.7299165725708008","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":"Q3222838$2263DB6A-0688-4DCE-B299-E38C3C38D9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4174c62b7c21511ab671733659148743a7870e3","datavalue":{"value":{"entity-type":"item","numeric-id":5187274,"id":"Q5187274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"770fe2d4967579180f80edfd037b841818fad0c0","datavalue":{"value":{"amount":"+0.718978762626648","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":"Q3222838$C0C6A0D4-E2C0-4DDA-81D6-A86F621C0AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a275a3ef2b207469a2d15d34b603cdd3bad6ef59","datavalue":{"value":{"entity-type":"item","numeric-id":2367410,"id":"Q2367410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"500187cdd682ebfe7dca1359e75a2b607280afd0","datavalue":{"value":{"amount":"+0.7167409062385559","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":"Q3222838$34CF2DB1-2583-4ACD-9035-B04B6D44C546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e54c2e9629b55d20ea7038340a55adaa2a97aba","datavalue":{"value":{"entity-type":"item","numeric-id":5452195,"id":"Q5452195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc03921625c60413095819ff6b105292f50bf518","datavalue":{"value":{"amount":"+0.716206967830658","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":"Q3222838$5401D4B4-8778-4FDF-857D-915AAB047C43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Functorial bounds for cut elimination inL \u03b2\u03c9 . I","badges":[]}}}}}