{"entities":{"Q2827461":{"pageid":2838199,"ns":120,"title":"Item:Q2827461","lastrevid":44699115,"modified":"2025-11-25T05:20:17Z","type":"item","id":"Q2827461","labels":{"en":{"language":"en","value":"Multiparty Session Types Within a Canonical Binary Theory, and Beyond"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6641192"}},"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":"Q2827461$66936F32-D671-48AB-8A0F-71AFD990D408","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd5024a3e1958b9d0320ffb8940401be37f16bff","datavalue":{"value":{"text":"Multiparty Session Types Within a Canonical Binary Theory, and Beyond","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2827461$DECA1C67-B012-44E8-A0E7-03A9C36D1F72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a7e585e2a0f1197d14c67f8d33bdecc34f6b1be","datavalue":{"value":"1347.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827461$DC45534B-34C6-467F-B5AE-AC43A604C182","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e6a2d212b9c8dfc969f5022dd5b0110125743f2","datavalue":{"value":"10.1007/978-3-319-39570-8_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827461$B75B7FF8-A113-4793-A13B-3D9D0256EFC9","rank":"normal"}],"P16":[{"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":"Q2827461$EC9FE009-DB4E-45CD-85FF-43D82ECDE53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5bf2daf37619b5f51c5968e7e6d35980ea99e46","datavalue":{"value":{"entity-type":"item","numeric-id":315278,"id":"Q315278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827461$3F19F917-6E2A-4C69-A86D-F69852F83F11","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8e0f6f00e5973d13e51da0f168b1db06ae6cf95","datavalue":{"value":{"entity-type":"item","numeric-id":2827444,"id":"Q2827444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827461$9CF47202-FEBE-4AA7-8486-0AB883F487F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1535619fd8f94633f3128b0ce8819699cf6d5d0","datavalue":{"value":{"time":"+2016-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2827461$31B0A664-F580-469C-A811-2283249AAC3A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70da76993a71bd215533cdd77a1c9bb0e1a0e41c","datavalue":{"value":"https://hal.inria.fr/hal-01432929/file/426757_1_En_6_Chapter.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2827461$CD3A7A61-7367-4B73-98D3-C2906D3C3412","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827461$4F83D94A-2A49-4C83-8410-51866F466A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827461$25E2DDFC-A131-42A3-BF52-9E943BE084A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5dabb179689f5fabe93468b7204d7f16164d3aa8","datavalue":{"value":"6641192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827461$F6CADB3B-2774-42B9-B7E2-329ABFB8C6AF","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":"Q2827461$16628940-FAB6-4C4D-8B8A-91C22E0AB281","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f5a2ac4bfe0e7794d22acd6ac5e687062d27514","datavalue":{"value":"W2469507234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827461$09501173-18F6-47CF-B332-F8310D71348A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7c0ababa3ff65116b8f3f44937a7c6d52587ab8a","datavalue":{"value":"Q57652364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827461$B6BE5475-0AA4-4B59-BB6A-5EA64AA8DCA7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7498fd20b5bc1173c2b277cb9f3b2bb961953bb","datavalue":{"value":{"entity-type":"item","numeric-id":3584928,"id":"Q3584928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827461$BEE104B2-7971-4218-BA89-1730ADD2D27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76196bfc8a5999c90817decd450dc1fca8f46717","datavalue":{"value":{"entity-type":"item","numeric-id":4676156,"id":"Q4676156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827461$6615D161-D900-4027-8673-B593F4F73DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b85f642234c28ca69edae9726642ba7a91a18cf","datavalue":{"value":{"entity-type":"item","numeric-id":5326294,"id":"Q5326294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827461$433F0F0E-8F2A-4A63-8187-601E73E302D1","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":"Q2827461$AF022ED8-9417-4526-84E0-B7C39147F0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7faf3e30e31f599e1f4f084511504817c437a2f5","datavalue":{"value":{"entity-type":"item","numeric-id":2931801,"id":"Q2931801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827461$852AEF3D-03B6-4B0D-A2AF-0EDAE3E71986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6fb8dd32bb0e327e97cb6c340ff6d73443b1083","datavalue":{"value":{"entity-type":"item","numeric-id":2357654,"id":"Q2357654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827461$A0CE1960-5094-485D-A021-98A0133B1CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b7c6ac7da5de5a5880cecadd1be1f983b7b9a5","datavalue":{"value":{"entity-type":"item","numeric-id":3189845,"id":"Q3189845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827461$8651DADB-943E-4D59-A6F7-004F6F5DD0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1bf3ca7792e132bd84bc70282af62fafdd923dd","datavalue":{"value":{"entity-type":"item","numeric-id":492916,"id":"Q492916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827461$B741CB96-2C24-4747-B8DF-3422C99D445E","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":"Q2827461$B33A7BF7-45F7-4051-BE24-BD8F560E07CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8871c7852be2498fe518d1f13f642d17ade6f329","datavalue":{"value":{"entity-type":"item","numeric-id":5275396,"id":"Q5275396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827461$22D80FFD-3A86-4F09-9512-329BF5E4A24D","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":"Q2827461$7001109E-FFB0-41AF-A773-123C5E9CCF4C","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":"Q2827461$AFE9E23D-D6A5-42E4-9040-F071CC17FA84","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":"Q2827461$FFE0F40C-27B0-4C86-A9E8-5D18CD496CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e545f1adb45625b2fad19601bcc83d390e150b5","datavalue":{"value":{"entity-type":"item","numeric-id":4635657,"id":"Q4635657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827461$3805404F-E70E-40E0-B117-6574DA38E50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c3df969a7db5f5a8744a8ba26eb82eff05a5400","datavalue":{"value":{"entity-type":"item","numeric-id":476190,"id":"Q476190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827461$326C80D4-1E44-4A91-86B2-853023A23299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"427b7dd5eee2078d287cbd70cf74aacab7c72419","datavalue":{"value":{"entity-type":"item","numeric-id":2811932,"id":"Q2811932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827461$36D12B2D-3C7C-4856-A94C-15E1369799EC","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":"Q2827461$B99CDE7F-ED94-44FE-8B12-A075CEC4A8BE","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"929adfe55fc8b45568e246da734cda317450d34e","datavalue":{"value":"conf/forte/CairesP16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827461$F1DF5D61-F7B7-4515-A5DF-7CBC382318FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7710a4681315cc6baec577c6f9e749ef46e36a29","datavalue":{"value":{"entity-type":"item","numeric-id":1647963,"id":"Q1647963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f006bbecd1ee24592a008e74519e2991091e94a0","datavalue":{"value":{"amount":"+0.9143952","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2827461$00BC9326-F4F6-4C20-ADFF-C18270043C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ca85f13437d6e9738c33897ab9aa9fd00468a20","datavalue":{"value":{"entity-type":"item","numeric-id":2357654,"id":"Q2357654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"669a4ec78acbcee6a69ebbb69408f6aaa91c0e23","datavalue":{"value":{"amount":"+0.8991698","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2827461$C714B3B1-4DD6-425A-8775-BDCB01067703","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":"669a4ec78acbcee6a69ebbb69408f6aaa91c0e23","datavalue":{"value":{"amount":"+0.8991698","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2827461$3D6E511B-A96D-4E66-8A38-B45F1C13D0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c0992ad15b4ccfe7ccc068a8b4f0e5cf0ed4c3a","datavalue":{"value":{"entity-type":"item","numeric-id":2892728,"id":"Q2892728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"840b2481022c7ff9863a50c9681570ec98ee5c4a","datavalue":{"value":{"amount":"+0.87879467","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2827461$249B39E4-099D-4153-8EB7-B862D3FDDFC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aa859640a5a3f3b25c3c75b4759d7e1ad4c0a69","datavalue":{"value":{"entity-type":"item","numeric-id":5041094,"id":"Q5041094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec6f0ba628014389f2de7341254479149c0ee027","datavalue":{"value":{"amount":"+0.87458944","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2827461$033E5A51-831A-4F86-B76E-5573F1E7F80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a43ed22f4df792aecce0a520c05b6c0d491255cb","datavalue":{"value":{"entity-type":"item","numeric-id":4608685,"id":"Q4608685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54bbe343d75344e4369c578c6838ebdfea92e645","datavalue":{"value":{"amount":"+0.87458265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2827461$7098B32E-09E9-4F1C-9ED7-679EBED6E2DF","rank":"normal"},{"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":"6a889fd13b5ce5841aef1b3ef091710780a12a5e","datavalue":{"value":{"amount":"+0.8643976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2827461$D1A2D5DF-DFB0-4C95-8D4E-75E9CA8AB6B4","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":"6a889fd13b5ce5841aef1b3ef091710780a12a5e","datavalue":{"value":{"amount":"+0.8643976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2827461$088FB5C0-EA3F-44A4-8160-1BAB24BEE759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"012c04628896f09dc0761e0b21a31e3bedce89e3","datavalue":{"value":{"entity-type":"item","numeric-id":5275396,"id":"Q5275396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"398df1fd4abe11d7c5fd4c513ed185132c00381c","datavalue":{"value":{"amount":"+0.8512688","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2827461$2CA4B10E-B38B-46E4-A57E-B4837428D7EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2827461","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2827461"}}}}}