{"entities":{"Q7310281":{"pageid":31275382,"ns":120,"title":"Item:Q7310281","lastrevid":105090682,"modified":"2026-09-16T15:18:39Z","type":"item","id":"Q7310281","labels":{"en":{"language":"en","value":"A sound and complete characterization of fair asynchronous session subtyping"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8236345"}},"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":"Q7310281$D33381D2-FF1F-44CD-BCD1-0638F7FF9984","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69701aa23f4d6d11fd7516627d5e8d07fb1caafe","datavalue":{"value":{"text":"A sound and complete characterization of fair asynchronous session subtyping","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7310281$A3DFBAA6-B1D1-483C-A0B5-84CC0934417F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed540ace2facd47e2dc26a96d73667034247eeda","datavalue":{"value":"10.4230/LIPICS.CONCUR.2025.11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310281$EA7C2A0E-1FCF-4681-89ED-CC402EE7450C","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":"Q7310281$94046168-41CC-4438-80C9-14943051E1C4","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":"Q7310281$584B2D70-7F8A-490C-AF92-E0612B6B2BDB","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":"Q7310281$654A4034-5A11-4CFC-964E-CC048D7AE840","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d490a277979be2253fe548317caa03f890fc8363","datavalue":{"value":{"time":"+2026-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7310281$E0468C9C-5735-457B-AE0E-4C479E635CDF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310281$8CDE746E-AC88-4FA3-8830-3C65C501CCF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40fc59cea0db0e8766d6c912fb8f0b1afb726ead","datavalue":{"value":"8236345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310281$F28523E2-CD75-4278-B660-48E5EF0D8AD5","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":"Q7310281$FA7BCC03-6F8D-493B-BC5F-52917D2BB9D0","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":"Q7310281$14CDC954-385B-4287-A4A7-DC3BACD8AAC8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dbf87acd3350568cc9210548287e9db78aa6fe9","datavalue":{"value":{"entity-type":"item","numeric-id":2988632,"id":"Q2988632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310281$B651D17A-FF02-43E8-BF9F-F858B8A2A4CA","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":"Q7310281$63A676F4-D968-410C-82F6-C079E3DB3E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d3d3f46df6998b74a90db3f7d4960b38f8ddbd9","datavalue":{"value":{"entity-type":"item","numeric-id":5875400,"id":"Q5875400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310281$8C09987A-7B41-4E1D-BEAC-D27A0CBE4DA0","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":"Q7310281$BFBF0057-7B03-48BD-B1F1-1186B08FFE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0116c082347f08873340fc5bfac0764a268029a3","datavalue":{"value":{"entity-type":"item","numeric-id":6635515,"id":"Q6635515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310281$CAC3E588-85C5-46B4-B3AF-17A609AD583D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310281$E28B8F02-DE9F-4EC0-9A58-787660C12C18","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":"Q7310281$99D148E1-9779-420D-917F-05FB395A7FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f97aebf72bb2b9c9d1f07d6025ffc619a67a97a0","datavalue":{"value":{"entity-type":"item","numeric-id":6561335,"id":"Q6561335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310281$4B4167DC-980D-4503-A9E9-ABC9F2413B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48cb3d718e8405ae93e73c55f00b10f912e384b6","datavalue":{"value":{"entity-type":"item","numeric-id":5043586,"id":"Q5043586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310281$AD1E6BAC-64DA-42DE-95A7-C310A149A5C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310281$53DE6712-DCD0-4841-A0DE-71ED533B9C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"117ff983abbc8aed272ed7061716fc5569d9bdd7","datavalue":{"value":{"entity-type":"item","numeric-id":3121528,"id":"Q3121528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310281$828ECC67-A673-4784-851D-DFBC5B7708E6","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":"Q7310281$54CE57AE-E490-44A2-929B-004F22F52DE3","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":"Q7310281$91565896-D44E-44C3-97EF-BDED0F4CE2E3","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":"Q7310281$9956A1DC-049D-4E4E-87B3-399A91F06750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310281$B9E1E924-5016-4C4E-81F2-AB1E04E2D545","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":"Q7310281$0DE276AA-61C6-4F60-96EE-FA945713594F","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":"Q7310281$BCCD7598-47AA-4F56-AA5F-77F0AF0963A1","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":"Q7310281$E797EB40-D219-4DBA-A470-43D3009587D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A sound and complete characterization of fair asynchronous session subtyping","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_sound_and_complete_characterization_of_fair_asynchronous_session_subtyping"}}}}}