{"entities":{"Q5740181":{"pageid":7769733,"ns":120,"title":"Item:Q5740181","lastrevid":52580264,"modified":"2026-01-23T00:56:02Z","type":"item","id":"Q5740181","labels":{"en":{"language":"en","value":"Compositional design of stochastic timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6605923"}},"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":"Q5740181$FBE0A4B7-4554-44A8-96F8-9913485AAD8E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7992ba343f881e5a96716550242777dbb2f6cb48","datavalue":{"value":{"text":"Compositional Design of Stochastic Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5740181$687F2162-3E64-4BD6-93C9-A941A400A4E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a51d296b9f89b5438d326ee2d01f7a92f6ab455","datavalue":{"value":"1475.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740181$A7BCEC2F-323E-4C0D-9E90-F4E0E77FCDBC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ab91b3873b0a0e68e8a841b9be5fc9181581bc0","datavalue":{"value":"10.1007/978-3-319-34171-2_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740181$DC9C3A05-43E5-4315-8D76-36934F1B620C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d424413aeec311b651d13247c996fa4e3d447106","datavalue":{"value":{"entity-type":"item","numeric-id":481095,"id":"Q481095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740181$85884E9D-87B9-4886-99C9-87CA0C89E77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c813e4eac9249a49160a1fa23fbb3a021a9d29aa","datavalue":{"value":{"entity-type":"item","numeric-id":520341,"id":"Q520341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740181$64E14948-DAB4-4F50-BB39-B6052F68AE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdc8282dcbb213d050b7b77150b36d1dd2e15681","datavalue":{"value":{"entity-type":"item","numeric-id":1648645,"id":"Q1648645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740181$3F6D33C5-9EFF-4B28-BC83-319807D4D26E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc1b88ef358d85f7ffc75f905765ddff54ee9e75","datavalue":{"value":{"entity-type":"item","numeric-id":312254,"id":"Q312254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740181$6B9E0218-E0BD-472B-822B-B427054B0EAD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"41df48044034ceb6ef08b66017467a62c3d265aa","datavalue":{"value":{"entity-type":"item","numeric-id":2907481,"id":"Q2907481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740181$598ACE91-27FF-4A57-B6C7-B229653386E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6174f0f308bfe5451a1e92e04ac4da80f563ab47","datavalue":{"value":{"time":"+2016-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5740181$C4338162-2612-4EDD-B3C3-EDAF97C7E2C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740181$60BB0AC7-90CB-4F0C-8F6E-E7936051C86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740181$5829A72F-BA18-43BB-A94C-CEF3BB6A1D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740181$31839CEA-1A65-40F0-9010-4CB74C4E73F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75b8686b8407967a6a9e580efbcc7cd933d51f8e","datavalue":{"value":"6605923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740181$E3764F3B-3DFA-4552-A82D-3B3457F37F0C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dd1a3dd9b17b8be196d9f3c5587425a76298afc6","datavalue":{"value":{"entity-type":"item","numeric-id":14250,"id":"Q14250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740181$3A6F076A-696B-479A-92DF-8EB65B6BF8D3","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":"Q5740181$8549991C-4778-44A1-8633-56CD048E179E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93d99c03e9eb8c4931ad4d6b742784b1ec86dfc0","datavalue":{"value":"https://doi.org/10.1007/978-3-319-34171-2_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5740181$481A7D75-40FA-4BEF-950E-1E7A8BFA5C76","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38bb9f4c0d7673ba89dd27f68ac0395fda38830f","datavalue":{"value":"W2477000045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5740181$654A6963-38C0-413C-A4AC-D4E11A64BCC6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ce5786065f5ca83a36cb19d0817ab0cf0d73f0","datavalue":{"value":{"entity-type":"item","numeric-id":4038702,"id":"Q4038702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740181$26A1562F-127E-4FC6-B2DE-769150F9DC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740181$3D50CC48-F2FB-47F5-9FAE-108ABAB4216B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ccf8586597c3566f257c91d59d2b4dcf95056d","datavalue":{"value":{"entity-type":"item","numeric-id":1274452,"id":"Q1274452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740181$96AA9ABA-F6B0-4B24-999F-2DCE98F54B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2679c29c0d26197f91a356070d95bfb2b5e55c98","datavalue":{"value":{"entity-type":"item","numeric-id":2387196,"id":"Q2387196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740181$2B130282-EC85-45FB-9241-7B5308AC7608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a85d0a132429bb0e7fa217fee33d9247857cc150","datavalue":{"value":{"entity-type":"item","numeric-id":5262953,"id":"Q5262953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740181$5E89FD6B-751A-43E3-8CA9-063E9693EF7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740181$EA195349-6251-46A3-8DF6-C06C9B710069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"206bee8ccb1b69ba41f0919815b3c5701f8151bb","datavalue":{"value":{"entity-type":"item","numeric-id":2938760,"id":"Q2938760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740181$CD9C233F-8AC9-4AE6-A16C-72638219A156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49a0b9fd82077b405ca2a4fe823f635e1544fbad","datavalue":{"value":{"entity-type":"item","numeric-id":5740181,"id":"Q5740181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740181$08883877-B47B-43CD-9563-B02BC9C50DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a457b8bc5a3de866e4c00d4a4d2b917d203cce28","datavalue":{"value":{"entity-type":"item","numeric-id":1603705,"id":"Q1603705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740181$A9058C40-651E-4812-A3D1-DACD4B6F0458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9449cb77ad84993e83189a66560adc3840aefd35","datavalue":{"value":{"entity-type":"item","numeric-id":2957522,"id":"Q2957522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740181$163BDB5B-E4F0-42A2-BF47-43B39925BC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b56fa501b867d74b018b8d03bbc9f3ca8e28216","datavalue":{"value":{"entity-type":"item","numeric-id":3090827,"id":"Q3090827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740181$1793A7D2-9880-4A64-87EB-5F2FCED09A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db0d7919da8a9913442a46ee15bada88e41905e5","datavalue":{"value":{"entity-type":"item","numeric-id":2575854,"id":"Q2575854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740181$10010414-F645-4D10-A521-1942E88EF62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e93f682784659bfede46b0f93c819bb150dcfd","datavalue":{"value":{"entity-type":"item","numeric-id":2575855,"id":"Q2575855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740181$9E5EB716-606B-4F7D-B9D4-F7E18AA6B9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d8862b43cfd7dda3400a88a9cff2ab2712adae3","datavalue":{"value":{"entity-type":"item","numeric-id":1400292,"id":"Q1400292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740181$2360C48B-46D8-4E8E-8BC5-C04164124F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f505dfb824e1aae39a5d3eb343ed8fbc59b2938b","datavalue":{"value":{"entity-type":"item","numeric-id":701689,"id":"Q701689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740181$B948ED04-D727-49C6-8E75-EF741D3AD713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f35a91485ca2750c48daea939f429af331c84242","datavalue":{"value":{"entity-type":"item","numeric-id":3066128,"id":"Q3066128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740181$0A0F1BD1-F5F2-4FCC-8D27-AC937D6E824C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"835d9c373913653df02a55763a784a566ec3cd7c","datavalue":{"value":{"entity-type":"item","numeric-id":2842120,"id":"Q2842120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740181$D48C6C00-05F9-4C48-AD45-ECAA25A2AA8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2555f3043f48d8ba2b8b0fffb670cc33cdfd1080","datavalue":{"value":{"entity-type":"item","numeric-id":1402480,"id":"Q1402480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5740181$8E3FD5CD-5938-47AF-82F9-96670834D055","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1196c5ef292fd4d066937e88561d4b2538f0e3c0","datavalue":{"value":{"entity-type":"item","numeric-id":2938760,"id":"Q2938760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39f95fdceba3e5c17d8c0eea02d6402d2125e4e4","datavalue":{"value":{"amount":"+0.8066381812095642","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":"Q5740181$FC68DE06-CB6D-4A42-8BA8-0E3D6A5C380C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4391d6e5b05a5ca41d928a5bc7c9dc918056c481","datavalue":{"value":{"entity-type":"item","numeric-id":2575854,"id":"Q2575854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f57de5027c637cc264d427408886f7bc98c28668","datavalue":{"value":{"amount":"+0.8036308884620667","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":"Q5740181$2BFD40C0-92D6-446B-ABCF-9F0DA50D7498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eca706452eedaed6ed15eb8a7596fb0c354f885","datavalue":{"value":{"entity-type":"item","numeric-id":4603557,"id":"Q4603557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"991eef67beabef681fb20eff4ffb7673608dc36c","datavalue":{"value":{"amount":"+0.7965206503868103","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":"Q5740181$891296F8-2AB5-4A16-8BEE-ABB079A60738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77e3be0af90206ddd7d27835f84014abd86a8115","datavalue":{"value":{"entity-type":"item","numeric-id":4471917,"id":"Q4471917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4834806960eb9f7b3cf9901f7787ec4e72fc15f8","datavalue":{"value":{"amount":"+0.7896553874015808","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":"Q5740181$1CA17E06-D7AB-422C-9F57-1687F5CAD6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"181f3cf59c709bf1e1d56ebe3fc5d294caed0933","datavalue":{"value":{"entity-type":"item","numeric-id":3584919,"id":"Q3584919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4589d5dc5ed67db6a10fc6472a63eeecf813f420","datavalue":{"value":{"amount":"+0.7894629240036011","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":"Q5740181$49CD0FE2-EAD6-4AA7-BB06-6EE7E0F0135C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5740181","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5740181"}}}}}