{"entities":{"Q5897348":{"pageid":7938269,"ns":120,"title":"Item:Q5897348","lastrevid":50911802,"modified":"2026-01-15T17:32:38Z","type":"item","id":"Q5897348","labels":{"en":{"language":"en","value":"On the computational complexity of cut-elimination in linear logic."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5674144"}},"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":"Q5897348$2B79BCF3-B49B-4697-AA4C-33A23690E4DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7ea66813ea6c53ffe397ae639f289e93260953d","datavalue":{"value":{"text":"Theoretical Computer Science","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5897348$4350061A-4B8C-411B-95CA-9057A7DF2E80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3eab5c8dc32bdbbcde20e08ea930c38ce0c1cc4c","datavalue":{"value":"1257.03091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897348$182679C8-0676-4350-8080-026B76A1B77B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e02fd546ce8d461240920d62f3603cf121b4693c","datavalue":{"value":{"entity-type":"item","numeric-id":271691,"id":"Q271691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897348$0BCC8A07-C87C-429F-9A35-5EE7AE0219D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be8aa6a584af6ab1dfc32be732b34caa5aaa87e6","datavalue":{"value":{"entity-type":"item","numeric-id":1198970,"id":"Q1198970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897348$C0E9C5DC-AFFE-4049-BE63-17D5A0C62C24","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897348$BDF03CC3-882E-4719-A29A-B6DCD2C6C098","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24e3170ae1d6bebbc96609d601d5472b321e57f1","datavalue":{"value":{"time":"+2010-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5897348$FE4A62B2-624F-4799-8F5B-BAC2BB916383","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897348$B491FA00-3EDC-4D09-A42C-A1C62EE8B8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897348$07A8882C-A302-4D6B-83D3-FB8393BD6E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897348$9143FB20-8B34-446B-8E6B-D77549BE277A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897348$06745724-9635-45E3-B3A4-6430AA7538D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6aa151b511fc5ea630613d7b3d4f51d3932519c9","datavalue":{"value":"5674144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897348$AF2E6846-B9B1-432E-B522-272EE59237D6","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":"Q5897348$FCEA86B4-4D9C-4823-B3EE-F1037E1D0E74","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99f5114f98f6e2f5de04ac668ddc51edea8b57c1","datavalue":{"value":"https://doi.org/10.1007/b13810","type":"string"},"datatype":"url"},"type":"statement","id":"Q5897348$7D8D41FC-7CD1-42A8-A749-691E2BCF980C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ace534d3d09da921364bd2948f60cb152a4611c","datavalue":{"value":"W3144329707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897348$102BCD17-BEB3-4390-9801-06F35B862771","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f516c0aedcc8f2bc00cc400ccde684fcacf779dd","datavalue":{"value":"10.1007/B13810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897348$7B1BA701-E0CE-4AD9-ACF9-B5D606D9D4BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d97ce14ea95f4a3fc8c3af98620ebc361d7a77fb","datavalue":{"value":{"entity-type":"item","numeric-id":1192352,"id":"Q1192352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f48daf28269977b0e158a51d028014dd78c82e3e","datavalue":{"value":{"amount":"+0.8198886513710022","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":"Q5897348$3C98B3E5-2CAC-4178-A2E7-7F9888B93A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"612009c50b8ca7483779822191c877b6fdb39692","datavalue":{"value":{"entity-type":"item","numeric-id":4842540,"id":"Q4842540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"121ee0788676c9a9042abfbf38faa18d9376c968","datavalue":{"value":{"amount":"+0.8189683556556702","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":"Q5897348$01567E6F-3C09-4C80-9034-704650D0CCCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b973aa698753b140293751269338506d45ae6c3","datavalue":{"value":{"entity-type":"item","numeric-id":408540,"id":"Q408540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52335313acc1f2f4b582b67914de62c70b5df9be","datavalue":{"value":{"amount":"+0.813849925994873","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":"Q5897348$86A18A54-FF8C-4CD5-A823-DB6E40C363C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55a85074aaac2c37798d506f8ac803283f611572","datavalue":{"value":{"entity-type":"item","numeric-id":1271560,"id":"Q1271560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dce2f670820673d76370829d095ab0bb6d3302c4","datavalue":{"value":{"amount":"+0.8131040930747986","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":"Q5897348$5F00CD45-241B-4FDD-B88D-1C9240C23DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597c3fac56289fce62c29a176a72264ebd35f91f","datavalue":{"value":{"entity-type":"item","numeric-id":3419785,"id":"Q3419785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f9a4cb80189aba022c3e4dec3819bf1c47a683b","datavalue":{"value":{"amount":"+0.8017380833625793","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":"Q5897348$A993BEDC-C0AF-4A04-A7D4-67CE95C15E2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5897348","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5897348"}}}}}