{"entities":{"Q2357654":{"pageid":2368397,"ns":120,"title":"Item:Q2357654","lastrevid":52828952,"modified":"2026-01-23T14:32:32Z","type":"item","id":"Q2357654","labels":{"en":{"language":"en","value":"Multiparty session types as coherence proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6730730"}},"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":"Q2357654$40B7DADC-B438-4B9D-85A8-A910E4321942","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9b4952a36f1751dbd6696a59b39ee50b17f4852","datavalue":{"value":{"text":"Multiparty session types as coherence proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2357654$8EC2B668-F792-432A-BBA5-177475B962F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6559bfcf935d26ac958e4e29ff331a1133398aa","datavalue":{"value":"1371.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2357654$243CE9DB-0901-44D7-B324-571C050F6283","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7517b690c534e40e88bd9289293078ef5979aac6","datavalue":{"value":{"entity-type":"item","numeric-id":1699418,"id":"Q1699418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357654$5AE56FEF-BCDB-4918-B541-725323951180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57af5fea054236740e1a458426a7dfa0813fa27e","datavalue":{"value":{"entity-type":"item","numeric-id":1699419,"id":"Q1699419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357654$13B995D2-8A7C-4573-9837-B881CB6F653F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1024ad51fb0c89617301d9b58c1789ce603d4d1","datavalue":{"value":{"entity-type":"item","numeric-id":2092486,"id":"Q2092486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357654$2311E6AF-AEA5-4BED-BE51-14BA91F55A31","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":"Q2357654$6533FEF6-A1C7-4232-83B8-4021B04E0CCB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357654$69C5D89C-D9B4-4A18-8D17-4CB160F92D75","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7ddcf31b914fb89853eab25f40bb8eca88606da0","datavalue":{"value":{"time":"+2017-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2357654$24DBB43E-E861-4C43-903B-1334C4DB1DF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2357654$7EB06E01-75FA-4E71-8BDA-24F87C7E44D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2357654$8F5C4CBC-663A-4FF2-94EC-0BE280B42FE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56913164a92f42b9d43d826e57bc2460bc6e1a68","datavalue":{"value":"6730730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2357654$94798EA0-B60E-4C6F-9EE8-575D43FEB50C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1ff223f4a816479bd35b0519dd1cb125f31c19ab","datavalue":{"value":{"entity-type":"item","numeric-id":32677,"id":"Q32677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357654$47D56DB2-3612-4776-967D-6BFE9BFB56AD","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":"Q2357654$3F3A4FA6-9CF6-4F15-8D76-641537113050","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a4cec78a0c7aa408547922d60f28741754747831","datavalue":{"value":"https://doi.org/10.1007/s00236-016-0285-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2357654$2A1ECDF0-5D74-475C-9012-BC86F4BEA8A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c55611fc4ef3520f46e6c650beb7953234b581a","datavalue":{"value":"W2553788418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2357654$2F85FC3D-8FB1-45FC-B5F7-51242A2071CE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ca6f864634e747b90665d8cd712790dae4caf778","datavalue":{"value":"Q113905931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2357654$3C30A7F6-1FDF-4480-A360-CC15BAF5D98C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e91e8f9c126986f6d8bbd04993fd9c2b64f111","datavalue":{"value":{"entity-type":"item","numeric-id":4885871,"id":"Q4885871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357654$B72A7CB8-93F5-4E4B-9EA3-D89E0F33D351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d28c6d46d9efe4b297e3a1a6bbd8015e0e1fb037","datavalue":{"value":{"entity-type":"item","numeric-id":1342247,"id":"Q1342247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357654$89E1A9DA-0AEB-4FBD-ADF5-3B283E71A56F","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":"Q2357654$D45493BA-A918-401B-AF62-0ED0C1CC8D23","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":"Q2357654$9E4B8DA2-98C3-45D3-BDCB-6B63246C9D68","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":"Q2357654$BDD14F26-B0FE-4D9A-B179-9B19AF1D6334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84bceaa3d9e9fea4f08d6857992bc67aa117a44e","datavalue":{"value":{"entity-type":"item","numeric-id":4963910,"id":"Q4963910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357654$CB28D450-3EDC-41F7-BB7E-CBDC17E04A27","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":"Q2357654$E983C869-D426-45A4-90CA-3DFDAAF5ABCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86d45b4057c355b37d14fa2316dac2959fc0be37","datavalue":{"value":{"entity-type":"item","numeric-id":3190108,"id":"Q3190108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357654$E9961AF3-BC83-4061-B958-1934686DB679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edbf329f50056a083c22cc217d9b573627af5b00","datavalue":{"value":{"entity-type":"item","numeric-id":2881091,"id":"Q2881091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357654$1D253AB8-E4D8-47A2-9652-F643A7496516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ba7ff2f77f4f9895408ba3aa2559fa38a81738","datavalue":{"value":{"entity-type":"item","numeric-id":3179170,"id":"Q3179170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357654$56A49342-654A-4E5E-A9AF-01A0A53089D1","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":"Q2357654$D8EFA502-6237-408D-9F73-92A34A0DBCFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b788c691120b21bc6d328923e94baea026961a41","datavalue":{"value":{"entity-type":"item","numeric-id":2914375,"id":"Q2914375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357654$8643FB1D-71AC-4729-80F5-9CDE98B97CC2","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":"Q2357654$CF7EBE76-F0B8-49F5-95A5-35E725376148","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":"Q2357654$C0212549-EA95-40A1-94D3-16A6F92AA8E2","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":"Q2357654$7D1588A2-23F9-442C-BF6D-CF47BE24B43A","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":"Q2357654$9B9C90AC-F38D-43A0-9397-7C0366033810","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":"Q2357654$3ABA76EE-4080-4D36-88AD-054CF82317C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b8eed5e5631201fbd3d32e3e785f4c912de9b5b","datavalue":{"value":{"entity-type":"item","numeric-id":2802455,"id":"Q2802455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357654$5E8EF014-63CC-47C2-98A5-9AE2D3B5DCC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65643692e803769c582772c3f693aa8be8e4da88","datavalue":{"value":{"entity-type":"item","numeric-id":2842124,"id":"Q2842124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357654$6AE0E3AA-387D-40F9-9A30-31D1D795FAD0","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":"Q2357654$FB2D9B4B-193A-49C3-ADBD-A5DDB4BF1E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"681c4d76cbfe7fbf4d6b09b329ce6cf6e0cc0fb6","datavalue":{"value":{"entity-type":"item","numeric-id":714736,"id":"Q714736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2357654$F2D2C0E7-450E-4E0D-BE69-4339F14F290C","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":"Q2357654$0C4DD5D7-E34E-440C-BD21-20528B9E39E4","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":"Q2357654$DFC9E89B-B8E5-4E50-B1DF-61241C15696E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da918ac36adbb569ef1baee68f9c6381fd1ce64e","datavalue":{"value":"10.1007/S00236-016-0285-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2357654$7BF22060-D62F-4D62-B681-DE3D2EB23AFA","rank":"normal"}],"P1643":[{"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":"222ae1b4323355a761acc232c1806a8131e6ce85","datavalue":{"value":{"amount":"+0.999148964881897","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":"Q2357654$ECD853BD-4A09-4CC0-A14C-770C49E7AA95","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":"1a0d9a60f2c4c3f2fccf69d3127b22f6a3540e8c","datavalue":{"value":{"amount":"+0.8595055341720581","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":"Q2357654$AB8C9B3B-E2D3-466E-81A2-B8FFCF43B861","rank":"normal"},{"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":"e575395c20911d63144d7cba74c753060a27f4e4","datavalue":{"value":{"amount":"+0.8195872902870178","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":"Q2357654$BA03B2B4-FA21-4C32-93C9-53FAA0E55135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6be5d489558b1c63708c2620716e6d13499cc8a","datavalue":{"value":{"entity-type":"item","numeric-id":2827461,"id":"Q2827461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10c71d2553ec912f4aa759537e51a2ad03d157a7","datavalue":{"value":{"amount":"+0.796230673789978","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":"Q2357654$2D6735C1-BECD-4632-9FEF-41E281EDC0D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"167b36158091da80bce71e7218fcd6609f454f3c","datavalue":{"value":{"entity-type":"item","numeric-id":1996856,"id":"Q1996856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb656bfe527b845fe9f639b01e79512f29038f4d","datavalue":{"value":{"amount":"+0.7960183620452881","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":"Q2357654$5610CE47-AB96-43A0-BC02-A3EA354F781A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2357654","badges":[]}}}}}