{"entities":{"Q1647963":{"pageid":1658704,"ns":120,"title":"Item:Q1647963","lastrevid":71086437,"modified":"2026-04-13T19:23:30Z","type":"item","id":"Q1647963","labels":{"en":{"language":"en","value":"Multiparty session types, beyond duality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6894963"}},"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":"Q1647963$8C2D55AF-733D-4B0F-9EDF-9AB501258873","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c392e70f10520049d36744651934e0d04389cbb4","datavalue":{"value":{"text":"Multiparty session types, beyond duality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1647963$0C1A1F4A-A60F-4F29-B628-9DD7F30E2D42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cdd7a5270e8faec14596864ad609d53939393d2c","datavalue":{"value":"1395.68199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1647963$490D12FA-CE04-4AFD-8771-2FC957495EAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7db45ab69e7b3a1b0a8d84dd02ef96ed4983970","datavalue":{"value":{"entity-type":"item","numeric-id":347374,"id":"Q347374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1647963$F3C9BA8C-E5F4-4AF9-A04F-1B38623E8169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a10e2d4e7c7f35976aef2937159c2a644c708f28","datavalue":{"value":{"entity-type":"item","numeric-id":236085,"id":"Q236085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1647963$B8DDFC53-6B9F-4183-914D-9522B783FCE6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1647963$9A784D4C-F63A-487D-AB2E-0C9D8A76F68F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c8a780e74b0fc20f5c27aee56d09c8997e1b03d9","datavalue":{"value":{"time":"+2018-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1647963$6E389BD3-B06C-4F31-BE9C-16453323929D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1647963$0066D3FF-B686-43FD-8F4D-BDA5820D2737","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"beb5f6580403bcc9c400406732b872d8936e69ec","datavalue":{"value":"6894963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1647963$8828AE7F-9878-4126-A809-0F640440FF62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1647963$1FED28EB-3A2B-406F-A876-09FD464C42D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000cae892649b86c08dfd4faa170d21befcdc840","datavalue":{"value":"process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1647963$AAAAB07D-F042-4381-B8A8-1AC871185A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a6bb47617bde1a2910a8986ad5cc33935bfc8f8","datavalue":{"value":"multiparty session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1647963$51BD3BA2-FE0B-4FCB-A90D-E52118D7637B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1647963$C848856B-43F6-423B-897F-5A5A254E4617","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":"Q1647963$F63844B9-431A-4339-BC40-0A116F54E9FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b64d69dedbf3b79df8fd07a8a54fd7bb21ed13d7","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2018.01.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1647963$3DBDDB44-92DC-4512-B571-F8E136D2C529","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6db0b659264af2e42c0b0da74f1eccd0d264bd6b","datavalue":{"value":"W2790040383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1647963$0C157EFA-03BB-4153-8E5E-B68644A63DF8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e355d17516cbacac07e53a9eb3476a061fae7d34","datavalue":{"value":{"entity-type":"item","numeric-id":2811925,"id":"Q2811925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1647963$925B789C-5FF9-4E61-86B7-D23621C677F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4404304996fef2faf2441d291720a233841ad6e8","datavalue":{"value":{"entity-type":"item","numeric-id":3190131,"id":"Q3190131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1647963$DDD588F2-877C-4FFE-9609-7EB3822C3B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"714a008908dd44d78b4434df9b8762567f356fb7","datavalue":{"value":{"entity-type":"item","numeric-id":5739895,"id":"Q5739895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1647963$FB571100-CA34-4EA8-89DC-D071FB337574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f982ccf1638983550971b32200b3dd06cb60697","datavalue":{"value":{"entity-type":"item","numeric-id":3541035,"id":"Q3541035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1647963$E73AE3E6-E83B-45B8-A700-7E28C26675D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ea2755147c734fa04bd3a35b4904da741f401c4","datavalue":{"value":{"entity-type":"item","numeric-id":5357710,"id":"Q5357710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1647963$C95C439F-08D2-44BE-9878-E4CDB9437298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53dde31324172d055d8fb29ca16a5299a6c63567","datavalue":{"value":{"entity-type":"item","numeric-id":5891509,"id":"Q5891509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1647963$6CA0B96A-7735-4A16-99AF-24198775E9D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a05f05f61b46a8fd8bda9fb47a75f81f498f2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1647963$B9CE044C-D4B3-4FB0-8892-2867AFBA687E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"339e9b87b316ce7468c84c4cc47a6905a2b7929d","datavalue":{"value":{"entity-type":"item","numeric-id":3584932,"id":"Q3584932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1647963$2402BBB5-2355-462C-887E-7AD7B0889936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f080bd9d18faa50e0b3693b31b7b9f5e94c2b86","datavalue":{"value":{"entity-type":"item","numeric-id":5741566,"id":"Q5741566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1647963$2E50B72C-E2EB-4927-975C-66DF35602268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e7ec33da9a073e80166392ebe6e10629ee04da2","datavalue":{"value":{"entity-type":"item","numeric-id":2822666,"id":"Q2822666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1647963$ADD09409-BD2B-4BCD-B14B-CE5EC0CF6E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae72ca3eb9836c81238e2dc57e2e0c6f01268dd4","datavalue":{"value":{"entity-type":"item","numeric-id":5741563,"id":"Q5741563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1647963$387EB343-DCE1-42EB-A455-1EC1AC7669C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b409aa39434ba35fd46796ac1f503e29071cde40","datavalue":{"value":{"entity-type":"item","numeric-id":5894960,"id":"Q5894960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1647963$B1E6E57E-5186-4F92-A119-CDC1974DCA4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1676ea40b686135e06aed5ceb44a39822dfccb04","datavalue":{"value":{"entity-type":"item","numeric-id":5327432,"id":"Q5327432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1647963$2FAC8CE1-F3C7-4403-866B-8EBD8AB362B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af397c089a22cad0ad4f1100de3dbef8c4a60a2","datavalue":{"value":{"entity-type":"item","numeric-id":2576666,"id":"Q2576666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1647963$1BC1B7DA-2E37-4213-AE8E-6DBF8ED51B39","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":"Q1647963$DC167A4F-9310-428F-A3A2-885DCE1200A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb775710df417de62fb5abc6605142162bfd946b","datavalue":{"value":{"entity-type":"item","numeric-id":3189846,"id":"Q3189846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1647963$911584C8-1D8F-4C12-8CB8-CFCA07CD3593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"790778054f0b8617f9a706a7beba5447691c83fc","datavalue":{"value":{"entity-type":"item","numeric-id":3177766,"id":"Q3177766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1647963$6193B206-5DF0-4FB7-8759-F1F0B3620414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e800b5eb2b48d1b3079a3c680c83695a8b6a19b8","datavalue":{"value":{"entity-type":"item","numeric-id":5891114,"id":"Q5891114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1647963$80255904-BC80-403B-A56F-41D1356B86A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60e9e345d4fa225928db162340b623738a828370","datavalue":{"value":{"entity-type":"item","numeric-id":5892066,"id":"Q5892066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1647963$675FC052-36C0-4C26-9A09-8B6C7FCAB214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed979430371862e5f53ebd0e96b9fcfc6b9c286f","datavalue":{"value":{"entity-type":"item","numeric-id":2914373,"id":"Q2914373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1647963$10F2305F-4240-4054-8E0F-1AECC226706C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b06fd6c62da767f6504b2fb11bdb7fedad24f27","datavalue":{"value":{"entity-type":"item","numeric-id":2819808,"id":"Q2819808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1647963$A735E751-EFDC-4653-86B6-E40545AE3C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9066fe12e44dee0d16dd44d69d94302fb7ebb8fd","datavalue":{"value":{"entity-type":"item","numeric-id":2985793,"id":"Q2985793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1647963$2CD53905-8F96-4F50-A28C-1C34CFC777F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1647963$851B8AFC-7C4B-46CA-93A5-A27FE8753E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1647963$3231CC4E-3BF6-48E5-AD3D-524DE531394A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1647963$F723B95C-A547-4448-8B2E-44B3F60C1F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1647963$DDA72D64-108D-4B24-8F11-EA46E6F8006E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2827317bb2e92396671730e13e22367e2721f7f9","datavalue":{"value":{"entity-type":"item","numeric-id":5168904,"id":"Q5168904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1647963$E3F032F5-0B04-44D7-8DEF-AEA4F1897A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e133d051dd342cde8b5fb08d22929c399b121ae5","datavalue":{"value":{"entity-type":"item","numeric-id":2875234,"id":"Q2875234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1647963$8A257208-491C-43D7-9AC0-F5AA494C5198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f02cfdf501f88e8aa0cfb03dd0f5e6c970d97ba","datavalue":{"value":{"entity-type":"item","numeric-id":5900851,"id":"Q5900851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1647963$90F66FF9-2627-45C8-AA95-4D27D8940027","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b11862dcdc6c576d292bed516eb0350c5e4b061f","datavalue":{"value":"10.1016/J.JLAMP.2018.01.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1647963$04D0A454-8F94-4094-8979-75CFED3CB9FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35039df4f40408091ac8c8e548a653909b05e742","datavalue":{"value":{"entity-type":"item","numeric-id":5894960,"id":"Q5894960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da3a67d8cfe1fca928172746d5a8805ac1541cb4","datavalue":{"value":{"amount":"+0.8303235173225403","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":"Q1647963$40134992-F3D3-40E5-9610-7F3C39303886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aad2eb0bbac0c1b49467a411a93ae34968509d34","datavalue":{"value":{"entity-type":"item","numeric-id":5900851,"id":"Q5900851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c84291e3cb41b59766391ada82986487a600cf4","datavalue":{"value":{"amount":"+0.8282308578491211","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":"Q1647963$F54999E5-0F87-4DBA-BFF1-F6BB14B5AD04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6986eaf3a6c20ebe60e0179d79f575ebc7f76316","datavalue":{"value":{"entity-type":"item","numeric-id":2360653,"id":"Q2360653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5af0fdd92f07ea29bb1ae4b371116b12d1f9820c","datavalue":{"value":{"amount":"+0.828140377998352","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":"Q1647963$F5A2EFDC-2048-4111-B86B-8B5506336073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e2c3df684a238b4ca180f547c4cb412d0e75670","datavalue":{"value":{"entity-type":"item","numeric-id":5408562,"id":"Q5408562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60fcfaf96f03f658c462df4edc32643a8d72f32c","datavalue":{"value":{"amount":"+0.8233625888824463","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":"Q1647963$004CDA40-97D2-4840-8992-4741074713C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0465c972df9046a55c3a08f415d7cee5441ef46","datavalue":{"value":{"entity-type":"item","numeric-id":5357720,"id":"Q5357720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ced2a766d2b091785b50582ae446c24b2dfafa31","datavalue":{"value":{"amount":"+0.822041392326355","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":"Q1647963$7E130A77-58C2-483E-8FBB-E8856921D154","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1647963$09DCEA69-9586-40A8-A1EA-A911E6E274F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Multiparty session types, beyond duality","badges":[]}}}}}