{"entities":{"Q2233400":{"pageid":2244143,"ns":120,"title":"Item:Q2233400","lastrevid":57686448,"modified":"2026-03-31T22:06:46Z","type":"item","id":"Q2233400","labels":{"en":{"language":"en","value":"Fair refinement for asynchronous session types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410423"}},"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":"Q2233400$F3628637-C6C0-4253-ACDE-4099763A878A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68379a1060ca4a9ee2f06b6544e06a1d71d4f410","datavalue":{"value":{"text":"Fair refinement for asynchronous session types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2233400$3943AC49-7C93-4606-8BD2-3932D759A196","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b67c8dd804f14a91c20174bf04cb300d06222d20","datavalue":{"value":"10.1007/978-3-030-71995-1_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233400$A93A75E3-039C-4C72-9CBE-70B6015C7712","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cd47acd96f0440798f39dda095f401684e2f8bb","datavalue":{"value":{"entity-type":"item","numeric-id":347392,"id":"Q347392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233400$2D08023F-E4BD-4DF1-9ED2-608851F406BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f1d7c23f310292dca075efa6e262853e0ebc547","datavalue":{"value":{"entity-type":"item","numeric-id":832187,"id":"Q832187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233400$5064856E-CA64-4C8C-81A7-7E446648EDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22d91e0796f4c68c98b603f92340529dc983950b","datavalue":{"value":{"entity-type":"item","numeric-id":418829,"id":"Q418829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233400$267EC5EF-E7EE-4654-BF90-43A288FA0500","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2233400$A0D0F833-A86F-44F1-A98A-4551CD49640F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8bac61de699bf347abbe603bc37955683feb8e4","datavalue":{"value":"https://arxiv.org/abs/2101.08181","type":"string"},"datatype":"url"},"type":"statement","id":"Q2233400$CAB61A5F-2835-4620-B496-CC434C9992CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233400$70C9ACCC-8A05-4719-BF6A-B33FA99042A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233400$5BAC6527-0C78-4B0A-BA31-7FAB18D1DCA8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ee1ac5432ebe68535be453fd40ad356bfa44fec","datavalue":{"value":"7410423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233400$086CF3B2-32FE-47EE-AC67-1ED95ED59C28","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbfc9efe2708426c86c41393e21566b41f4f22c1","datavalue":{"value":"session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233400$46DBE392-137C-4A57-BEEA-5279FE8C46E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27856c0da695a322e7afa82ea131a6e7281e06ff","datavalue":{"value":"asynchronous communication","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233400$2E1A7225-E163-4378-9648-E22F832377D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233400$66022520-D079-4E1E-8F5E-7A77FA001EF5","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":"Q2233400$6DB49078-F823-445B-9E03-56A54BA7A7D8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"546229c67655fd04be3c43daadb909a63136d210","datavalue":{"value":"W3136104499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233400$5D61F821-4541-4954-B63B-8ADC1C9010EB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"880fae6b4a245a9722e9cde2af4e24ce6f386e60","datavalue":{"value":{"entity-type":"item","numeric-id":5741570,"id":"Q5741570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233400$6FC16B84-8003-437C-9E05-A8AB66AAF046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a00e5f9acb3e071b719cb1ef4646f599160dbbd3","datavalue":{"value":{"entity-type":"item","numeric-id":6043166,"id":"Q6043166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233400$5BC8DAFD-AF1F-4607-A12B-15ECCE3B9D4A","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":"Q2233400$537E8696-D02A-4265-BA5D-CD4FFAFF8408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67149e502fc774c44269780e7fa6172dd6ee2c5f","datavalue":{"value":{"entity-type":"item","numeric-id":5856424,"id":"Q5856424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233400$6D12F960-F8C5-41D4-83A5-9D653D5BD718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7936b855b4220cfa21daf320e88f2d4410a7cf","datavalue":{"value":{"entity-type":"item","numeric-id":2407107,"id":"Q2407107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233400$B28BF292-4F62-4210-96F5-A98A4BDA2730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b666f80cd69278d3fb19208e2673192a6a3c25c","datavalue":{"value":{"entity-type":"item","numeric-id":1704600,"id":"Q1704600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233400$A6EA7B6B-50EE-4CA8-88F6-8196FE0EF07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e00d2b5bfb0e7da19e17a791b6cb7116dc297d6","datavalue":{"value":{"entity-type":"item","numeric-id":2233400,"id":"Q2233400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233400$E3DF74E2-AD5D-40F2-BB71-98DECF59645A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47e0c3dcec45a5961efbc4e2c31777b37beb5377","datavalue":{"value":{"entity-type":"item","numeric-id":3601412,"id":"Q3601412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233400$B060D76B-74A3-4FF0-B11B-3AEE6588B942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1f0d0b384b03ca6c98eaf54d19aa2898f44cac3","datavalue":{"value":{"entity-type":"item","numeric-id":3636912,"id":"Q3636912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233400$279CDBCA-7EFB-4045-B5AE-CC168CE84253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4679e9d355ce9b79d3048e6fa8de9d2a93c55e8f","datavalue":{"value":{"entity-type":"item","numeric-id":5278078,"id":"Q5278078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233400$13B32F01-DC5A-44C2-BA53-FFC22B1B7BF2","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":"Q2233400$BFD85E7D-62B7-4A94-BC30-E92926E68042","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":"Q2233400$308A42BA-3F54-4FEA-BB90-F478828A870F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"610f18af86e72d607815e49bf82138004c1095e4","datavalue":{"value":{"entity-type":"item","numeric-id":2496297,"id":"Q2496297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233400$5F07DF5A-6026-476F-9202-E126EF33A0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f092966db210c9a9c9270bd8c548e203adf45991","datavalue":{"value":{"entity-type":"item","numeric-id":3504343,"id":"Q3504343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233400$9BC2B8C9-6022-4986-BB89-E08B435CB050","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":"Q2233400$E4752FA8-51C4-4717-AA2F-FC4B17585C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d702519d12d96fc0d547ad0b24a8ca8aed45baa5","datavalue":{"value":{"entity-type":"item","numeric-id":2272938,"id":"Q2272938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233400$79F3E52F-7309-4D35-AFA9-07C5E3451FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"277a4096ddaed12bd51e78a0b2eda53e3b646500","datavalue":{"value":{"entity-type":"item","numeric-id":2988385,"id":"Q2988385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233400$74297FF5-8E18-4A02-BDD1-A67E3B92B522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5c509e9f896407a8f270a7bcdc0c64d92c27dd","datavalue":{"value":{"entity-type":"item","numeric-id":3617708,"id":"Q3617708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233400$EFA641E2-905F-45AF-8BD6-355CE555A587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233400$023FDC23-DA69-4A0C-96E9-915385C9036C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32f3b732b9b3d6dea2c57008741bfb2e3f76dd10","datavalue":{"value":{"entity-type":"item","numeric-id":5327448,"id":"Q5327448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233400$EE61104F-C49D-40AE-8D4B-33C3748567A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d9b02f32dd42919f21b5efc312d68c6e3aefeb","datavalue":{"value":{"entity-type":"item","numeric-id":5741567,"id":"Q5741567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233400$654EE0C2-4F7C-4557-A356-CE9032A8D76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6beb7146573df92504a1ce08ee2a606525f7208b","datavalue":{"value":{"entity-type":"item","numeric-id":865623,"id":"Q865623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233400$3BC72F90-ECFC-406D-A13B-4C3D15AC3A64","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":"Q2233400$78FE3586-CB38-406A-82BF-1AE1D6488758","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2233400","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2233400"}}}}}