{"entities":{"Q4649549":{"pageid":6679130,"ns":120,"title":"Item:Q4649549","lastrevid":51601676,"modified":"2026-01-19T00:42:15Z","type":"item","id":"Q4649549","labels":{"en":{"language":"en","value":"Cut reduction in linear logic as asynchronous session-typed communication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109836"}},"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":"Q4649549$BFB5FC9E-182C-4885-B9AF-7F12C015653F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"086f258025fe3735152bd2ce4cfb23cd381b54ce","datavalue":{"value":"1252.03141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649549$1E39AD41-4F6C-400D-A87C-47E6CFE0263D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97a05e926050f2e4965ce0c4ca64fdca90bc75d2","datavalue":{"value":{"entity-type":"item","numeric-id":2233455,"id":"Q2233455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649549$D9C3BC5F-929B-48F2-9D62-FA80EA0F54F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6196248ea4f7015d5a81fd36913200988fc7bf90","datavalue":{"value":{"entity-type":"item","numeric-id":476187,"id":"Q476187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649549$3B3D5869-7E8E-4E3C-87AA-8F0CDC343C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1acb8bfb71d90bd14112d4100b38479fd980ef97","datavalue":{"value":{"entity-type":"item","numeric-id":476189,"id":"Q476189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649549$D4175C58-BB82-4F69-9EC3-05CC847BEEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649549$56A6CCD1-356E-4154-B09A-6FA2BB83BBEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f3aa46d2f66375aad8f9f235cf6aa2da570e73e","datavalue":{"value":{"time":"+2012-11-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":"Q4649549$1AD80055-B7DC-405C-9D49-3A5AF7B69084","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649549$A1C3B9AE-CF62-4E8A-80ED-864B0F1E698C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649549$B92A0F10-F22F-4221-9758-BF89A2442649","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e53f37d56c5536094c669396ebdd6821fcc2edca","datavalue":{"value":"6109836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649549$C7462CDB-E6E1-4187-A28F-3A8BE8D83BFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649549$9ED6962C-81CB-44B7-B4B3-7FA0E0E05734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5fc27b955e52d15eb8c0ff4271ecc70df2bb85e","datavalue":{"value":"cut reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649549$A9D25075-E90A-4F67-9E24-539E5A270D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2713d68ce1ce7b99873864dcfa743a3a42b07b0d","datavalue":{"value":"asynchronous pi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649549$E0B3C16B-4BE9-4B80-8187-655AE388912D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbfc9efe2708426c86c41393e21566b41f4f22c1","datavalue":{"value":"session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649549$734854D4-16D2-418E-98BB-8C50D6FCBC33","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":"Q4649549$9E1F1B9E-0BB2-41F0-A45B-200145E38D36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c81b550f660b60c0229c288d70cc1a96841d21e2","datavalue":{"value":"10.4230/LIPICS.CSL.2012.228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649549$60F6E2A0-0E68-48FF-9443-1C90A4D865B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ed2438eeb12434db4c0a1ca0515de70caca6029","datavalue":{"value":{"entity-type":"item","numeric-id":5741566,"id":"Q5741566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00ac4b4a7bad585a7d2fe7c82d272c611fd43eb9","datavalue":{"value":{"amount":"+0.7711797952651978","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":"Q4649549$D05D7437-D09B-4B54-842A-532ED345C3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe587eb3e96c13cf4958f80a9d0180da1eb9c53b","datavalue":{"value":{"entity-type":"item","numeric-id":3584932,"id":"Q3584932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93035d0200f157a9768b6ee97d1204a84af0210a","datavalue":{"value":{"amount":"+0.7606396675109863","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":"Q4649549$64BC549E-1951-4976-8FFF-DA0B013CB4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f37d734c5db9f72be826275226d458ddbf141799","datavalue":{"value":{"entity-type":"item","numeric-id":5189644,"id":"Q5189644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ee940c5b693ec6aef7997b32501a2286b0e9a0b","datavalue":{"value":{"amount":"+0.7494103312492371","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":"Q4649549$B5697D71-942B-4D15-AB9D-443239C75CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee04dd8c5cbe0df74580c97fad466feff2ae68b","datavalue":{"value":{"entity-type":"item","numeric-id":1652969,"id":"Q1652969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e667aa0a96e2290174a90bef07673ae81200d61","datavalue":{"value":{"amount":"+0.7452423572540283","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":"Q4649549$D25A5723-6822-4B71-8B83-796723985378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6633fae510dd674273d2adf855febdfa24dd100","datavalue":{"value":{"entity-type":"item","numeric-id":2892750,"id":"Q2892750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44a3f07a6499ee01a68f6ece53e5adfa0c07714d","datavalue":{"value":{"amount":"+0.7447234392166138","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":"Q4649549$7CDE3B4B-74A9-4275-A0DE-F3288E56EBCD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4649549","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4649549"}}}}}