{"entities":{"Q2353401":{"pageid":2364144,"ns":120,"title":"Item:Q2353401","lastrevid":52305578,"modified":"2026-01-21T09:53:51Z","type":"item","id":"Q2353401","labels":{"en":{"language":"en","value":"Stepwise refinement of sequence diagrams with soft real-time constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6458550"}},"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":"Q2353401$2921CB20-290B-48FF-8891-258102EAD1B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c216671c779506fd642416df3b0f5fdfca6816f","datavalue":{"value":{"text":"Stepwise refinement of sequence diagrams with soft real-time constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2353401$04E85905-0CE0-4852-A4D0-14E2C1BDE9F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1c9c72398062b749eba8987e4ca98eda3dcf8b9","datavalue":{"value":"1320.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2353401$0DE7B385-5AAF-4E61-97F1-E89E8F1B2294","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed06db875fc8874336ff3fdb738a280a63131685","datavalue":{"value":{"entity-type":"item","numeric-id":609008,"id":"Q609008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353401$E6564C0D-B688-4644-9503-FB15D91E68E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"abf9ddc17e18958c04946dfbc545f7b6ecbeb11e","datavalue":{"value":{"entity-type":"item","numeric-id":1941893,"id":"Q1941893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353401$10A8146E-7ADF-4D77-B1A3-0256048F8B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b8327fe9c7d69a54789d9309bf50d8e8e57e5fd","datavalue":{"value":{"entity-type":"item","numeric-id":216265,"id":"Q216265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353401$84AF13BD-C0E1-4C3B-A40F-5896BE0759AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353401$9026EF27-2665-4644-A380-64F63A184AD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3db3f67b2a300d1b5bdcd648e0bfe6f04d909912","datavalue":{"value":{"time":"+2015-07-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":"Q2353401$DE5226A9-F957-4952-B3C7-7320F9C32EB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2353401$6E33C9FF-2BBB-427C-A394-1628E95140F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2353401$51488235-5493-4436-B94A-86EEF839B0DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cc1b646f58642e8fd9f6f668e70a90aedc875f1","datavalue":{"value":"6458550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2353401$5A1BA6E7-5E03-4AB2-9435-8F74BC80F61A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78568e8fa72514f74bb864e97890cd39bb6dc166","datavalue":{"value":"soft real-time specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2353401$2757C36A-DE37-4F61-91BB-5359FA0A2533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e176fcdf162419d08684236801c96c1784ef6c5","datavalue":{"value":"sequence diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q2353401$B09E706B-1062-46E4-A444-983A3BEC1917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2353401$221E79A2-2F81-4469-A8FD-355FD9C903E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3da67f766d04a4c98f3a10b4d5c3c162c340ed5a","datavalue":{"value":"probabilistic choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2353401$E735A366-919C-4038-9E27-F60BD336B690","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3a1572f0a44ee197002995941ef26c7ad2c25d8e","datavalue":{"value":{"entity-type":"item","numeric-id":33626,"id":"Q33626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353401$B1D5D0EA-D142-4E07-A6C2-EA41C713375F","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":"Q2353401$C63020B8-C723-4E7D-92D1-3BA70880CCAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d53320a3d052a8dbdf2fc46fabab3d4a6da4a32d","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2015.03.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2353401$47610F0A-8D5B-4CF6-86FB-DA585B0A4D92","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e2b667fd0b91f46127b90a330806cf43621744b","datavalue":{"value":"W1997246871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2353401$42E7CEC0-46D2-4DF7-9691-CDCB05C23015","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa1e5d7f6c29ea19cd49c2e0a18fec273aa4391","datavalue":{"value":{"entity-type":"item","numeric-id":3370739,"id":"Q3370739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353401$5DE58A00-BEBF-4D34-8ADF-5599EC56D6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83e646822c7e8f7e68867ade26f59c8b15d8260c","datavalue":{"value":{"entity-type":"item","numeric-id":3707340,"id":"Q3707340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353401$F38C66A6-1EF0-4560-9EB1-E4E32616ADD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa35f57cd9dce2bd1377c75eff83eacb1e2154f1","datavalue":{"value":{"entity-type":"item","numeric-id":4989487,"id":"Q4989487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353401$7A877009-4138-4F7E-98BC-A333971C67F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd83dfc05a814025eace7a8a434a6ceef1947c6","datavalue":{"value":{"entity-type":"item","numeric-id":1941894,"id":"Q1941894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353401$44E159B3-CECC-44BF-97A3-58CF08A7506C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7d7069a41204580785b320d72b5cf0a8870075d","datavalue":{"value":{"entity-type":"item","numeric-id":5900383,"id":"Q5900383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353401$845A1FF5-381F-4FAE-AF2A-51C4E36FD874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf7194fc53f880c9071184f6c5027c95ed2fb364","datavalue":{"value":{"entity-type":"item","numeric-id":2841319,"id":"Q2841319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353401$0201E47B-C102-478E-968F-40E349B00B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"761764ab341e3c45ab12b1fd51baacfaf6590a95","datavalue":{"value":{"entity-type":"item","numeric-id":5946346,"id":"Q5946346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353401$2D2EC67C-DEA2-4804-82DC-398C0128ACF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0306f1d8ca52aa89d24f45ac0b388c72295c9475","datavalue":{"value":{"entity-type":"item","numeric-id":4421296,"id":"Q4421296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353401$9A68D1ED-818C-4080-B65C-484B61AC22ED","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":"Q2353401$EDB5DFE7-E1C3-49C5-A37C-2604A1894D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb760dafe3a1dec3e75166aa9c1193599f9cb773","datavalue":{"value":{"entity-type":"item","numeric-id":672230,"id":"Q672230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353401$70C21245-7D87-4379-A1F8-317BD3DCACC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1591307efdcfd25c5361ed6b6bc0d30639a1f8","datavalue":{"value":{"entity-type":"item","numeric-id":4650346,"id":"Q4650346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353401$2D4553F4-1D32-478F-B266-BA45F86768F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"226149966044b48001c0682076573b6d91099455","datavalue":{"value":{"entity-type":"item","numeric-id":4773988,"id":"Q4773988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353401$6E7F2834-120F-4292-A13E-744394E03A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ceee60449fc5767ba4cfde05fcdc1655f62f81b","datavalue":{"value":{"entity-type":"item","numeric-id":5313085,"id":"Q5313085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353401$ADFB6E86-11F7-43F3-9CFC-192D36EDB418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076100eee5d25782e29f49609d41790dc5c67318","datavalue":{"value":{"entity-type":"item","numeric-id":4847023,"id":"Q4847023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353401$DAEE4503-F384-4EC9-8EED-9D9FF88896ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7efd0c3e6421fda2217c2b48d9294e9f8d8d757","datavalue":{"value":{"entity-type":"item","numeric-id":4791844,"id":"Q4791844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353401$B9480184-8A55-43A1-80BB-3D44FB09B6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b06b2fdac97c9732711ef16445649809b33affcb","datavalue":{"value":{"entity-type":"item","numeric-id":2725941,"id":"Q2725941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353401$D0B24386-0BD8-48D3-AA93-5603440B097B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2cc62ec28770affad7708bb4ba62d22879ec2a2","datavalue":{"value":{"entity-type":"item","numeric-id":4780024,"id":"Q4780024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353401$5FA05622-1E66-462B-9236-B70F5129394D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0e5d7c6a2fd65332080e614648abf9ac044c91f","datavalue":{"value":"10.1016/J.JCSS.2015.03.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2353401$7045C6A4-920C-4C0C-9B45-4596E4F2BFBB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23f1701e38d7c731e1c5747b8a06ca5bc1445ab4","datavalue":{"value":{"entity-type":"item","numeric-id":5897952,"id":"Q5897952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8329bd6f2b2799777b2440490b73c49751b07045","datavalue":{"value":{"amount":"+0.8158090114593506","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":"Q2353401$44B96CD8-1BC5-4EE1-9269-C6CF50ACC420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94237608cd26ef4c16d4bc0609423dac1f3615f5","datavalue":{"value":{"entity-type":"item","numeric-id":2703737,"id":"Q2703737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5825a43c13f334b9495eeb8a6f2e39e569d18aad","datavalue":{"value":{"amount":"+0.7870834469795227","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":"Q2353401$57E1EDD5-3DCA-40F7-BB44-9C21D385028F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a03ea368dab2c9c6542dbc9bd37b39b263f1e848","datavalue":{"value":{"entity-type":"item","numeric-id":3613071,"id":"Q3613071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6e596f5f4f2690e324af3f27a416827f0bddc14","datavalue":{"value":{"amount":"+0.7694637179374695","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":"Q2353401$9D086CB8-A285-4CF0-9799-330F2419DACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"635d675b3caee19f9ce31b3226f711aeb1e4a422","datavalue":{"value":{"entity-type":"item","numeric-id":1853122,"id":"Q1853122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac8aecb2c1cf0fb5010975810ddb632dd7951c7f","datavalue":{"value":{"amount":"+0.7522907853126526","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":"Q2353401$3DB381FA-27C3-47C6-9384-7191A11B41EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa21767a783934e002833c7487898c9790bb8995","datavalue":{"value":{"entity-type":"item","numeric-id":2844827,"id":"Q2844827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4819a008aa9936ba08806fb5db18ede7bf4f596","datavalue":{"value":{"amount":"+0.7470458745956421","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":"Q2353401$8BB3CC0F-D84E-41FA-9AB3-4F63FEDB6520","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2353401","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2353401"}}}}}