{"entities":{"Q2279123":{"pageid":2289866,"ns":120,"title":"Item:Q2279123","lastrevid":78648539,"modified":"2026-05-06T12:06:24Z","type":"item","id":"Q2279123","labels":{"en":{"language":"en","value":"Taming concurrency for verification using multiparty session types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7142677"}},"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":"Q2279123$22B18F56-489E-4311-936F-37A321B4CBC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4f39838a09e38e287b5bff4ce1d5544085c785f","datavalue":{"value":{"text":"Taming concurrency for verification using multiparty session types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2279123$3F701F99-9EB8-4680-82B0-E6859B98AEA8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ea5557ddde6d38ed19a66148f953963eb395942","datavalue":{"value":"10.1007/978-3-030-32505-3_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279123$18F18796-97B2-4C54-9474-C924431257C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7b270069fe2a7a6870cf50938104f0718b45b2c","datavalue":{"value":{"entity-type":"item","numeric-id":2123057,"id":"Q2123057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279123$4857E1ED-AD3C-493E-877E-F0B70A47C426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9f375f52dedb519fb7914ef17f5ff32804c4269","datavalue":{"value":{"entity-type":"item","numeric-id":900424,"id":"Q900424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279123$0661F53C-E7A5-4E23-9DBE-5ED77806B602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24db94f90cbaf6ef00e2909513980e367d10b4b9","datavalue":{"value":{"entity-type":"item","numeric-id":262425,"id":"Q262425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279123$F294AE3A-38B2-44F5-8C81-9711F8D29745","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b59fb3af1fc435d619b3c51ed9fbb031a0316176","datavalue":{"value":{"time":"+2019-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2279123$85BC673C-3513-4516-980E-5B9291020A42","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70d7b1d53bd216a1e6daf2ef9d4df6bf1c87f904","datavalue":{"value":"https://arxiv.org/abs/1908.06510","type":"string"},"datatype":"url"},"type":"statement","id":"Q2279123$B7FD1764-F700-4C9A-B8F8-39B1769F7659","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279123$F01F6D07-0B46-4108-B03D-786F876712EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05e735310389fb342679a6b293c4b9e44d8f1cb0","datavalue":{"value":"7142677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279123$B5AE37BD-EBFD-4C95-9BB4-E056712D7C2C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2279123$86B312E8-D1A6-4841-937B-4B82B13E5AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2279123$0536A8F9-B3DD-4564-A308-C433952BE9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a6bb47617bde1a2910a8986ad5cc33935bfc8f8","datavalue":{"value":"multiparty session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2279123$72B61921-22F7-4F59-8610-5784DB794400","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":"Q2279123$3E433DB2-9CFA-4F47-88F2-046642605B40","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2071bae056ee84d6ad1054984c7e16498870dde1","datavalue":{"value":"W2982095937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279123$7CB69E82-A59C-4B6D-9021-6176F5151EA4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4264425dbe356dd2a8915ceabf9a57f6d852c76","datavalue":{"value":{"entity-type":"item","numeric-id":3190133,"id":"Q3190133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a11e74122b0c4c6d792718eb17bbd9047ed4afa2","datavalue":{"value":{"amount":"+0.7807640433311462","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":"Q2279123$6EC78F73-D24E-4880-ACF6-3EBDDCCB2385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"901d3cae66ef36d1bc616b7e197894f09e389c9b","datavalue":{"value":{"entity-type":"item","numeric-id":2811929,"id":"Q2811929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abb527250c94d083eedf1909aac62e5fdf18dfeb","datavalue":{"value":{"amount":"+0.7620436549186707","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":"Q2279123$0749F588-E326-456C-9423-113E5A3271CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7710a4681315cc6baec577c6f9e749ef46e36a29","datavalue":{"value":{"entity-type":"item","numeric-id":1647963,"id":"Q1647963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92397da3854aaca2ad750d57ef7b6f32c4652f3f","datavalue":{"value":{"amount":"+0.7517709136009216","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":"Q2279123$EFD8BA5B-C91F-4E05-BDE6-9684EE2B48D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Taming concurrency for verification using multiparty session types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Taming_concurrency_for_verification_using_multiparty_session_types"}}}}}