{"entities":{"Q2921114":{"pageid":2931834,"ns":120,"title":"Item:Q2921114","lastrevid":85150661,"modified":"2026-06-03T06:04:20Z","type":"item","id":"Q2921114","labels":{"en":{"language":"en","value":"Analysis of timed and long-run objectives for Markov automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6349736"}},"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":"Q2921114$9478DF25-F8FE-4B98-B27E-8D868F360AF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eeaaeeaf17e40e7ca380b5cc38391a62737868a6","datavalue":{"value":"1342.68135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2921114$629184BF-0BA1-4699-9DFA-3F98C4244F96","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66742809071255f6407cd444a1a118787f2de329","datavalue":{"value":"10.2168/LMCS-10(3:17)2014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2921114$E584A62B-751A-49B8-992F-1CB853AE6813","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f66e2a4b07b301338c958f9bcaa7f366eb37c05","datavalue":{"value":{"entity-type":"item","numeric-id":2403527,"id":"Q2403527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2921114$79AAB340-1B74-4C75-BCEC-B8ED7CC5D2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2338efe013c8248083cda56c50f7975ea158189e","datavalue":{"value":{"entity-type":"item","numeric-id":2403524,"id":"Q2403524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2921114$6DE4B054-0239-4313-A1E2-3A33928BF0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d570ab9528618e94eac06ac4735a35751c2a1ea4","datavalue":{"value":{"entity-type":"item","numeric-id":236071,"id":"Q236071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2921114$4AF2C07D-A9E5-4D19-B0C0-38DD992DE18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d8205f7645ace19f38d4b0abd4fd4de5774377b","datavalue":{"value":{"entity-type":"item","numeric-id":507379,"id":"Q507379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2921114$EDD995DE-5470-4C26-B945-F1FCFCDE82D9","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":"Q2921114$371FC684-481A-4939-A988-D2B68EA48C8E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2921114$081BE0BE-DAF5-4645-A4C6-3241E314E719","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d405066baff2000c56d61b8ee78a90700809ef9","datavalue":{"value":{"time":"+2014-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2921114$FB6BEEFF-9A2D-4C80-BD6D-8E214E383806","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba8accae6f297a835ac5518e739c336ee51e28ac","datavalue":{"value":"https://arxiv.org/abs/1407.7356","type":"string"},"datatype":"url"},"type":"statement","id":"Q2921114$F983C291-C654-4E9B-9C68-D2CFC51810C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2921114$8C7DC87D-CC38-4BF2-ADA1-38954DFADF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2921114$C9423454-6B94-4674-8E8E-011EC980165A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2921114$D152BC5E-BFAF-4FE6-B85E-0E0C1EB12B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2921114$FBFAE1D2-9026-4734-AAE7-48D30D58CA52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2c10c5a237d2f320a439cf6c7e0369fbd36877e","datavalue":{"value":"6349736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2921114$8CF3F06C-19B6-4E89-A2A0-A51034C134BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16da24c5a0382d4c0e1b754e184feb71bb9dfeec","datavalue":{"value":"quantitative analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2921114$8739568D-CB64-4E44-AF3F-80068C325FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"754faa789ef14fb45fb733afb19bac9f401507e4","datavalue":{"value":"Markov automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2921114$7AD0EA60-D5E0-4030-96D4-83F06CFB159E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae2fe9a8b5dadca96554617a2d16001c7f61783e","datavalue":{"value":"continuous time","type":"string"},"datatype":"string"},"type":"statement","id":"Q2921114$7F86671A-F0A8-4142-AA4A-0B6C296393F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"782e6b155a674ad08f60a27d9f51cc34c02e60d7","datavalue":{"value":"expected time","type":"string"},"datatype":"string"},"type":"statement","id":"Q2921114$D5B50DB0-E701-4983-A9DD-6198EFA440AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcb6cf2c864c2c0c8592b39a255328e71567e4cc","datavalue":{"value":"longrun average","type":"string"},"datatype":"string"},"type":"statement","id":"Q2921114$3C8F7546-D743-4562-A53C-0801FDC1B651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d9a04af679de71f4d62bf0991ce72b77a4ff156","datavalue":{"value":"timed reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2921114$A9C873D7-BEFF-4517-AC79-E9A4B9BE504B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d880a4b130d6111efeab5c60f60684ec1d851a7a","datavalue":{"value":"Q57800783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2921114$7AD94FB0-855C-424A-BA4E-7B2964A8B991","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6cd1335a375a41f617c77c1e85aae8790ca1c1","datavalue":{"value":{"entity-type":"item","numeric-id":22539,"id":"Q22539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2921114$8DE49A98-7E12-4B1E-8EF3-F58C86B82D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0e8cb462015797bba50d4d9cbf9f7a854ecbf67c","datavalue":{"value":{"entity-type":"item","numeric-id":22540,"id":"Q22540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2921114$F29B00A6-916A-4107-A910-0AB2839CE066","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":"Q2921114$20067BA1-F147-4D4E-897F-8E347229374F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4cf180234d517cbb78a36b23949b2bae7e4374bd","datavalue":{"value":"W2172279531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2921114$E2D0B250-B2B1-4D09-A759-44C044CDAD03","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":"ee1c602c0b4e750f19d456e5d55b1c6b8549be06","datavalue":{"value":{"amount":"+0.8743443","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2921114$BE669454-ACC5-4969-BFD8-B6B56C0DAB6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"793d40034cdf739aa2c97e9407999ed56e58c778","datavalue":{"value":{"entity-type":"item","numeric-id":3457788,"id":"Q3457788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bb15eff400ce11e167be41a02c06ee20926ac37","datavalue":{"value":{"amount":"+0.86207914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2921114$3FC58D0E-8206-4191-9B83-D8EDE6A93FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d525d70193c8b89422155ebdd47eeea66511a845","datavalue":{"value":{"entity-type":"item","numeric-id":3303930,"id":"Q3303930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f45859b1d2243ed8d654d5ff162d87bd008dc1f","datavalue":{"value":{"amount":"+0.86122286","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2921114$F4FF28AB-FCC7-4117-B3F0-3D3AA465483D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4686e20a609c27d288a50927debce71f303e726c","datavalue":{"value":{"entity-type":"item","numeric-id":3766857,"id":"Q3766857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8d85eae6ba50b00a4519f728a3946c0305c3dd9","datavalue":{"value":{"amount":"+0.85475695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2921114$B50C0C67-42E7-437B-8B44-BE50AC2E9D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aac48a355c9f58ca45fe5f3fa30f5a58a33ee56","datavalue":{"value":{"entity-type":"item","numeric-id":5326312,"id":"Q5326312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"828792ac22cb0d6d2c89c9437e1d0f29147170fe","datavalue":{"value":{"amount":"+0.8464155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2921114$BD9A57DF-80FF-4DA6-B61D-408A4C9822A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6fb8ca039c1b362e5afeaddd4959b12e2dd4790","datavalue":{"value":{"entity-type":"item","numeric-id":3648693,"id":"Q3648693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b643f4ab8265bf9c3794d50cb3cc4e349918f69","datavalue":{"value":{"amount":"+0.8462963","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2921114$2C7328D4-F1D0-4BFA-ADC0-02AA57515771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b152a8373a35ee0e4daa06a6463d78ae0c13447","datavalue":{"value":{"entity-type":"item","numeric-id":3400550,"id":"Q3400550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6532cc6e297f213959d7501f1976288a4e375fc0","datavalue":{"value":{"amount":"+0.84621966","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2921114$05ED956E-4E07-4472-88ED-F9DD35127A96","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f00d42e6d97c7b1bda34c85bbf7c5a48772143b2","datavalue":{"value":{"text":"Analysis of timed and long-run objectives for Markov automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2921114$C779B7DE-98D9-4985-95A5-14FC339705AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Analysis of timed and long-run objectives for Markov automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Analysis_of_timed_and_long-run_objectives_for_Markov_automata"}}}}}