{"entities":{"Q3000642":{"pageid":3011366,"ns":120,"title":"Item:Q3000642","lastrevid":45232063,"modified":"2025-12-03T14:09:08Z","type":"item","id":"Q3000642","labels":{"en":{"language":"en","value":"Efficient CTMC Model Checking of Linear Real-Time Objectives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897401"}},"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":"Q3000642$9CEDBBDE-93FD-4934-B297-58DEB21B2EC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db0d99d8278a10767a5e38abe2baa4b8fd9a4fc2","datavalue":{"value":{"text":"Efficient CTMC Model Checking of Linear Real-Time Objectives","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000642$87F675C0-5FAE-4B21-9964-024CBD8F3909","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18bb6447d7562398b5c64ee02d911d9eb95155ce","datavalue":{"value":"1315.68174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000642$D458F7F0-B218-4955-B071-2307F07A361D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c1817e215f60e5c7e7fd2cea390786993af5645","datavalue":{"value":"10.1007/978-3-642-19835-9_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000642$403CEE66-D4BD-49F3-9F05-1F6CE27D547E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bf51f0ae4cf797400fbd6a96d9259a51cc234c1","datavalue":{"value":{"entity-type":"item","numeric-id":1693097,"id":"Q1693097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000642$6660A467-666F-4423-B18D-667D46A7490E","rank":"normal"},{"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":"Q3000642$D1B1D617-83C5-4C45-BDDD-67EA23D2948E","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":"Q3000642$F6E229F4-2317-4C6C-998C-D0284A770033","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":"Q3000642$7B57EFDA-D541-4F7A-836F-A023D3541B09","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":"Q3000642$38FF1977-9F43-4481-9278-0163551BAD6C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000642$F3F5508C-44FE-4A55-B0D1-6A43F7DDD8E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3000642$1A516F2A-DD1E-4A51-BB0B-CD452DB274B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000642$C2550B5E-DF5D-4D11-8F90-D96ECA75518B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000642$8C6198B7-E117-4F3D-A841-7F586AD2500D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000642$71FEB223-E20C-4820-9B94-2F714D04BE55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9e94f44049dec9eadc08ed2f1b7266055688f48","datavalue":{"value":"5897401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000642$A3130B06-B983-434D-9D7C-A0AAACA612E0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fe25fe065158388d70745ad27ebde86123386fbe","datavalue":{"value":"Q57801239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000642$0C7A0584-E2E6-4419-9B28-854F9AB1AE56","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":"Q3000642$7859FCC0-C5CD-4D65-8025-794B726F336F","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":"Q3000642$3BAA39FD-BCB5-41E5-895E-D6031C43E054","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":"Q3000642$0BABBDDF-1F24-4351-ADC2-6042C8D03D47","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3650d745bb8be19ca118819c20d67856d5a9e064","datavalue":{"value":"https://doi.org/10.1007/978-3-642-19835-9_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000642$F34B1A0B-48BA-42E8-BC63-641134C5757C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9f2e6d1359cb7d10393714e6a9bd56b985b3ff6","datavalue":{"value":"W2103836778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000642$FCCEB217-E568-4B70-959F-6FCF2897AF51","rank":"normal"}],"P223":[{"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":"Q3000642$5E050C4D-6D68-45EB-B3DD-860659792139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ea9e58a06cfc6902bf762f38cdcb0128e95ac39","datavalue":{"value":{"entity-type":"item","numeric-id":4264103,"id":"Q4264103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000642$3A691844-6649-434B-A05A-C43D5D8A2B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"753ef4032be548efb8faf8008fa50cd16a04190b","datavalue":{"value":{"entity-type":"item","numeric-id":5415660,"id":"Q5415660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000642$B4ACE29C-E59D-4CE4-AD3F-5588E8471436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13eb32d2b0acf43410573c5d7cbaf18ddec6807d","datavalue":{"value":{"entity-type":"item","numeric-id":3584931,"id":"Q3584931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000642$46964DB0-A204-4C2D-ABCC-36578170BDDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f5443bb9284f87063c1317606853d9c7a7285a7","datavalue":{"value":{"entity-type":"item","numeric-id":1014448,"id":"Q1014448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000642$38FB7EF0-F360-49D2-82D3-4E6791A20ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b57acaca409c758f44add32bdf32d5248711258","datavalue":{"value":{"entity-type":"item","numeric-id":5758103,"id":"Q5758103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000642$ADC6DCC5-6E6E-4E59-8FFC-30F75B8A362D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24479907e5ff62f7e96f21e3a99db2257659f8ac","datavalue":{"value":{"entity-type":"item","numeric-id":3557064,"id":"Q3557064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000642$6D282C1F-1235-46AC-BB46-F8C3E786CC39","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49574a7887d76a44f31ac371d9e5275945a70f7d","datavalue":{"value":{"entity-type":"item","numeric-id":3172840,"id":"Q3172840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e318bb208d055ab975f30c542fc85e2b83a7ede","datavalue":{"value":{"amount":"+0.91880965","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":"Q3000642$891660C8-BADB-4CBE-B198-301AF79EDC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d180377698a92e9ad209e27f781223ba6a09f7e","datavalue":{"value":{"entity-type":"item","numeric-id":2709812,"id":"Q2709812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8f2af55862389c8714116d794af55978db15891","datavalue":{"value":{"amount":"+0.90052867","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":"Q3000642$3400419A-96FA-4C7F-ADC3-40A24281424E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967d2af298ac21f2cd6af9ce8a91a27a9c75621c","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"313b3be850b7c083708e49b455cb3279b05abca8","datavalue":{"value":{"amount":"+0.8933566","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":"Q3000642$9E9795BC-6FBB-4F13-96F4-E4CEC01FF8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3068b1d995fce3e29421695ce13b1f3b505e3efd","datavalue":{"value":{"entity-type":"item","numeric-id":5747190,"id":"Q5747190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5366fcddcaeb18319b6225bf512026d83b3240c3","datavalue":{"value":{"amount":"+0.89231944","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":"Q3000642$43E47CA8-5A73-45C9-8BDF-C8307FA7645A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81c8bcd98d051f6489fda1a3148431a33928fb45","datavalue":{"value":{"entity-type":"item","numeric-id":3540089,"id":"Q3540089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"574b261324e1d769217ebf80493ddd9fed3d60ea","datavalue":{"value":{"amount":"+0.89152086","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":"Q3000642$80336EE1-5263-410C-9A1A-77BE093CA15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d7ead5727c5fd6d7326da705083f0c9b5e83204","datavalue":{"value":{"entity-type":"item","numeric-id":3519496,"id":"Q3519496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cca1cffa3a3760bc22b24c9d4013c2811f1be43d","datavalue":{"value":{"amount":"+0.89049804","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":"Q3000642$27832880-1684-4043-B953-B8FA5F12E72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f45aa8de96e11cb0f7b1f5532a500f0f26e2afcc","datavalue":{"value":{"entity-type":"item","numeric-id":2842578,"id":"Q2842578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"783dd09c7fa5784b22ae24e7757ea5a22f4c99be","datavalue":{"value":{"amount":"+0.8862604","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":"Q3000642$EF13C53E-3C47-4E37-AA6B-8CD25B68EC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3edf120a3531e23ee31563694eada91679c5b270","datavalue":{"value":{"entity-type":"item","numeric-id":3164837,"id":"Q3164837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53d701837e71273d2e6bf26bd2631a937c3e5c3c","datavalue":{"value":{"amount":"+0.88619924","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":"Q3000642$A1DF8ABE-7F35-4EA4-98D7-75A8A4F0A466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae5b347be1b954aab9a408891f7a23c66e451dfb","datavalue":{"value":{"entity-type":"item","numeric-id":2368994,"id":"Q2368994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59c84c8d75de42c4447ccba574097002bac7cfa1","datavalue":{"value":{"amount":"+0.8828813","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":"Q3000642$EA03149E-E3F0-4211-BAED-039678118928","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3000642","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3000642"}}}}}