{"entities":{"Q5129942":{"pageid":7159516,"ns":120,"title":"Item:Q5129942","lastrevid":55377523,"modified":"2026-02-17T15:01:07Z","type":"item","id":"Q5129942","labels":{"en":{"language":"en","value":"On resolving non-determinism in choreographies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7269246"}},"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":"Q5129942$24EF575E-694B-4C49-BDF5-8F15A2CCAA21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d019c580edd8284e877147057b7f840228db605","datavalue":{"value":{"entity-type":"item","numeric-id":517048,"id":"Q517048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129942$9BB999CC-A89D-4989-B93E-CB14EB9632D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e486ff16bd191aa095648f962c7d6d0234cad69","datavalue":{"value":{"entity-type":"item","numeric-id":2037952,"id":"Q2037952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129942$3FEFAC3A-E72F-425B-B010-E39E6EEAA2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d6c37e24eff01995157b2a4b2bb0fcfce2a64dc","datavalue":{"value":{"entity-type":"item","numeric-id":1770361,"id":"Q1770361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129942$8B687B3C-B461-4C2C-A28D-855ABF7DAC5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9959762f316e1937fbafa8ffb464ca9ed62f4f3f","datavalue":{"value":{"time":"+2020-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5129942$E25FA7D0-E1A3-466D-B63C-C2CA04D6F2F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14287842fcc995d8e3b883e4266145b132fb03c9","datavalue":{"value":"https://arxiv.org/abs/1904.08337","type":"string"},"datatype":"url"},"type":"statement","id":"Q5129942$7A6EA808-EEFC-48F3-8784-39A5798E78C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"8811b0e029fe4472091f26b67109f21942dea176","datavalue":{"value":"https://lmcs.episciences.org/6800","type":"string"},"datatype":"url"},"type":"statement","id":"Q5129942$ACE56E76-9BA0-45DF-B190-1A7823E52D98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5129942$EE4D92F6-E5C6-4179-AABB-DFEA38FCD0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5129942$9AD85DD1-31C3-4652-BBB0-D0F068068CA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"118b7e77fa8fb1bc7ef28aea62bdf4f8788c8cbd","datavalue":{"value":"7269246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5129942$9E5C02A0-DEAD-496A-A252-C2B03C7381B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf2e210c4d62794db7157ec7df49ad346fa73c17","datavalue":{"value":"choreography","type":"string"},"datatype":"string"},"type":"statement","id":"Q5129942$C63540F6-5346-4778-91D2-12CA9F15B23D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a6bb47617bde1a2910a8986ad5cc33935bfc8f8","datavalue":{"value":"multiparty session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5129942$4CA85462-D9EE-443B-8D7A-C609E3D1AC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ae395d07c0cbb6688769c2b5ef9101b8fd31880","datavalue":{"value":"process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5129942$4FD4CBF7-1A26-4968-BD89-C289E91F3371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b08956d0322303d3e930d17909cb5479c8c1a3bc","datavalue":{"value":"whole-spectrum implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5129942$EEEA66AC-E9F7-411A-A67B-835001FCB1F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"142ad176b509766fc626fc5ad6b3d60ce7604d3c","datavalue":{"value":"message-passing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5129942$5F6D5954-1DB3-4BB1-A2FB-658855252DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf708c9f6e9488802c3788c51f5c19d067cfd1cd","datavalue":{"value":"non-determinism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5129942$3B4A5BB7-9BFB-4FE2-927F-4052A5F500CE","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":"Q5129942$A3E2074B-63FC-4AE1-A98A-04A989986858","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f982ccf1638983550971b32200b3dd06cb60697","datavalue":{"value":{"entity-type":"item","numeric-id":3541035,"id":"Q3541035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129942$6F1C5B44-E10D-43EC-9352-C803D70693EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7498fd20b5bc1173c2b277cb9f3b2bb961953bb","datavalue":{"value":{"entity-type":"item","numeric-id":3584928,"id":"Q3584928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129942$13797DF6-389B-4985-961F-091CDB38690F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77c724b3ce647730d5a6f5dc639f21747b7056a5","datavalue":{"value":{"entity-type":"item","numeric-id":5410716,"id":"Q5410716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129942$C70E88E7-E89B-457F-9B91-8000DC8E4FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1f0d0b384b03ca6c98eaf54d19aa2898f44cac3","datavalue":{"value":{"entity-type":"item","numeric-id":3636912,"id":"Q3636912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129942$2EA1B3AA-CCDE-45D0-BF3D-BDE86A524E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"666de244d9c6b7db89668e88f94a6cfa7deae5e1","datavalue":{"value":{"entity-type":"item","numeric-id":3617706,"id":"Q3617706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129942$EBC1A44C-D7F5-4A1E-A246-C8C033A422D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5148c641bbc6b73864df713ea27598b9da9aaaa9","datavalue":{"value":{"entity-type":"item","numeric-id":2971077,"id":"Q2971077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129942$2DCDFFA7-171B-4DA9-AEEF-F776D194CFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7faf3e30e31f599e1f4f084511504817c437a2f5","datavalue":{"value":{"entity-type":"item","numeric-id":2931801,"id":"Q2931801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129942$5BE6B265-4895-4ACE-98FD-4B6E4A18E931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edbf329f50056a083c22cc217d9b573627af5b00","datavalue":{"value":{"entity-type":"item","numeric-id":2881091,"id":"Q2881091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129942$FB632CB1-72DA-4E00-A37F-501CBB84070E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"265aa8bdc69a454736c9e66367ad438be8e4e966","datavalue":{"value":{"entity-type":"item","numeric-id":3184675,"id":"Q3184675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129942$549BF441-FECA-4B09-BE14-5694FC4FE3AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"135db230f50f7fc734846d752c89d5e662131180","datavalue":{"value":{"entity-type":"item","numeric-id":315296,"id":"Q315296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129942$24A8C919-6FB4-459A-A9C6-FDCC8D1925B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4341cce4df13ba34dd6094ffac520cb7a0369efb","datavalue":{"value":{"entity-type":"item","numeric-id":2914372,"id":"Q2914372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129942$0636D0A4-0DD6-41DB-AE23-52C598F69D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae72ca3eb9836c81238e2dc57e2e0c6f01268dd4","datavalue":{"value":{"entity-type":"item","numeric-id":5741563,"id":"Q5741563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129942$5384943A-764B-40EA-ADFD-EA34CF31643A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de8c65bbd6c29e12599cf6e4400dbbcd1124bf64","datavalue":{"value":{"entity-type":"item","numeric-id":2974797,"id":"Q2974797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129942$BB3BD71C-E216-4127-B2D4-FD0A5F33A843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7249997795b9d02768ef290f3b6e95e3bd93aadf","datavalue":{"value":{"entity-type":"item","numeric-id":2892728,"id":"Q2892728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129942$51B1164B-BF24-4648-B945-86A56124E56B","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":"Q5129942$286266FD-5905-4C62-AC51-4274A2ADDA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"893cfde1658d11d72e5cf971905f0d138a19cbb3","datavalue":{"value":{"entity-type":"item","numeric-id":5216330,"id":"Q5216330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129942$E036FA04-908C-4CF7-963C-515025E3FE68","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":"Q5129942$F7522A99-545D-4372-8BF4-EA13FEE74C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce6ec21fbe747f2d41af1ffc8ef5c6fc6065340","datavalue":{"value":{"entity-type":"item","numeric-id":1884932,"id":"Q1884932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129942$F6A72F55-B027-431E-9FC1-7A99772023F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9efd3531eb26971f85b05a12f684825f6b7a9352","datavalue":{"value":{"entity-type":"item","numeric-id":2581011,"id":"Q2581011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129942$64621801-DA2A-4356-9E8B-EC5E919F4F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d5f4b8e96efeaad5a01fa88602ad9035a10db3","datavalue":{"value":{"entity-type":"item","numeric-id":5756618,"id":"Q5756618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129942$E4EB1055-6FF9-4F5D-A76A-86F605BD3E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed979430371862e5f53ebd0e96b9fcfc6b9c286f","datavalue":{"value":{"entity-type":"item","numeric-id":2914373,"id":"Q2914373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129942$FAEC311C-D3D7-4461-8272-1C20E13F88D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b06fd6c62da767f6504b2fb11bdb7fedad24f27","datavalue":{"value":{"entity-type":"item","numeric-id":2819808,"id":"Q2819808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129942$4D2A9494-A850-41B3-B0AA-FA53E58B674B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d655abf575462a0349900097d1ae485fa26dabbc","datavalue":{"value":{"entity-type":"item","numeric-id":2945719,"id":"Q2945719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5129942$B08662B2-86C8-4A6D-9300-4085FFBA4E90","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":"Q5129942$41C507BB-9549-4DFC-8B18-FF3D30ABEC6D","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":"Q5129942$2C17AABC-DF90-4EFA-958E-B4C52A30306D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dd038057f4f1b2455ba0ef28bf6e985362c06a7","datavalue":{"value":{"entity-type":"item","numeric-id":5410716,"id":"Q5410716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e6e8d156cdde2b951df4521dbedd73e62cd1b1e","datavalue":{"value":{"amount":"+0.9407398700714112","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":"Q5129942$B09211E0-DEE4-4082-A7ED-F2C2444E9D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b73ac661d8552c11208ebe6d154ac8caa5ffb74b","datavalue":{"value":{"entity-type":"item","numeric-id":2206787,"id":"Q2206787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2823515a13559bde04cfaff12522887a42d04f81","datavalue":{"value":{"amount":"+0.7830014824867249","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":"Q5129942$5034EA73-4A21-4B43-A398-F9F4CCE789F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a8a49080728b8d9549936ed40ddfdc4c13da3b6","datavalue":{"value":{"entity-type":"item","numeric-id":2942872,"id":"Q2942872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e03a720dbc344d66a055f9bb2f53de11036664c7","datavalue":{"value":{"amount":"+0.7782702445983887","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":"Q5129942$561243C9-BB5C-4D4E-BC95-CE42ED60A4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25de13237befe7de5f234ba07d8bebeec902023d","datavalue":{"value":{"entity-type":"item","numeric-id":2141294,"id":"Q2141294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65b95674155a44c413bddf9bc6cacf30ae52d163","datavalue":{"value":{"amount":"+0.7566491365432739","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":"Q5129942$ADF775DE-ED36-4ED1-A676-830868D2AC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e37969e09cdae74fc58bbc4559f97ee1e3451aad","datavalue":{"value":{"entity-type":"item","numeric-id":5019695,"id":"Q5019695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76c77c80cf8a73bc0002d0f21da70d7424621620","datavalue":{"value":{"amount":"+0.7539007663726807","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":"Q5129942$E74F57EF-8E8D-4E0D-9E96-9ADE88D7AFCB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5129942","badges":[]}}}}}