{"entities":{"Q5015210":{"pageid":7044787,"ns":120,"title":"Item:Q5015210","lastrevid":92036030,"modified":"2026-06-05T00:42:11Z","type":"item","id":"Q5015210","labels":{"en":{"language":"en","value":"Cut elimination in multifocused linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7439428"}},"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":"Q5015210$B572EEBF-03CB-40D5-9788-C7A5A084490D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"260996a7aca536f0584d7e3e75b4990ba30b6b69","datavalue":{"value":"1477.03252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015210$B9AF5058-023C-4873-8DE3-A0D62FA2BBA2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09e3dd74cb33fefe037efb122060e82638ab3c9e","datavalue":{"value":{"entity-type":"item","numeric-id":2798263,"id":"Q2798263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015210$AAFAB222-D883-4DFC-9437-DAE48F9CA09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b9bee5c1672027541373794fd16d90e809b7e77","datavalue":{"value":{"entity-type":"item","numeric-id":2883079,"id":"Q2883079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015210$F5995306-1556-4C4A-8EE1-D2FDE67C9147","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3832ba244e67bab8dfbbd048c8e8f7c415dfc7d","datavalue":{"value":{"time":"+2021-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5015210$32E1C045-02C3-4352-9036-B0E8B702383A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71d50d2bfef7ae63955871432b9a3e71f37f4a68","datavalue":{"value":"https://arxiv.org/abs/1502.04771","type":"string"},"datatype":"url"},"type":"statement","id":"Q5015210$F1EC21FB-DBB9-4BF6-81CD-4B09E79014BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"527c1c7b39b68bebd85365e03d51bcf1b58f3d63","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?LINEARITY2014.3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5015210$AC68DD17-E2B1-4D88-A53D-A69EF2A7454E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015210$0EC80736-C3F3-4276-A328-90E2CC67770F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015210$32020794-61D0-4B97-B527-3FC300C33242","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31cd28339474ee8070ea4bf00aec5ee4454955d2","datavalue":{"value":"7439428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015210$363D9D85-AB1E-4F07-8666-4A74181E4C9B","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":"Q5015210$37AABDF4-0412-40A4-B13C-7BD2F93FB106","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015210$B53A8B59-9626-4A1F-A070-98D29F4CBC13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ded251e40a864eff7915d4a0cada06fafdd1945","datavalue":{"value":{"entity-type":"item","numeric-id":4933303,"id":"Q4933303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015210$410C78C2-941D-447B-9D36-D6726EF17254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d5bf22a4f512d69340277e91882bcd8d7d938ae","datavalue":{"value":{"entity-type":"item","numeric-id":5505575,"id":"Q5505575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015210$F4819B95-CFC8-4271-BDE1-84539206EE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1c78d555367231da2b5a62a6c9589d4d99c1214","datavalue":{"value":{"entity-type":"item","numeric-id":2915680,"id":"Q2915680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015210$7D339AB6-A0CB-4F77-B3D0-D23154601AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015210$D1D15B47-4E24-43E0-AADD-A0577F45A566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38da14e132b6ed87ebd6a06d39b0509028cb9550","datavalue":{"value":{"entity-type":"item","numeric-id":4896506,"id":"Q4896506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015210$8922ECF6-D97E-49D8-B984-B8FDDA932B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2071d006289cf46c6c1936f7be79bce5c9fb86c","datavalue":{"value":{"entity-type":"item","numeric-id":1589650,"id":"Q1589650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015210$1C6BA112-5C95-4037-B273-E9CC1346145E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f640a1285c30f843eaafd6f39c5351d33d20f13d","datavalue":{"value":{"entity-type":"item","numeric-id":3608427,"id":"Q3608427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015210$626FF9D1-0975-4622-84F6-8BB9530AE87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2221baf7e4bab4cc38963939c795119dc4b2829","datavalue":{"value":{"entity-type":"item","numeric-id":2946730,"id":"Q2946730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015210$F29630E6-D13F-4E17-8637-06B44509D0F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6e6db951320bd1c7b0775a2451dffe951bf68e0","datavalue":{"value":{"entity-type":"item","numeric-id":2482843,"id":"Q2482843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015210$CA8724B3-966D-448E-BCEE-532ED6F74118","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54139f930430c44bfddd66e87c6f88b9f5f6beaa","datavalue":{"value":{"entity-type":"item","numeric-id":4637625,"id":"Q4637625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f50bbe3c3e188e1b36d1a4e90163956025b845a","datavalue":{"value":{"amount":"+0.9087191224098206","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":"Q5015210$6A75B797-B015-4455-A919-DAE1E67D1A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e85076c70b4e18204bcee063ef0e4420ac7c9849","datavalue":{"value":{"entity-type":"item","numeric-id":3608427,"id":"Q3608427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b40d12142a81a6e36e73bc7c5e20a2bc9923691","datavalue":{"value":{"amount":"+0.8044793009757996","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":"Q5015210$115306A4-6F8F-4809-9592-F670AB6C5928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69fa9f9e22a0173d494b8d67994074a7470b6c09","datavalue":{"value":{"entity-type":"item","numeric-id":5897348,"id":"Q5897348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e72ac69f08f106b8d9c44b0912a509c4efcb12d","datavalue":{"value":{"amount":"+0.7739879488945007","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":"Q5015210$DC498C05-A596-4B6D-AB1B-FF2DAC58B61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f0ac6d5260b717268e184630a3a542aa35448d8","datavalue":{"value":{"entity-type":"item","numeric-id":1035706,"id":"Q1035706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4804a80a950e71e55e75a1342e4150d4ee965c1a","datavalue":{"value":{"amount":"+0.7721651792526245","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":"Q5015210$4A2A1334-1CF0-452F-BAB9-8FEE4F8F0901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"465690f04c9941c4510fe2f97ecb75a7eeb41eb4","datavalue":{"value":{"entity-type":"item","numeric-id":2333326,"id":"Q2333326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df1f6991bcd448aef13472b0cc8429b5c02253c7","datavalue":{"value":{"amount":"+0.7704880833625793","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":"Q5015210$E5EF22B1-6942-4BD5-95D2-191289AA91A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cut elimination in multifocused linear logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cut_elimination_in_multifocused_linear_logic"}}}}}