{"entities":{"Q2489295":{"pageid":2500038,"ns":120,"title":"Item:Q2489295","lastrevid":49831318,"modified":"2026-01-11T03:28:25Z","type":"item","id":"Q2489295","labels":{"en":{"language":"en","value":"Introducing probabilities in statecharts to specify reactive systems for performance analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5023543"}},"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":"Q2489295$175D0C70-4CB3-4B3A-A935-664ABC81E202","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d21c5e24fd613bfd9b01f40753cfaf953b817d0","datavalue":{"value":{"text":"Introducing probabilities in statecharts to specify reactive systems for performance analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2489295$AD354FD0-3F95-4B36-8706-8D19587CE9FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97449e48d683b774ae76b03de829335b7400a585","datavalue":{"value":"1111.90117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2489295$15ED2A65-CAF6-4529-BF94-EF17C0055512","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5892016060e6606ce9c2a4a3f4ace6e8afcfdcc9","datavalue":{"value":{"entity-type":"item","numeric-id":1607417,"id":"Q1607417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2489295$BEFC6F76-ADE5-44D4-962E-DEA3CA7D69A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c83cb4b21978c941c1a9495b71fb48c92d1b604","datavalue":{"value":{"entity-type":"item","numeric-id":2489293,"id":"Q2489293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2489295$8762EEE5-0836-4233-8B8C-3000F23FE4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0de42d1cabb635815061caab5e73987ffd3f20d","datavalue":{"value":{"entity-type":"item","numeric-id":2489294,"id":"Q2489294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2489295$30252531-3FB8-4A72-8E3C-9E245F4AF006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6e65a543d1330689a773a6ac8b5661b7105c828","datavalue":{"value":{"entity-type":"item","numeric-id":927862,"id":"Q927862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2489295$3F7BD908-A771-472C-824C-367B679354C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e630590c5ca6e787c3c7b5e291898405495fea2b","datavalue":{"value":{"entity-type":"item","numeric-id":162215,"id":"Q162215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2489295$C605D5D8-A2DB-4F81-9B9A-32537F7C3B59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4c5f8875e456847c1a3ce95e32c0a4e149a6838e","datavalue":{"value":{"time":"+2006-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2489295$C2CA361F-17F6-43D3-96B6-51BD672643D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"377d3ab03372cff12915e0de0374438ff70c3716","datavalue":{"value":"90C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2489295$F6DF204C-0583-4A55-B9D8-E248D9FF1236","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"323cee1a17b5895f76a9e7000b8ad92dea58b65d","datavalue":{"value":"5023543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2489295$BDCDE125-3DA7-4AC8-BDFB-189004DB558A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"397d9252ef89819a92633d8502b4000f6e56c083","datavalue":{"value":"Markov chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q2489295$7912F618-6AB2-4BE8-AE90-A02F63ECB4C1","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":"Q2489295$CB6F8B49-89A5-49F8-9760-9AEC7B8D071C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2bf7eb4205a9322c1f5890d73c2a673d20d646ab","datavalue":{"value":"https://doi.org/10.1016/j.cor.2005.02.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q2489295$01CE7FDD-9503-4289-8508-3A9296537B90","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"60364211f262994d320ba0e7cb5b9f23e2b12519","datavalue":{"value":"W2140493069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2489295$1E3F0027-683F-495A-9183-AE5F5CCCC16E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"515d50c9cbe87c56c059cdb6f86581f4df8a20d0","datavalue":{"value":{"entity-type":"item","numeric-id":3857698,"id":"Q3857698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2489295$B4E75460-20CE-41DB-BF2F-F5893A9190D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b31681c8a91d7303d01f1779d707903ff9423a6","datavalue":{"value":{"entity-type":"item","numeric-id":4838329,"id":"Q4838329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2489295$6D54D97F-5870-4361-865F-4715969F550F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d4893a2af94835fd1294f761651a7767967f977","datavalue":{"value":{"entity-type":"item","numeric-id":1106096,"id":"Q1106096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2489295$F79BAC9F-2C22-4C57-A212-A55A6F752BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430b95ab347aebedbe95b8d8232e8e955331d5dc","datavalue":{"value":{"entity-type":"item","numeric-id":4160745,"id":"Q4160745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2489295$6E708B61-D92E-41E8-8301-FE77577233CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d697f8c5e4458004e0d7d920f3fd25ded909df","datavalue":{"value":{"entity-type":"item","numeric-id":1098612,"id":"Q1098612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2489295$7FCCF5D7-63B8-4F04-BA1E-A1B24DDB7288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73eb91d2b46fedd51a3ee9b014087bb98d221db4","datavalue":{"value":{"entity-type":"item","numeric-id":4217271,"id":"Q4217271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2489295$D607A8E8-4BE7-4B65-9BA9-24BFB645D46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f03a6fc84b836e0d9bdd94fbca6cb018d9c3d4e","datavalue":{"value":{"entity-type":"item","numeric-id":4346090,"id":"Q4346090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2489295$97081648-CA14-4C43-9EA4-A0E45FD79BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc2d48571f4ff09244a08747ba12e93ff4408546","datavalue":{"value":{"entity-type":"item","numeric-id":5378757,"id":"Q5378757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2489295$E14B5DDC-7716-4B03-848A-5409DF2093BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57a6c0e7a26949a8957779ce100a4ad0c151e7ea","datavalue":{"value":{"entity-type":"item","numeric-id":4134686,"id":"Q4134686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2489295$919BAAB8-5822-470D-8238-96B86D2619E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88aab59a8991ef1e3e9d2e9f5f02390bb13c369b","datavalue":{"value":{"entity-type":"item","numeric-id":1317176,"id":"Q1317176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2489295$76CAEC24-F993-4C94-824B-B1FFC88366A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5799fdde774337c8de615f09c13dd6e2eb05dd","datavalue":{"value":{"entity-type":"item","numeric-id":4550039,"id":"Q4550039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2489295$C490A61E-9B58-4A28-9A86-62FC74095333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d99884322dd2d31dc0131446cb0e30b8e56c0a0","datavalue":{"value":{"entity-type":"item","numeric-id":3114203,"id":"Q3114203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2489295$B733F950-86EE-491E-A839-40588287BEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76d53207b6ead7803e7212fd2c6b1decf6f77827","datavalue":{"value":{"entity-type":"item","numeric-id":4032594,"id":"Q4032594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2489295$2507A88F-BB48-4D22-9B83-4CC712A83836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cdc424317343b0af8cbdd5f78e153fc7a755f03","datavalue":{"value":{"entity-type":"item","numeric-id":2489295,"id":"Q2489295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2489295$245AC3B6-04D6-49A9-8913-D2FFCCAB8101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a1ab430d908d67ba44752159a36f1ca8c7511b7","datavalue":{"value":{"entity-type":"item","numeric-id":3833667,"id":"Q3833667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2489295$00A47A25-34E6-497B-9019-CB1B3242F763","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e25c4d0eea1280d95cfbef99dc0da268910a3950","datavalue":{"value":"10.1016/J.COR.2005.02.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2489295$8C7C726A-E49B-4DE6-8D6F-0A25215F12BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7fab99b30af703a64ff5e5c380af4a3d905ce30","datavalue":{"value":{"entity-type":"item","numeric-id":4550039,"id":"Q4550039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a275e232817a79b508b6ea430772a987163bfce","datavalue":{"value":{"amount":"+0.8301962614059448","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":"Q2489295$637B9B40-BD10-4CCC-9F1A-CE163CD173A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39cccbb0d03275d990e88afa798c6846a1e2b5d4","datavalue":{"value":{"entity-type":"item","numeric-id":5392299,"id":"Q5392299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3e476fb0a807114fd922a2d675367762e7ba764","datavalue":{"value":{"amount":"+0.7568809390068054","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":"Q2489295$97E36131-5BFF-446E-8F18-84A65C547A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29e7604d5ed2e3e63634294b4579d39e49f34869","datavalue":{"value":{"entity-type":"item","numeric-id":750133,"id":"Q750133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd2822b610848f4b0ca9d33b0d46af6dcd7bb424","datavalue":{"value":{"amount":"+0.7534329295158386","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":"Q2489295$C7C13A8B-84EE-475D-91AE-BF5C59C37EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"272e1253d110dd3c12620811a9a4af717e3ff473","datavalue":{"value":{"entity-type":"item","numeric-id":1098612,"id":"Q1098612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f713ea31cbd882f0e0000bc6069e3841579b41a5","datavalue":{"value":{"amount":"+0.7487952709197998","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":"Q2489295$EC0E3180-0895-4CEA-BE20-419AE2119F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ca91955e37e1af6b3d341944068552e2e0b2882","datavalue":{"value":{"entity-type":"item","numeric-id":4214200,"id":"Q4214200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa5de22db211edec121edbd923e33d961cc26939","datavalue":{"value":{"amount":"+0.7369821071624756","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":"Q2489295$0FA5E2D5-64C3-4505-80CF-1F3AF1E922E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2489295","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2489295"}}}}}