{"entities":{"Q6587145":{"pageid":14198301,"ns":120,"title":"Item:Q6587145","lastrevid":42364928,"modified":"2025-06-13T03:58:30Z","type":"item","id":"Q6587145","labels":{"en":{"language":"en","value":"Generalised multiparty session types with crash-stop failures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7896568"}},"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":"Q6587145$5B599DFB-4ED6-47C7-B626-2DA44C9CEBD9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d02ca91189ee576af265eff8f7d7b611b2ce16f5","datavalue":{"value":{"text":"Generalised multiparty session types with crash-stop failures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6587145$F12C50F7-EDE0-4991-A02B-3D00E45807F3","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":"Q6587145$2F1DA3F1-D9B0-439C-92D0-3B2BDB8FF970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7db45ab69e7b3a1b0a8d84dd02ef96ed4983970","datavalue":{"value":{"entity-type":"item","numeric-id":347374,"id":"Q347374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587145$21EB5A1A-C71B-4FA0-9916-7B7803814D00","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":"Q6587145$946CBE39-B98D-4002-8C21-F7D199E70AC2","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":"Q6587145$7793B70F-8BE7-462A-875C-F541932BDF7E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ef272fad473aebc084962aae26df5cb18b0f7c3","datavalue":{"value":{"time":"+2024-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6587145$BE9A1159-7DE2-45F2-8BCA-BB36DCCCDE88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587145$68B78F9A-58D2-4709-B009-572680FAA3D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64106ea7ac8a7721f1af27d1d8c4e6341008b129","datavalue":{"value":"7896568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587145$B939B47B-0652-4D1C-947E-47F33DE8B079","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbfc9efe2708426c86c41393e21566b41f4f22c1","datavalue":{"value":"session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587145$9B4A81FC-54A3-4BF2-8BE4-47D7EB00CAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587145$763BAC07-1B0E-4D4A-9B0D-75263DADF5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"559ac32fed3920552330c8676b21797b05c70e3c","datavalue":{"value":"failure handling","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587145$59F54A38-7558-4D88-A2C6-F8D74F5C5C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587145$83E6EEC5-052C-4145-B513-CCB2FE40071A","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":"Q6587145$F7A052A1-08E8-4141-A7CB-7E9BE747072B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57d9e4a5a15716a82960e89de62466007d6e39c7","datavalue":{"value":"10.4230/LIPICS.CONCUR.2022.35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587145$7F791EDA-2F92-450F-8809-0745B5EE43AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6587145","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6587145"}}}}}