{"entities":{"Q2875284":{"pageid":2886004,"ns":120,"title":"Item:Q2875284","lastrevid":83962805,"modified":"2026-05-07T15:10:43Z","type":"item","id":"Q2875284","labels":{"en":{"language":"en","value":"The semantics and verification of timed service choreography"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6330217"}},"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":"Q2875284$DEF4A81E-F86E-4D4A-9DB0-2D0A5E91B4CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d509717a4a8d81a865031186220d14bd3d58904","datavalue":{"value":{"text":"The semantics and verification of timed service choreography","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2875284$DD694AC7-F483-4DDF-89D7-C0D77D3DDB07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c77d59b46047af44eba06a22ca8b5c5137db4ba4","datavalue":{"value":"1373.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875284$4791CACB-24BF-4485-AA15-72BE71304E85","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aae851b21d615bebb13d0db3e0a0d360de721747","datavalue":{"value":"10.1080/00207160.2013.796369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875284$AC9E2F2E-529A-47B7-9660-1A150567F167","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c2fec93684c27f25d8c01dec4c8070b19916003","datavalue":{"value":{"entity-type":"item","numeric-id":1633047,"id":"Q1633047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875284$11FA919A-D62E-4C58-967B-C5DBDA1580A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dea709b2ba08d4e356c982196d631bdb4ea35fa7","datavalue":{"value":{"entity-type":"item","numeric-id":2089672,"id":"Q2089672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875284$764A998C-2978-4449-ABFD-38A06FB0B4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"923f159692290ff3dc0354e151e760b090c26982","datavalue":{"value":{"entity-type":"item","numeric-id":294628,"id":"Q294628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875284$DDF05404-4E2C-46A7-818A-4DD3C198AD22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f8b1a64d507a032cda525aa6a0e7593e342c9a4","datavalue":{"value":{"entity-type":"item","numeric-id":1707340,"id":"Q1707340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875284$47E37071-A131-4F10-8BF0-1BDA3B66A013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1d1eb85b6af265b31f5e91e71196e6779f78302","datavalue":{"value":{"entity-type":"item","numeric-id":420307,"id":"Q420307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875284$CA6C4699-9BEF-4241-B7CD-39505B7C61CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1f8a1cf422dc8a39955e3a7180ef4ce8229538d6","datavalue":{"value":{"entity-type":"item","numeric-id":2710741,"id":"Q2710741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875284$6A776F69-4AE3-4ED7-9C34-52AA000CD683","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"014386d1e7349618004d8e2aa9650d7520cb60bd","datavalue":{"value":{"time":"+2014-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2875284$F62EFFB2-927A-4E65-AE17-576F6961C360","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875284$1BA0E0BD-8A87-41E6-8668-792C0493A384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb3685facee6981d0664afe5afbdc986c78292cb","datavalue":{"value":"68M11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875284$F53A750E-197B-4749-B0B7-16C6F4B97ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875284$6D7AE168-5407-41F6-BFF2-6E1C5075AEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875284$15643284-2C89-41E1-8CD3-980B102753D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21d104670f1d72cb07153e4df3ed92c2c836d20f","datavalue":{"value":"6330217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875284$B9DA0708-39E8-4AA5-9584-AA96F1160FF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4666adda65313ecba964bb4f81be89bd64debdcb","datavalue":{"value":"time service choreography","type":"string"},"datatype":"string"},"type":"statement","id":"Q2875284$ABA35BCE-CBE3-411D-8280-11D8C17051C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63d08da68c7cc98317d777b0142694633725e072","datavalue":{"value":"process analysis toolkit","type":"string"},"datatype":"string"},"type":"statement","id":"Q2875284$604D29C8-EEEA-468E-B76C-7E55AAC7DCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa1574f086e527fd4a4d9d683a77fba4cbcf55d0","datavalue":{"value":"execution semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2875284$0D03C772-80AF-425F-BAFD-B2E1D664C582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2875284$A2E0726D-D5C5-4FA1-95EC-056D3F1AE9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2875284$195DF552-E86E-4D3A-98C9-C2C275615EEB","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":"Q2875284$7D3B9048-CAC2-46E3-BC6D-9A4EFFD7688F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94fc0b57da1988b44f00873404a263e8b3086a81","datavalue":{"value":"https://doi.org/10.1080/00207160.2013.796369","type":"string"},"datatype":"url"},"type":"statement","id":"Q2875284$19C09798-E223-4900-94A0-72285340EB74","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"201070f640fad4686b082bec55da66a88c2c0ee7","datavalue":{"value":"W2003521185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2875284$23BF69CD-37B9-4454-AF73-A5DD9DC47A0B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6f232062b41371490b45169090bdefbdf7f58d8","datavalue":{"value":{"entity-type":"item","numeric-id":615897,"id":"Q615897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875284$DC17AAD7-B011-4944-A934-CB5C53BF32B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875284$5B1F79E9-5097-4A50-A9BD-00C08E700643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4301d50504125869b7b36ae7487bac0559bd1710","datavalue":{"value":{"entity-type":"item","numeric-id":1274446,"id":"Q1274446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875284$D95E1AD7-86C4-4053-94F7-317667CB2A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafb0e0a58c3353a14f65d9b53dc934fe5ec110c","datavalue":{"value":{"entity-type":"item","numeric-id":2269718,"id":"Q2269718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875284$C5177411-46C6-4CD0-994B-8AA27CBD806A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3588e2885b6aa24897be30d497cc066aeffc96e7","datavalue":{"value":{"entity-type":"item","numeric-id":1891147,"id":"Q1891147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2875284$12656AD8-0E32-4F8D-B6B9-3FB78C7FADEA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c7690184931f7544673f7e60b1635d044ad1695","datavalue":{"value":{"entity-type":"item","numeric-id":615897,"id":"Q615897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"691822c5c2f8384aa008725144d35e681c98c3bd","datavalue":{"value":{"amount":"+0.8388400077819824","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":"Q2875284$9AB6EE7E-74B4-4B2B-BFA3-39754DA8F4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b95aad48a2b075c77e4e6fbae4ccaf8feaa1905","datavalue":{"value":{"entity-type":"item","numeric-id":739636,"id":"Q739636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0e326859739bbb717124458588867b8e9e325d8","datavalue":{"value":{"amount":"+0.7828755378723145","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":"Q2875284$85AC6453-871A-4371-B567-E2D6C3E6D0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbc4e2a8541ba84cc3530f43f83bf863ef09ec97","datavalue":{"value":{"entity-type":"item","numeric-id":436361,"id":"Q436361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3069171f6026b142db9e3e2658224ebdd79525d6","datavalue":{"value":{"amount":"+0.7769527435302734","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":"Q2875284$B6244EDA-957C-4E49-9CFE-95053D8EE719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00236a62040a381248a7227095224920310c35c7","datavalue":{"value":{"entity-type":"item","numeric-id":1035678,"id":"Q1035678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76bd87dc5cf078cd8f09a4e01ff094a1d83a0e22","datavalue":{"value":{"amount":"+0.7629276514053345","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":"Q2875284$3C0C9BBB-20B8-45E1-849A-8B30C44B96A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"908ab764b769dd7637400de2cfd25fd51a669efb","datavalue":{"value":{"entity-type":"item","numeric-id":2390034,"id":"Q2390034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4245ccf474b6080c9b709abefd62614a9104fa0","datavalue":{"value":{"amount":"+0.7553355693817139","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":"Q2875284$6EA9DCB8-5E73-4BEA-845A-E07F50C3AE9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The semantics and verification of timed service choreography","badges":[]}}}}}