{"entities":{"Q2881091":{"pageid":2891811,"ns":120,"title":"Item:Q2881091","lastrevid":58048560,"modified":"2026-04-03T14:39:34Z","type":"item","id":"Q2881091","labels":{"en":{"language":"en","value":"On global types and multi-party sessions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6021341"}},"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":"Q2881091$47C9548D-4915-47E5-AABA-D5A09D72360B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1629b63f659a3af7771f87d416b3580cb5085bd","datavalue":{"value":"1238.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881091$83A67C1F-5656-412D-86A4-F128DBFD8D92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8b42bf1bc987d4f20e09e21703ea218427e0417","datavalue":{"value":"10.2168/LMCS-8(1:24)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881091$F74EEE18-8F66-400E-965D-3F4621687FC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b209780d81daa64ec96c8241b2924bd88decdd8f","datavalue":{"value":{"entity-type":"item","numeric-id":930880,"id":"Q930880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881091$A47F2EB1-FF6A-47E1-ACE8-B169D0F6EC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69275045e726ef1c313be8e61b328d9b029abc4a","datavalue":{"value":{"entity-type":"item","numeric-id":235595,"id":"Q235595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881091$24A5F9EC-EAF6-4192-8C43-D16851F13A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d55eb18a73a628c8e09a659ca6d5302e982bf63c","datavalue":{"value":{"entity-type":"item","numeric-id":493533,"id":"Q493533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881091$7E9EAD68-F745-4B3B-82C0-A3C68FB78D24","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881091$7289DE01-F4EA-4C8C-AEB5-F369EFEA580F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d567b51f320d6b206f1e246178a080db047a3948","datavalue":{"value":{"time":"+2012-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2881091$D908735A-FE3A-4B8D-8FAB-3D1F404178B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b221cf57a9cbed83c8eb203d7f7948d8ff4f6d13","datavalue":{"value":"https://arxiv.org/abs/1203.0780","type":"string"},"datatype":"url"},"type":"statement","id":"Q2881091$D5EBA35B-B925-4684-AFBA-ED509E411289","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881091$DED1EAF3-454C-45D1-B001-9D8528C72F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb3685facee6981d0664afe5afbdc986c78292cb","datavalue":{"value":"68M11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881091$FB8376A3-C1C9-407B-8B14-60C586E667BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881091$DEEB5552-2F08-4119-894A-A815DB36D053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881091$BEC7E6BF-033C-4719-BC6F-3C4D9DD5D1B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881091$0B724703-78C7-41DB-A4C7-40B837D15479","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f75fab884eac1e86fdc22c6b84aa79de9750d46","datavalue":{"value":"6021341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881091$8250DF9E-78C6-4D49-9096-A7DDF246D9EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d17c23c3d6a2abc84029cb6ca54e8b131745004e","datavalue":{"value":"web services","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881091$609C93CB-A006-4F53-91DD-966B06439B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bb526006c296d655f0c4b4331f09f72b4d0aed3","datavalue":{"value":"concurrency theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881091$3986287E-A143-4A2D-AEAA-D7B77466143D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881091$F0562C0D-BDDC-46D3-A16F-C170FE02152B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881091$20440140-88D9-4C88-AB96-0A052B1A50F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec1faaefeae97bf2a9ffe5ac15fff7687e4d5160","datavalue":{"value":"global types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881091$A0582E40-DA0D-4C1F-9343-D5C157E9E5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbfc9efe2708426c86c41393e21566b41f4f22c1","datavalue":{"value":"session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881091$6D17989D-580D-411C-932C-B216FC0C701C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15db61fa432026488c4ff63cfec65b45cbb00638","datavalue":{"value":{"entity-type":"item","numeric-id":18651,"id":"Q18651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881091$6396C77B-7B7B-40F3-8EA8-69C593DA654C","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":"Q2881091$C0FB0FFA-C228-4A38-AF80-FC28D053F66B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a973011386ffed887dbd6db011437bccaccd7584","datavalue":{"value":"W2626089800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881091$A823AE12-C614-409F-BD8D-3F8273B4D97E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98603949d4b83296bdeb8b3ba9caa1d1d5fbd98f","datavalue":{"value":{"text":"On global types and multi-party sessions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2881091$AC7BFEA4-3C09-4916-919F-40A05B655432","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25c6736020e18ea9a02e907fd58a86ebc9050799","datavalue":{"value":{"entity-type":"item","numeric-id":5327432,"id":"Q5327432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01691fe39cb9f4501e8ccad28475f6d00c445274","datavalue":{"value":{"amount":"+0.8104121685028076","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":"Q2881091$5033D443-79FB-4BC3-BD2E-E697AEDB5F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ccf3c0b50627246ff24e1d0d2e0a68c1a5a39dd","datavalue":{"value":{"entity-type":"item","numeric-id":3541035,"id":"Q3541035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d021bed8b96afdf0b1e89a8f1abe5c8cb606546","datavalue":{"value":{"amount":"+0.8010087013244629","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":"Q2881091$61923587-FF51-4ADD-92EF-60572365A2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c43a0705d6e56e42a254b1f11c66ea7e408d50e","datavalue":{"value":{"entity-type":"item","numeric-id":3177766,"id":"Q3177766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae950613df3f4bc04c866797e2ba9b90a458f472","datavalue":{"value":{"amount":"+0.7855169177055359","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":"Q2881091$360615EC-D278-48E6-8FFF-45B26B004325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02f2a084cbb72efe15a1c3b36c658e04119f8d4b","datavalue":{"value":{"entity-type":"item","numeric-id":2864218,"id":"Q2864218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c26c987f5006aab802986e04d6e07d6001318e9","datavalue":{"value":{"amount":"+0.780666172504425","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":"Q2881091$8DC7D752-2BFD-47AA-BA75-DCB6C52ED9BD","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":"42469fe16a5cc85e733bd91342701fc23ade1944","datavalue":{"value":{"amount":"+0.7772599458694458","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":"Q2881091$41278C24-900F-4170-B243-4F2BD9800047","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2881091","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2881091"}}}}}