{"entities":{"Q6987762":{"pageid":21429582,"ns":120,"title":"Item:Q6987762","lastrevid":84013406,"modified":"2026-05-07T22:25:01Z","type":"item","id":"Q6987762","labels":{"en":{"language":"en","value":"Crash-stop failures in asynchronous multiparty session types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8036508"}},"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":"Q6987762$A3F26781-5DA2-49C5-A414-D45994999C3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c38f0cd8afaf8c93bc22ac39cc812d0966c34181","datavalue":{"value":{"text":"Crash-stop failures in asynchronous multiparty session types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6987762$C8D1E34D-12AC-4F80-95CF-C10E1E3984FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fe634fd1c6e8ebc47a3ffae5b50cac009e884cf","datavalue":{"value":"1571.68125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987762$B6B8E324-28C6-4E41-B68A-AFF51B0D6805","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0b94e2ba03916d075209364f9dc9ca5aff96800","datavalue":{"value":"10.46298/LMCS-21(2:5)2025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987762$BA132471-28E3-4967-AD80-0BD0E7850BED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40b1d5080ea251ba1d94a2f4d79f59262d64abe3","datavalue":{"value":{"entity-type":"item","numeric-id":6587144,"id":"Q6587144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987762$4FD34580-9D1C-449D-9636-A099AED06902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"727393301d96876ba125e854671a1a21318d39b8","datavalue":{"value":{"entity-type":"item","numeric-id":1294995,"id":"Q1294995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987762$298A1049-13BB-4487-84B1-35FF3F81697D","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":"Q6987762$48A64CEB-098E-4BD0-AE6C-6841702A0689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df12c29ec81b8c74881b080e26d8ac395e96b04a","datavalue":{"value":{"entity-type":"item","numeric-id":2140474,"id":"Q2140474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987762$8223A448-97AC-437D-8A97-0DC5CC2981F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987762$F21D739E-CFCA-4BCC-B6D6-E523EE07BCB4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0c6e7cee756d60a186298d89dd81280bc508703","datavalue":{"value":{"time":"+2025-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6987762$C8CCF42A-422D-42A9-AB46-4AA94A76B811","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987762$72EA9B00-F024-416C-9F0A-CAF97AE02F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987762$A85CBB48-10BD-49D6-8F79-9FFEE82E2C92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"048e4bd9aeb19a914d016a444963e7741699adb1","datavalue":{"value":"8036508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987762$87CF43FC-A18B-4C0C-85CF-8D093AEFD8A2","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":"Q6987762$6E507A55-FE82-47E4-AC33-96C83C4B5C61","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbfc9efe2708426c86c41393e21566b41f4f22c1","datavalue":{"value":"session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6987762$63F13782-B0B5-4ED2-A59A-CCF9A40A4D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"559ac32fed3920552330c8676b21797b05c70e3c","datavalue":{"value":"failure handling","type":"string"},"datatype":"string"},"type":"statement","id":"Q6987762$1590180A-8474-480A-8B58-3760265362AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q6987762$92D157A5-74BF-4B1F-BA7C-C3276F1C5CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7797798d86f9694ffac541e9598dbf7fcde82f25","datavalue":{"value":"session calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6987762$C716BCA6-79DB-4944-89AD-282472519A06","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":"Q6987762$74930DB6-1FD6-4C67-AE7B-BEEA1AC789CE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d39450a391be1710d395533533a116bfb60d67f2","datavalue":{"value":{"entity-type":"item","numeric-id":5082187,"id":"Q5082187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987762$022E34A4-008D-4209-BBF0-4B447FB7813F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e4d4a32a22b826000ccb5aac1b591fcf7f26502","datavalue":{"value":{"entity-type":"item","numeric-id":6587145,"id":"Q6587145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987762$13C3AFF4-FFB7-474C-8363-9AE7D57049A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"810ff3068ee57c27f51817524e4d582dc3ea62f7","datavalue":{"value":{"entity-type":"item","numeric-id":3078444,"id":"Q3078444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987762$A0AB9214-BD1A-4E90-A18C-901919E2534B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aaa22287e1fd85cf8269ad9b05a5d665cf284c6","datavalue":{"value":{"entity-type":"item","numeric-id":5741561,"id":"Q5741561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987762$52449E9C-9C80-4192-8CAF-21974AEE9937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f67b6ee3bf3cd80869e7d5bf058398096a3b6aa7","datavalue":{"value":{"entity-type":"item","numeric-id":3541033,"id":"Q3541033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987762$5A1B05EF-AD20-4EE5-AA76-FA32C2F7B013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1911521cad5886b192dfffc9287972a138294385","datavalue":{"value":{"entity-type":"item","numeric-id":2988641,"id":"Q2988641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987762$1C965831-A543-4783-8B35-964686C12413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71f014eae90340d070dc667ce0b01474bbb78615","datavalue":{"value":{"entity-type":"item","numeric-id":4371670,"id":"Q4371670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987762$8B6BF039-5EC5-44B3-826D-4E49C2C168AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bc8e285ea223e7845a548eb484ab7a35cff846a","datavalue":{"value":{"entity-type":"item","numeric-id":2827463,"id":"Q2827463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987762$E11589A5-F94A-4172-94CF-7A842A99BECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9e3033269642a933c8c4f3dd42ebc18b5de0dac","datavalue":{"value":{"entity-type":"item","numeric-id":888409,"id":"Q888409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987762$E9A69610-7042-470A-A491-94060ABEFE2B","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":"Q6987762$3698196C-687A-4E4B-AFC6-E42C52047728","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":"Q6987762$FE4A18EE-7507-469D-90AF-ADF20A111B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac3e677fad5a87b25d17e11c0cfbf0fa32f7fcaa","datavalue":{"value":{"entity-type":"item","numeric-id":2423747,"id":"Q2423747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987762$3FAA7700-227A-4B4D-BC6B-77DE5CB45200","rank":"normal"},{"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":"Q6987762$864FC1BC-96B1-48EA-B2A6-71C25FF9B05A","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":"Q6987762$8E21B58B-BB95-43EF-9A0C-3864B4BBD561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b261f28d16cb1b5cd4f6941e29efcbf48407a5e0","datavalue":{"value":{"entity-type":"item","numeric-id":6535245,"id":"Q6535245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987762$0AEB6ABA-53C1-4969-B796-67A48F829FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d14385379f7d4c23ca2bc7fb1c74f20a1e00dbb0","datavalue":{"value":{"entity-type":"item","numeric-id":4558783,"id":"Q4558783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987762$6A222BD6-18D1-4F01-8A1D-5D39AC4304B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987762$6C1CC889-56A5-4468-B986-43FE8F49526E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a20b6fbf33485965268e271cf4a86888bcf4439","datavalue":{"value":{"entity-type":"item","numeric-id":6828066,"id":"Q6828066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987762$91A8E19E-C05F-4609-A0D5-D50C1C0D7801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acccd7eafd07dc3503b73f63fc694c404030064c","datavalue":{"value":{"entity-type":"item","numeric-id":3118994,"id":"Q3118994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987762$27B27268-FB51-4417-A9E6-A5CC4EA7D9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2f0ef1d44cde6af1f8eeec6bb6f88e41d812f88","datavalue":{"value":{"entity-type":"item","numeric-id":2324008,"id":"Q2324008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987762$79CC9B45-5042-4AE3-B2AB-C195BC24AC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390c2eff536d247938c25588a829da6bdb2dc62d","datavalue":{"value":{"entity-type":"item","numeric-id":6651941,"id":"Q6651941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987762$F2FA421D-DE49-4925-9399-11E7592D057A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Crash-stop failures in asynchronous multiparty session types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Crash-stop_failures_in_asynchronous_multiparty_session_types"}}}}}