{"entities":{"Q2988385":{"pageid":2999109,"ns":120,"title":"Item:Q2988385","lastrevid":52810844,"modified":"2026-01-23T13:34:46Z","type":"item","id":"Q2988385","labels":{"en":{"language":"en","value":"On the undecidability of asynchronous session subtyping"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721005"}},"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":"Q2988385$E544C48C-DB4B-4567-842A-C1BDFE6F9651","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ec24429fa349e5556c1ebf29dbf0f8d74964930","datavalue":{"value":{"text":"On the Undecidability of Asynchronous Session Subtyping","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988385$9CC99FAE-5FF5-4F1B-B56C-EF80AA211C90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8abf1fb7e3461f2883380e09e5a0d3a6fac2ab79","datavalue":{"value":"1486.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988385$5870B3E1-173D-42B9-AAEA-E59A8CB69FBA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ef39b0c19c03d8d2272b637bdbe5085e8124660","datavalue":{"value":"10.1007/978-3-662-54458-7_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988385$C8273DCF-DFEF-4692-86A7-B86E265F617D","rank":"normal"}],"P16":[{"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":"Q2988385$FCECB9F0-1701-4F3F-842B-6A616E7DB2F0","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":"Q2988385$C5E5D717-E7F0-448E-B3AD-2701B3E7EBEC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988385$E0F467B1-4C24-46F2-9649-22DCDFB00758","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2988385$5B40BBAA-87D7-4F67-98D1-54BC4A277EF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3f403cd2e8442291a3bdf8f4f2364380a267d5a","datavalue":{"value":"http://hdl.handle.net/10044/1/44467","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988385$DE331DDD-B9C8-4A60-B5CB-7E67E8DAFEB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988385$23543ABE-53BB-44E7-9EF9-81C05AD7CA30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988385$97BE2E3F-71DC-4332-A6CB-9B2112193FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988385$0F991786-DAC6-48CD-8E11-DDCED477DCFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8c8a6999dcae7610f0938e7c83f0da4ee4db96c","datavalue":{"value":"6721005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988385$E8E519A8-9C7A-4820-959B-2492E9ACD704","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":"Q2988385$92D4157E-CA78-49E3-8E56-470149B0A84E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"681c20e0ae076b5d6b02ab82799ca637c8d15f81","datavalue":{"value":"W2610085676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988385$913E9149-1A23-4C80-B31A-4B97A0A158F7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbee3a31c9ee7690081ece2d8f499d8761f483f3","datavalue":{"value":{"entity-type":"item","numeric-id":2974791,"id":"Q2974791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988385$822F2AC4-30BD-4ECB-9523-E3D506237EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ea2755147c734fa04bd3a35b4904da741f401c4","datavalue":{"value":{"entity-type":"item","numeric-id":5357710,"id":"Q5357710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988385$D07F0E31-6E02-4497-A017-A4CA72817B7B","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":"Q2988385$D711F5FA-F44F-4A55-990E-842BFA3781C2","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":"Q2988385$1C65B1D9-BD1C-4BB8-999A-56005454BF94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44a7e72b95a10f2dc9da6b549a054bde0a8ed786","datavalue":{"value":{"entity-type":"item","numeric-id":5756486,"id":"Q5756486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988385$7541C43F-5871-4EBB-AE3A-1227133D52D9","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":"Q2988385$9A22F0C5-18CB-45F5-9DD2-2611A00EA2A8","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":"Q2988385$7D64BE5C-4DE6-4B7F-B810-4434489A40AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21970f441b7ab6aedb2c9a1e0ac57a9521b843e5","datavalue":{"value":{"entity-type":"item","numeric-id":3090836,"id":"Q3090836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988385$C7D10699-D418-486F-BEBA-B28EF7A49C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8871c7852be2498fe518d1f13f642d17ade6f329","datavalue":{"value":{"entity-type":"item","numeric-id":5275396,"id":"Q5275396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988385$910A989E-4DFF-4D68-914D-4C23711F542F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0167dcff6eba422b1bede60b9ec156d19a634b5d","datavalue":{"value":{"entity-type":"item","numeric-id":3584941,"id":"Q3584941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988385$C8EC543D-D5E8-4C1D-87D9-858622F3CA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7249997795b9d02768ef290f3b6e95e3bd93aadf","datavalue":{"value":{"entity-type":"item","numeric-id":2892728,"id":"Q2892728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988385$C2817383-B0B5-4371-A116-3CF7C5C9EA15","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":"Q2988385$67BC1438-2397-4F67-95A1-8B414B03AB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae3308ffe15792f41e5380c37fbb986000de73f6","datavalue":{"value":{"entity-type":"item","numeric-id":1269916,"id":"Q1269916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988385$57120A1D-4AB9-4C00-B28F-00346D22F05A","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":"Q2988385$2108E90D-9849-4CE7-AB75-C42EAE256AFC","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":"Q2988385$DEC4C64A-AE0A-40D8-B271-310DC98E791F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0359303f542d3a6625160082a639b43abfeb7b69","datavalue":{"value":{"entity-type":"item","numeric-id":3719838,"id":"Q3719838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988385$FCD3DB79-E02B-4B9C-A21D-B03F85A86649","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":"Q2988385$26A3591A-F1F6-4E45-8AFB-F2FDE7962528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b36d027cfc80339c900d67fdbde86694a39c3321","datavalue":{"value":{"entity-type":"item","numeric-id":3637196,"id":"Q3637196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988385$C80425A2-B74C-4C84-BBE9-D1742DA8F3A7","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":"Q2988385$E3FDC9CF-5D74-454A-92B0-1B64CB8A204F","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":"Q2988385$E9B4C0DC-8707-4E13-9EFD-29E203F30A82","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":"581037fe54e44b864782f5fc972a02bf7d63492f","datavalue":{"value":{"amount":"+0.919524312019348","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":"Q2988385$A7A883D7-DC8F-406E-BD9F-0411AB222B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e262a7774ba35c0e77b0de8a32200bd6c6329830","datavalue":{"value":{"entity-type":"item","numeric-id":1704600,"id":"Q1704600"},"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":"Q2988385$345CE2BF-E666-4D4C-9FF1-BCE0ED4527E6","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":"69a6be2edfec0d596b09578deb851aad35ff5d52","datavalue":{"value":{"amount":"+0.8169589042663574","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":"Q2988385$DE86C33A-A3AC-4430-871F-DA783D4CAFC6","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":"6791c663acec43fd79a27a7854217e3fb6e7c5b4","datavalue":{"value":{"amount":"+0.7958055138587952","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":"Q2988385$7624A719-F371-43A2-A17A-E4A131AAB665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4b521fedef992554e6e1730d99769f5c219ed1d","datavalue":{"value":{"entity-type":"item","numeric-id":2343135,"id":"Q2343135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7621c6d7ee336f435b25ce9f47b135b2b1c05328","datavalue":{"value":{"amount":"+0.7363827228546143","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":"Q2988385$95948ABA-F17B-4190-8E62-FAD47654C5B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2988385","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2988385"}}}}}