{"entities":{"Q2407107":{"pageid":2417850,"ns":120,"title":"Item:Q2407107","lastrevid":74123004,"modified":"2026-04-14T18:30:05Z","type":"item","id":"Q2407107","labels":{"en":{"language":"en","value":"Undecidability of asynchronous session subtyping"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6782891"}},"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":"Q2407107$3DE20F30-C110-4844-8540-032B566E4AAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"483ca70356a108ebe96ed5fe42d52ef883e16ddc","datavalue":{"value":{"text":"Undecidability of asynchronous session subtyping","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2407107$0B721F10-55D8-45BF-83D3-D64025E80ECD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a765cce449b04a20f376ea5868fb8ff2694d85b2","datavalue":{"value":"1376.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407107$7C376639-B062-4F70-9DA0-C918F7DF39A6","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":"Q2407107$737148FF-F90E-481E-9E4D-1F1742954048","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":"Q2407107$F9BFD08E-32AA-44E9-9B6E-FFF465771C69","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":"Q2407107$95BE47D8-0E65-4E81-8A79-9DD3E33007BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407107$42257F77-3955-4BDB-9769-A29954AC2D7A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f72265dfaac0bc8e24a1f91fd4a1bc20423d8c4c","datavalue":{"value":{"time":"+2017-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2407107$888398C8-F7FF-45E9-A0FF-5B7B74D0BD99","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4af21e545b9b3bd7ff7132989b25c283217bd3f","datavalue":{"value":"https://arxiv.org/abs/1611.05026","type":"string"},"datatype":"url"},"type":"statement","id":"Q2407107$3942B1C4-3129-467A-9281-B43001812006","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407107$38D8600D-EEBA-4B06-8BBC-55194C4F6357","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4c87fd513d69359d1ddb178a7b5f384e2f56e49","datavalue":{"value":"6782891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407107$9C3EAA02-628A-4EAD-A555-0EB9F27CBC56","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbfc9efe2708426c86c41393e21566b41f4f22c1","datavalue":{"value":"session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2407107$0862D441-B249-4FEB-87DD-B192B0233D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q2407107$21BFAC47-4829-4216-B0CE-3FA3B2BD65D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2407107$8193385F-BEC2-492F-9E7E-A8DCAD212998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"368f0f5fbabaace38bdb6712e789e16c7fea661c","datavalue":{"value":"queue machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2407107$A15CBFC3-29D4-43DF-80BD-046A0F59C761","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":"Q2407107$7AFE86C1-1892-4AE7-98B4-8CD8CB5E543A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b624b5cb93b8abc0b565d1e2973f82bd8edee2f0","datavalue":{"value":"W2553870630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407107$F1355BFD-8FBF-437D-A32D-B91A6839E189","rank":"normal"}],"P223":[{"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":"Q2407107$3C552BC7-D44B-4EF8-BF8B-BA9DBD55803C","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":"Q2407107$04179012-BA98-4C6E-9BCE-B144167EFFEE","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":"Q2407107$CED79622-8E95-491B-AEA6-4D619DFC3A9C","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":"Q2407107$596D8D24-7A08-4F9B-85E7-C3382C186502","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":"Q2407107$3DCED212-34A1-4E69-8748-6B47E6724FEE","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":"Q2407107$7FC2177E-D015-4E7C-8118-5760B3BCFDCD","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":"Q2407107$E83A6753-F503-41D5-98CE-AE2C98D0CDFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43cc648399c2d4d2653af94fefa4c22f3fb8f637","datavalue":{"value":"10.1016/J.IC.2017.07.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407107$46DD850A-8AF6-43EC-9203-588A6AFD88D0","rank":"normal"}],"P1643":[{"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":"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":"Q2407107$9AAAD6BE-8974-4861-847E-AC981C3F6FAE","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":"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":"Q2407107$0AB78449-D7E4-4013-BDC1-2630F3D2E678","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":"dd448ffd9eb275ac80c034fb6c60135352609115","datavalue":{"value":{"amount":"+0.8608810305595398","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":"Q2407107$EFD2275E-CECC-45EF-936A-C919EA08147E","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":"4719b2749bcbeefe28c16e8dc7b418e06871548a","datavalue":{"value":{"amount":"+0.8091565370559692","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":"Q2407107$10DEC3C5-9DA0-4BDE-A934-0D76A7C113B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f37d734c5db9f72be826275226d458ddbf141799","datavalue":{"value":{"entity-type":"item","numeric-id":5189644,"id":"Q5189644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c207f84f3d252880a072ac02a876f22fdc90ff56","datavalue":{"value":{"amount":"+0.7827978134155273","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":"Q2407107$BE745B8E-9467-48E0-84D1-53BE45E5CF5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidability of asynchronous session subtyping","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Undecidability_of_asynchronous_session_subtyping"}}}}}