{"entities":{"Q1704600":{"pageid":1715341,"ns":120,"title":"Item:Q1704600","lastrevid":73809120,"modified":"2026-04-14T17:19:48Z","type":"item","id":"Q1704600","labels":{"en":{"language":"en","value":"On the boundary between decidability and undecidability of asynchronous session subtyping"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6849022"}},"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":"Q1704600$1A1F78D6-E6CC-420D-A031-39DDCABD7C9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a137629ec9e26bdd6879a381a46cb7c869a90636","datavalue":{"value":{"text":"On the boundary between decidability and undecidability of asynchronous session subtyping","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1704600$36F6138F-8624-456D-83DC-661772A06679","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4fa7a003feb04b8d8b988045165f58bb4e18e7a","datavalue":{"value":"1388.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704600$3E0E75B7-E7B7-4250-B37F-21254C3808C2","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":"Q1704600$B28A3056-8502-4940-B76C-EA8E9AFA34C9","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":"Q1704600$E2DAC922-0E47-4EB8-872D-553F33B0944A","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":"Q1704600$A0F9D885-C353-405C-8F94-10380B18FC59","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704600$B3F37905-49CC-4242-9FB1-F6AB9235D638","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cc8ff785145483794beca95dd57f9ed4de5b6fd","datavalue":{"value":{"time":"+2018-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1704600$B01E7BED-16E3-4029-B07E-C480A6EA815A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4ba65ef4d8b2f603e17466026305f545eb2a994","datavalue":{"value":"https://arxiv.org/abs/1703.00659","type":"string"},"datatype":"url"},"type":"statement","id":"Q1704600$D7007F4B-5764-4990-A00A-BA76893BEE3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704600$4B8C66B8-D547-4FAF-A269-1A76FDA9A79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704600$B1902AB8-7547-4467-942B-56247EE311AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"452bfe5e659ed6b133ddcaef2308a10df9e6727b","datavalue":{"value":"6849022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704600$70A24C20-2EFC-47BC-94F1-ECD9804CB28A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbfc9efe2708426c86c41393e21566b41f4f22c1","datavalue":{"value":"session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1704600$EBFB6466-95BC-4233-A1C3-F108D38E3282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a45b45c8a8a469f3e98f9cd8bba1df30284998fe","datavalue":{"value":"asynchronous subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q1704600$EC146DD5-7ABD-4A11-8A32-AB3842EE3AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1704600$8A91C83A-F1FB-49AF-A077-C15366745EDD","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":"Q1704600$F9E3F106-1A21-4A03-980D-6E16A1E83E87","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e4be5fbeee53c93e85fe291f3a815af76a1e3022","datavalue":{"value":"W2786270130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704600$2B843101-9C6E-4296-8CA0-588CE3133A8A","rank":"normal"}],"P223":[{"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":"Q1704600$31AADCE8-ED5D-4419-B981-F00828FC1229","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":"Q1704600$946C28B7-21E1-4CCF-9EDA-D42C0861F1E2","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":"Q1704600$DDAB97D2-BE1B-48D6-B1B9-259229282188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f846ab6e21c0945d1515060e899f12f8e5e07267","datavalue":{"value":{"entity-type":"item","numeric-id":3188281,"id":"Q3188281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704600$3319B92E-B12A-46F0-B345-292CE645056A","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":"Q1704600$B091D064-2392-458B-B865-87BFCED23154","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":"Q1704600$B6E3B7A8-BA51-41A4-BBC1-BF5C98AFB418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94cfb261abf4927c037a8cca169f54ff4ce8b2bc","datavalue":{"value":{"entity-type":"item","numeric-id":2343135,"id":"Q2343135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704600$A94AD9F1-664C-4108-9DC0-89B44B48CF41","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":"Q1704600$0296B341-8CF5-4F5C-A8F8-5A5EAF099A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb53b69a005134b7aae07b4949b21bc26d9d6bca","datavalue":{"value":{"entity-type":"item","numeric-id":4344149,"id":"Q4344149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704600$9A0283B3-70ED-4AE3-8018-AEF880AA4E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cbb5fc0f424362cd91e219da1f268b5db43f7a4","datavalue":{"value":{"entity-type":"item","numeric-id":2573635,"id":"Q2573635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1704600$CD6AD95C-E953-40D6-B5E7-3D57FAFB71AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d94acc404719e68c61047fc174c5a040a1059af0","datavalue":{"value":"10.1016/J.TCS.2018.02.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1704600$369A1B15-7F19-4269-9685-749CFC27D467","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01615a9d5e63f7cb5c68bbd6f7ca195da6dbb68d","datavalue":{"value":{"entity-type":"item","numeric-id":2407107,"id":"Q2407107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44cb9cc1bb851c6ba64a2214c88d10a4f890108b","datavalue":{"value":{"amount":"+0.9119560122489928","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":"Q1704600$6CE1E4DB-A910-496B-ACE4-CCB63C2DCE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa05ff4bb8e74166a49ec434751eff5c5b4ec239","datavalue":{"value":{"entity-type":"item","numeric-id":2988385,"id":"Q2988385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5303cec3566bd1ece7669ccae093a7d1fad990d","datavalue":{"value":{"amount":"+0.8951134085655212","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":"Q1704600$BEF503FB-7D21-4EF2-AE95-EC43947778D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527e468e0948b51872f142f01291e2b8a1157876","datavalue":{"value":{"entity-type":"item","numeric-id":5856424,"id":"Q5856424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ede20c901bda1d30d26962e7104fb0cbc75003d","datavalue":{"value":{"amount":"+0.8411979079246521","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":"Q1704600$46A472CA-8E4F-4E31-9D2C-34FFC4FB19E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cc4e4f19f12abce6f4fe2420783e19c46293417","datavalue":{"value":{"entity-type":"item","numeric-id":5278078,"id":"Q5278078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29f009283cad8e26e63de9385af5d84779548938","datavalue":{"value":{"amount":"+0.7941243052482605","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":"Q1704600$36D7F5ED-D957-42A9-999F-E87ABB4C9704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59ac62ee85f72fb22308a132b42bebe062abd234","datavalue":{"value":{"entity-type":"item","numeric-id":3535678,"id":"Q3535678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83da6715b42a7b73cd74a98b4727e010c1e762ab","datavalue":{"value":{"amount":"+0.7629504203796387","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":"Q1704600$89D86337-DD70-4529-AB66-5462CB11DED3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the boundary between decidability and undecidability of asynchronous session subtyping","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_boundary_between_decidability_and_undecidability_of_asynchronous_session_subtyping"}}}}}