{"entities":{"Q3003315":{"pageid":3014039,"ns":120,"title":"Item:Q3003315","lastrevid":45234637,"modified":"2025-12-03T14:43:02Z","type":"item","id":"Q3003315","labels":{"en":{"language":"en","value":"Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5900066"}},"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":"Q3003315$8CB83830-6484-484F-936A-5E29EB2CE180","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f92d57bb4995ebd5771859394aca720e43ae932","datavalue":{"value":{"text":"Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3003315$5ED09568-50E0-45B0-A6E7-9EDB6AFA6EB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c993cde02543e7df71ebdcfe313f7c93149f6be0","datavalue":{"value":"1233.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003315$D3033146-779C-49C3-BAD6-8FFF35EF7A32","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d42fac483079bf2aa8f940bd71b2accd40850756","datavalue":{"value":"10.2168/LMCS-7(1:12)2011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003315$E53D69C2-D28D-4FA6-B3E2-63D405C4636F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56f2720d61eed3832eaa70475ebf459e0738ce91","datavalue":{"value":{"entity-type":"item","numeric-id":310083,"id":"Q310083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003315$D2F373B2-D00B-489F-B7A4-2E46303E5101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7212e30b632f2e93de3964c7abeeef134479d1ec","datavalue":{"value":{"entity-type":"item","numeric-id":458373,"id":"Q458373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003315$DF6F8823-8AE2-4D12-8543-69D917E744BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4439e65a9803a6e1ec53eae8fa5fce4484aafb9c","datavalue":{"value":{"entity-type":"item","numeric-id":515572,"id":"Q515572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003315$032DC89A-885E-488D-BB6D-6C99889E519D","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":"Q3003315$334808E9-F60F-4D12-8192-3A4E7CE09342","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":"Q3003315$0BEE5EBD-BBC0-4DAF-80B6-DB5B9A254C83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0d41ce3332fcf97fd23ad798d4a05a02b8284bd","datavalue":{"value":{"time":"+2011-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":"Q3003315$93E7F0B1-BFD7-4B3F-95D6-830BC805920E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003315$C9602228-4C1D-4795-A659-D32CF4764F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"81f5aa74b6975bbfb65fbce749dcb755fe0984ab","datavalue":{"value":"45D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003315$19166CF0-8FE4-4EA2-910B-0A0E5163A1B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1bfd44d39fc48f1c1778c5522f250d3165ba32e9","datavalue":{"value":"60J28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003315$E9409968-07EC-4421-AC2E-5747846F1C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003315$6C5BDFDA-A5A8-44B7-BA21-55550ECC2AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003315$C7ECA9A9-A990-4AE1-B1A2-6834A27F5B68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ec8676aca71add9b6ffa5db809b4f96a596a1db","datavalue":{"value":"5900066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003315$4E5456FF-38BD-4CE9-89ED-B8E1CE656CA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67b1e0024e7e32a8458eb21e73fec9565aa0dc32","datavalue":{"value":"continuous-time Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003315$36E7F232-0365-49D9-8B2F-0335D06C05B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4f5a8d7f7f19855f04d728bcb3cdb6767511744","datavalue":{"value":"deterministic timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003315$130A31E9-73BB-422B-860C-A6EE0D0A8259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2319e99c8233b2a386fd9cac82689d0fdca1e92a","datavalue":{"value":"linear-time specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003315$0F06CE71-06E7-4D31-810C-EB79AAEDACEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003315$817FA17E-E460-4FAA-A756-693620469CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31c73564a9794a8783f1637830584c15de484802","datavalue":{"value":"piecewise-deterministic Markov processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003315$33B4CE48-8103-46AB-BC3F-404E285D4061","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003315$1F5BC30B-7B65-4777-996A-F86126414AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1d7c89f8c4a43a132064ef87f7add4215ef6c5f","datavalue":{"value":{"entity-type":"item","numeric-id":16314,"id":"Q16314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003315$B4D0BE40-7186-4F37-BF02-0577ED24B23D","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":"Q3003315$197FEC6C-73EE-4C4D-8672-F52CBA3EC6B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74f6b35068385f1b6bfa11f03b847ae4f16fbd12","datavalue":{"value":"https://doi.org/10.2168/lmcs-7(1:12)2011","type":"string"},"datatype":"url"},"type":"statement","id":"Q3003315$E331DF56-1CE0-4209-BC9B-3850FA2540D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be508f2629befdc24628b01cf30d42facd739198","datavalue":{"value":"W3103183526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003315$ED11BE21-AD98-4375-AA17-E1A02FE7E14F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e86c268dc1acaf66e0136a2fe8d43f16d7d0ea7","datavalue":{"value":{"entity-type":"item","numeric-id":5738903,"id":"Q5738903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f53e25d4e50a2feadb66312b1115167b52071f91","datavalue":{"value":{"amount":"+0.9664805","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":"Q3003315$CC850E30-FE90-4A76-857A-77B70BDCC13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cdb19450e290e9632985dc3e940d1b4eb0d2638","datavalue":{"value":{"entity-type":"item","numeric-id":6060096,"id":"Q6060096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c791400899b3cb14c8784b85a6ca03774142a575","datavalue":{"value":{"amount":"+0.94977427","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":"Q3003315$D6DA4C4B-91A1-4E9F-84F4-FB5D782DA1E3","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":"8162e8f0d1dab0a79db808bba08add51049eb277","datavalue":{"value":{"amount":"+0.9481547","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":"Q3003315$45D82B1B-4DA9-4D69-AF94-28D4451759B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fccd46ab9f17c784653baf14caa5c13745fdcfb","datavalue":{"value":{"entity-type":"item","numeric-id":2754096,"id":"Q2754096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d858f7fb6919cc199d93529b3507a9f27bbc5a8","datavalue":{"value":{"amount":"+0.93876946","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":"Q3003315$7338C4E3-811D-458B-AC5D-65BDFB01EC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6592fe64c578df98ebc9a32850ef70e2972f9f7","datavalue":{"value":{"entity-type":"item","numeric-id":4270055,"id":"Q4270055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ffbe7f9df6adaf413174b6e9c8c471c4ca6c62c","datavalue":{"value":{"amount":"+0.9311011","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":"Q3003315$34174DF7-3F37-4C2E-882E-C7F561BADBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df8b75fd2eb63dd1577859d25c3bc638eb2f871","datavalue":{"value":{"entity-type":"item","numeric-id":5709980,"id":"Q5709980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76dff957eb25204515ba748595175238bb1efb7b","datavalue":{"value":{"amount":"+0.9259586","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":"Q3003315$997BE7E5-186A-4283-988A-FD20C7FA08B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ca06ef0616aba8c589d663ac369ff98348ff137","datavalue":{"value":{"entity-type":"item","numeric-id":1941693,"id":"Q1941693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7394e51082f3ed04b2b441ffacb1eaef0f332f61","datavalue":{"value":{"amount":"+0.9251542","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":"Q3003315$3D6A4A49-DE48-4AA0-8B93-6C1350DBAB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0468c56b5095132157067038516c1d011b2c06b","datavalue":{"value":{"entity-type":"item","numeric-id":2248072,"id":"Q2248072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef78d7b11d19f1754b1825c6d76096806db92de7","datavalue":{"value":{"amount":"+0.92474633","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":"Q3003315$71DABEE4-671D-4927-A804-68C2786EA421","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":"cf665a87a7ddc99a5a580b5997e38688b67172a4","datavalue":{"value":{"amount":"+0.9220166","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":"Q3003315$9EB60FF0-E342-4910-A0E8-7AC04BE6296F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3003315","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3003315"}}}}}