{"entities":{"Q5892173":{"pageid":7929713,"ns":120,"title":"Item:Q5892173","lastrevid":52347455,"modified":"2026-01-22T10:12:20Z","type":"item","id":"Q5892173","labels":{"en":{"language":"en","value":"Verification of linear duration properties over continuous-time Markov chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483221"}},"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":"Q5892173$7BF7D8CF-13CB-48A5-8651-70B6FD089D64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad8bc5f966841c1836ad89a95153e068ebdb33b8","datavalue":{"value":{"text":"Verification of linear duration properties over continuous-time markov chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5892173$A635C651-C0D2-445B-868F-1FA6F3FC38C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be8252007f847be352651297931e647f5d27bbba","datavalue":{"value":"1353.68174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892173$FAF32E62-3A23-4F1A-98FE-12540208F955","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"adf1ffbbb32e09c33fba92ea12ea825696c1f15f","datavalue":{"value":"10.1145/2528935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892173$E1ABD1F5-A61D-4BB8-8021-CB62AC4BAF03","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":"Q5892173$49D17643-D2FB-43A7-AC8D-8C8F8E368953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12dd9e49ab63b3d93a9c6689e1370093c5254f21","datavalue":{"value":{"entity-type":"item","numeric-id":2453218,"id":"Q2453218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892173$3C969873-9DE2-44D4-A31E-9AE37D9DA73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9491c0a0f4df059e837824eca71ad92c31ba0be2","datavalue":{"value":{"entity-type":"item","numeric-id":278754,"id":"Q278754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892173$641B2933-BC56-430A-9CB7-A901B545170B","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":"Q5892173$469788C2-3291-4877-90E9-FEA22396AA58","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892173$1BF0D67B-6027-42BA-9D38-3C929ECCC975","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5892173$6132E64E-922B-46FC-900C-21683E6D35BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892173$F4C5C7A2-9EE0-491B-89E3-51E6CF037D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892173$EB557A9E-3F2E-4B63-B4B5-E1EDECFBFC83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b28b12933f5757d8935519cd9d77c163b8b4b67","datavalue":{"value":"6483221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892173$C7BBDA07-2F59-4658-9662-0BFEB3A0A14B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"707f448d94a0c6a283e0d49d566a7fc1301738d3","datavalue":{"value":"Markovian reward models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892173$A3B2BAA9-B0B5-425F-A647-8C7A701A3728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892173$2051F5E4-FFAF-41D1-9491-5B3ADE769D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67b1e0024e7e32a8458eb21e73fec9565aa0dc32","datavalue":{"value":"continuous-time Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892173$89BB7BF6-DEDA-49D9-9415-1280EBF6DB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e47339b830c9d841c5aef77365ad19a8c5bf8ae3","datavalue":{"value":"linear duration properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892173$478FEC84-4298-4A63-BEBF-882A6B876F83","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"58128bf4b1eb390fa1e540a2796f8d133805596e","datavalue":{"value":"Q112268312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892173$0C63A5EB-D412-4C5E-9B14-EB1C26232CAE","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":"Q5892173$FC14A2C8-F87D-4F1C-935D-2C42D5798458","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d5d86452dbe56b5a8499f3e0b0ee39c6b2bee59","datavalue":{"value":"https://doi.org/10.1145/2528935","type":"string"},"datatype":"url"},"type":"statement","id":"Q5892173$D602D676-71B1-4530-881A-AB769BA4E779","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e389ea9a5f6e3051c39bc18506963f7f26ad110","datavalue":{"value":"W1984799101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892173$78188610-B386-4194-94D0-883ECB499689","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20b8f3abfdee5da9960faec6d98eea028a751f3a","datavalue":{"value":{"entity-type":"item","numeric-id":5892433,"id":"Q5892433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a4f3b5e20c72f48f7efb0a75ea578c96a27655c","datavalue":{"value":{"amount":"+0.994089901447296","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":"Q5892173$AF0AA10F-A77D-4008-990B-2848B44A3327","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":"ed0b659665ea2452af06e7b0ba3c25e5444dd9e6","datavalue":{"value":{"amount":"+0.7911139130592346","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":"Q5892173$DBDD4D0A-855A-4483-A2DE-98335F78D90C","rank":"normal"},{"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":"1164a4b5f427505b2f174721e4beed7155876022","datavalue":{"value":{"amount":"+0.7738185524940491","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":"Q5892173$2A112EB9-FF61-4C52-9E25-D52D746395E5","rank":"normal"},{"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":"899f87877a024248482ab7f6ff9088e18093cea4","datavalue":{"value":{"amount":"+0.7690837979316711","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":"Q5892173$697F5324-C445-48D1-8532-158CE4054439","rank":"normal"},{"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":"fa3959058bc5d329e69251b14194391b347ab57f","datavalue":{"value":{"amount":"+0.7681739926338196","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":"Q5892173$5F36CD55-34A7-42C5-B31B-97E9D6D84FB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5892173","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5892173"}}}}}