{"entities":{"Q3177766":{"pageid":3188476,"ns":120,"title":"Item:Q3177766","lastrevid":86388836,"modified":"2026-06-03T19:55:00Z","type":"item","id":"Q3177766","labels":{"en":{"language":"en","value":"Multiparty Asynchronous Session Types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6912575"}},"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":"Q3177766$07CF9523-D19C-40F0-8C46-0A540991996A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ede12c8d9f715bd50e512334cb3d0fdacbd474a7","datavalue":{"value":{"text":"Multiparty Asynchronous Session Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3177766$C3ACD1B8-9334-4404-AA22-1336ABD6EF50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7774f798e20221b43d9a43c26564eb4a74fd2fd","datavalue":{"value":"1426.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177766$115D54D6-94C9-47F7-9407-7FB4452FA029","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"373e2695e49ca09ec3a42e86e19bf161ee8c8345","datavalue":{"value":"10.1145/2827695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177766$ABB19848-76D9-45E5-B3CA-4A5499EC9FB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea26bd9363516a1e83177046ce0c28b82e974bb6","datavalue":{"value":{"entity-type":"item","numeric-id":387992,"id":"Q387992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177766$6C5187D2-4478-452D-92FD-0D6EA9E9EAD5","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":"Q3177766$81174363-5C80-489E-A84A-73906DD01761","rank":"normal"},{"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":"Q3177766$66F7599F-B70E-4DAA-9079-0AFA3E7F65A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3177766$7A2041B1-2646-4DEA-B15F-4F5CD48605DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9aa22cb8a96ecb8781adebec8cb26e1601a98e8","datavalue":{"value":{"time":"+2018-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3177766$22DCD637-7B82-4D24-8E58-203E9B08DC18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177766$8638A2A8-D0A5-4B09-B98C-96E43A3EF024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177766$6091E72A-5383-4945-9F0D-5E4AC0B05FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177766$D10333D6-456E-42CB-BC9F-55B4F49A2A5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31305d144539715f781df98c0f4c142f52080893","datavalue":{"value":"6912575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177766$8AB2D934-89AB-4BEB-A83A-8AD5B90C119E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbfc9efe2708426c86c41393e21566b41f4f22c1","datavalue":{"value":"session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177766$5FAA5123-55B6-40CA-B020-2141314F29A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ca9b001c4071e057efc9f82463651427ecb4a5d","datavalue":{"value":"global protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177766$76A90EA7-4101-4031-AD01-ABA2EA67F6B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec1faaefeae97bf2a9ffe5ac15fff7687e4d5160","datavalue":{"value":"global types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177766$D23C823B-DF8F-4817-AA94-815520D99CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5cedc1a875d8083748dd695c5b423bf932b1222","datavalue":{"value":"pi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3177766$E064EFEC-A01B-4BBD-9838-69545A2B1783","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":"Q3177766$B29EDFA5-DC3B-4F0D-8201-6D7CC8BF099F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"921646b034c2251160c5216ae5846715729b9acb","datavalue":{"value":"https://doi.org/10.1145/2827695","type":"string"},"datatype":"url"},"type":"statement","id":"Q3177766$8C4B5B81-2A7E-4A7E-95ED-C8CA6A3F8BB2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8bc34fbf167a47bb362e9be57e0f2bfd8f569905","datavalue":{"value":"W2325347394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3177766$6722DB4B-3464-4240-BFBA-DC855083F56B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60648d16db3a20feed5e3edd3955748c5bd81350","datavalue":{"value":{"entity-type":"item","numeric-id":3189846,"id":"Q3189846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbab897a6d3e720dc80b67e0eef4e13e205a07dd","datavalue":{"value":{"amount":"+0.9999999","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":"Q3177766$1E7CBE92-A22E-4E4D-9586-FB2576F40519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ba14d364e976a6149fdf135a74d47d108a3264a","datavalue":{"value":{"entity-type":"item","numeric-id":2822666,"id":"Q2822666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0cd09b1f5e8dabf815d31f948cc0c8e9b17cd04","datavalue":{"value":{"amount":"+0.9352172","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":"Q3177766$8B2FBF93-3C1D-4A95-9E43-33518B0D6AA9","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":"721dc806c6b6acc1a9418a80dc7653b104eb7bd3","datavalue":{"value":{"amount":"+0.9080479","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":"Q3177766$5919B6A4-D741-4616-8DBB-D3E2F46DCB06","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":"721dc806c6b6acc1a9418a80dc7653b104eb7bd3","datavalue":{"value":{"amount":"+0.9080479","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":"Q3177766$1F2B4435-A32D-424C-B757-5612F6C44C28","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":"9531a4e6a4491c0f69f1846f61493e51a2bafb50","datavalue":{"value":{"amount":"+0.8891907","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":"Q3177766$2C616E5E-F1C9-40A6-9ECD-7DAC01C775C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4264425dbe356dd2a8915ceabf9a57f6d852c76","datavalue":{"value":{"entity-type":"item","numeric-id":3190133,"id":"Q3190133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6959a5225299a9c312148740b9c2fec9e181b347","datavalue":{"value":{"amount":"+0.8636445","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":"Q3177766$A5D57155-953C-40C1-BB69-8820A62E38D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3f2ddea5b9a92ca2bf09131cfb881d179a9da83","datavalue":{"value":{"entity-type":"item","numeric-id":5886521,"id":"Q5886521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10b0801c55a522c83334e4b4c928dc8d181f6b1f","datavalue":{"value":{"amount":"+0.85653657","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":"Q3177766$AB4B08F7-F867-4560-BDAE-88FE83523BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"901d3cae66ef36d1bc616b7e197894f09e389c9b","datavalue":{"value":{"entity-type":"item","numeric-id":2811929,"id":"Q2811929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ecf210d94bc3173ea5847e985cc0fc9cadb14d8","datavalue":{"value":{"amount":"+0.85462487","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":"Q3177766$C1C61A0A-9886-43FF-89E7-47CA1C553BC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Multiparty Asynchronous Session Types","badges":[]}}}}}