{"entities":{"Q6041132":{"pageid":13172132,"ns":120,"title":"Item:Q6041132","lastrevid":93738668,"modified":"2026-06-05T05:00:44Z","type":"item","id":"Q6041132","labels":{"en":{"language":"en","value":"Monitoring CTMCs by multi-clock timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7689226"}},"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":"Q6041132$E5F58415-0716-4C21-B4A2-2C2E217D89E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ca3c4bb33104fbf9364f5ee68701f942d6d9f42","datavalue":{"value":{"text":"Monitoring CTMCs by multi-clock timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6041132$E39A4631-9C82-40A5-A643-5292C7621BD8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6074ad4f5682c61b6d5003cd4e168f04ee5f0a81","datavalue":{"value":"1511.68152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041132$53E9A016-35C7-4730-8610-C89E290DB6B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d560f040b3d4989f5c394a2c029c0d7a68fa144","datavalue":{"value":"10.1007/978-3-319-96145-3_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041132$FC866B4E-0EC0-4B50-A963-8551C0793F7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed781b521021ee3d5197023080778c22ff95cb31","datavalue":{"value":{"entity-type":"item","numeric-id":2508088,"id":"Q2508088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041132$30F25CED-6E2A-4241-AF4C-1213CCE219EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7022a72b5bacc0b67ba4ac59d1d6bc736b6252b","datavalue":{"value":{"entity-type":"item","numeric-id":236073,"id":"Q236073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041132$74B3038B-526C-4EC7-83D5-2302FFF61FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c90ec90e41635139b04ecd99966e739b5bf7107d","datavalue":{"value":{"entity-type":"item","numeric-id":2100060,"id":"Q2100060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041132$A3B6EDFB-38A8-4480-B318-068BD5F4A80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0038878076b301e6462b2653f0c09b0d02a59b41","datavalue":{"value":{"entity-type":"item","numeric-id":351969,"id":"Q351969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041132$A97E2FA6-83E5-481E-9BE0-9CCB854E6A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c53576066bc56448814a25dcf6f6d8a1a93fe1ff","datavalue":{"value":{"entity-type":"item","numeric-id":208297,"id":"Q208297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041132$1D906948-BF36-4650-8BCF-FF2EAE1FB4AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041132$242BD846-4F63-48B0-9A1D-3298A37499B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e202514302232ff7f5ec81097f072c587f02b43","datavalue":{"value":{"time":"+2023-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6041132$8AB18371-C3DB-43D8-9F72-AF86389062E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041132$7A1625AC-F2C1-46C9-8FE0-BBF38BD48DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5324c54a5b1cbe1a80cf6fd5ed624d38a1676138","datavalue":{"value":"60J27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041132$D85CA553-B605-48D4-AB7C-6B3529A8BBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041132$2D6EAB9D-F3B9-492D-AB90-BAD78C506750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041132$B5B9268E-7265-4E9D-BC03-E3CDCF5E68E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67fd30f1e358bd16d1ee2e61dc09055f89afac12","datavalue":{"value":"7689226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041132$392D2476-2A7B-437D-9731-B97EFAC152DB","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":"Q6041132$0F5D0DB0-F00E-4DD3-BC9B-4893BC777439","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8d4aa247568d14c8330269572885615030930f5a","datavalue":{"value":"Q57800507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041132$B4377996-09B2-4254-8026-B61E8D8DF8A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db2323cc7b486ebe28e1ae0cba15553a7cd36246","datavalue":{"value":"https://doi.org/10.1007/978-3-319-96145-3_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q6041132$16286EA8-1C53-4D8E-81FE-C45A6DB43F2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b0e82728d2b652414c90fc170ef16ad491b2c016","datavalue":{"value":"W2884771291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041132$59AA4A8E-2D26-42DB-A00A-FDF04A4EE842","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"259aec6f72c65c6fc13f9ba93078c7baf1da1328","datavalue":{"value":"conf/cav/FengKLXZ18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041132$ED6514AD-3E56-495D-9C27-45EFD7F857FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"649c6a2777986bb091004ec09cd96a579d55c089","datavalue":{"value":{"entity-type":"item","numeric-id":3003315,"id":"Q3003315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c01284778e9c4a176d1bcddb8aa21f6fdce609d","datavalue":{"value":{"amount":"+0.8711968064308167","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":"Q6041132$5CC5DE93-85DE-4E81-B25B-9D6239DBA68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4944ce155b44ba868c8d12c45200ef23ac0da0f6","datavalue":{"value":{"entity-type":"item","numeric-id":4536598,"id":"Q4536598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2da03d8b0cb8c697f2ba92feb5b8e561d7af7cf9","datavalue":{"value":{"amount":"+0.8593499064445496","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":"Q6041132$E61F2A9F-647F-4C20-8530-AF61695844B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57087d1fc5cae94b9e6134d6a9a05a80534c1ad2","datavalue":{"value":{"entity-type":"item","numeric-id":3172860,"id":"Q3172860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6103e73b0573133b808ec11c656d467bf637231","datavalue":{"value":{"amount":"+0.8415318727493286","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":"Q6041132$9506877F-2A73-482F-AB8A-B9979FD29F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e8a693cc650891ced776f27675f323ef8f4672c","datavalue":{"value":{"entity-type":"item","numeric-id":2986937,"id":"Q2986937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27b93d343db8f0ce9e91e7bd5564566499e302db","datavalue":{"value":{"amount":"+0.8351594805717468","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":"Q6041132$671DC6CB-238F-41F9-9928-201DC388A52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1836da3e10abda99441b67043eb5e54b56700a11","datavalue":{"value":{"entity-type":"item","numeric-id":3000642,"id":"Q3000642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdba598f1e20eb15a989766e96a3a15f1d162290","datavalue":{"value":{"amount":"+0.8272949457168579","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":"Q6041132$6801BCC0-6545-4DFF-8B48-27D1C0A2AF2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Monitoring CTMCs by multi-clock timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Monitoring_CTMCs_by_multi-clock_timed_automata"}}}}}