{"entities":{"Q2165513":{"pageid":2176256,"ns":120,"title":"Item:Q2165513","lastrevid":54384629,"modified":"2026-01-26T17:56:29Z","type":"item","id":"Q2165513","labels":{"en":{"language":"en","value":"HyperPCTL model checking by probabilistic decomposition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7573722"}},"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":"Q2165513$2A9D50EE-84E9-4F49-AC1C-89E9C429841C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae84b3adba5fec15a714fc5b4b39d1841d294105","datavalue":{"value":{"text":"HyperPCTL model checking by probabilistic decomposition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2165513$FDB0DBEC-4D62-40E7-9291-9F1FEA8C07D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2e3b2bf9755ed52fe833df33f118998341336c5","datavalue":{"value":"1502.68189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165513$7C1B7BCB-2B42-43B8-8E93-32918087A88C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f99eb04b28686784f2c559c0a26bdeb31cbcfd64","datavalue":{"value":"10.1007/978-3-031-07727-2_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165513$02AFCAB0-69B7-447F-9DE9-1A554BB1330F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ffa22e755dbd5d5bb1c714b7579eb14c5e68fcf","datavalue":{"value":{"entity-type":"item","numeric-id":2165512,"id":"Q2165512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165513$881364EB-5876-444D-860C-9E3A18D0C688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f4a9452230b48b25729b39bc47037fb4f65b446","datavalue":{"value":{"entity-type":"item","numeric-id":2158284,"id":"Q2158284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165513$25ADB3DC-0EA3-4C12-B22F-42AB4DE69A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03595cd73b96d5b235024b2e19a251d81caed080","datavalue":{"value":{"entity-type":"item","numeric-id":402123,"id":"Q402123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165513$BCBDC007-6B9D-45E7-AE18-95D0BA8C63D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd180bf3869763f3f572490f3c0f985a05a6d09f","datavalue":{"value":{"entity-type":"item","numeric-id":832223,"id":"Q832223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165513$D57E829E-6BD1-4227-9DD4-0AF1D8075B88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc1df975eaf5d972c6cd76a177b15b62ceb34b0c","datavalue":{"value":{"time":"+2022-08-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":"Q2165513$0F76C445-4FB6-42A3-850F-869319BA9CCA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165513$D7F662E7-42EF-4B04-B32C-E0D3BC2A6DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6a9ff1a146ff44dca747e334413377c148d2df3d","datavalue":{"value":"60J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165513$51FFF066-C7B0-4516-921E-89A658B61F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165513$FCEF6CC7-B03B-4453-AA70-7045FD7A8539","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed6d3b3325d2df89ef40a73f3df45bb2e14b97e0","datavalue":{"value":"7573722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165513$780C203A-CDF2-4DAC-9BA5-6F7463526FF8","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":"Q2165513$F1BB46D0-0BAD-498D-87C4-A17405E3828F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"548f948b705e32b3e6eca377affb1dc2b79e7b11","datavalue":{"value":"https://doi.org/10.1007/978-3-031-07727-2_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q2165513$84B4F74B-49AA-4C80-B957-1641312EFF1B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ea449b4ac1d31e6e4c46ab5f37da150d4890c11","datavalue":{"value":"W4285120389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165513$8E27CA6A-36B6-45A6-8A8A-1360E743063E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"630969d37542185fa849643fa9c6a017b179642c","datavalue":{"value":{"entity-type":"item","numeric-id":6104799,"id":"Q6104799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165513$84E79942-DD00-47A2-9F6F-E56920C226DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f6571451eb34c2ec047797471dff827c46fd6e0","datavalue":{"value":{"entity-type":"item","numeric-id":832224,"id":"Q832224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165513$8805914B-A7E5-4BC8-A5FB-77D73291821B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af7a415575615b2e42302790d11e106d39b1608f","datavalue":{"value":{"entity-type":"item","numeric-id":6154578,"id":"Q6154578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165513$83F3FC95-84F4-462E-A8C9-4037271E3180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4c48d8cd6bba60ffb5d8648f74e1189d23ab35","datavalue":{"value":{"entity-type":"item","numeric-id":3190360,"id":"Q3190360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165513$CE164333-0B0E-4456-B602-BDF3603838BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165513$98F14567-9859-4615-BAC8-307A390A8FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24aa4c1ac48bb0210bc071d3b3ee28cdce100c88","datavalue":{"value":{"entity-type":"item","numeric-id":1188998,"id":"Q1188998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165513$8D5233E5-03F4-402A-BCF9-FF8CC6576E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8be379e4dc29012717f03e4095ea9a22614ac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1702908,"id":"Q1702908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165513$E5491D69-8EEE-4A8E-8D67-39DF61C42518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8edbe854d3e5f5f690729c125c1627884cc1d20b","datavalue":{"value":{"entity-type":"item","numeric-id":2044193,"id":"Q2044193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165513$D56F9E98-BB1D-4FA6-9A85-23AE006F3D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9500ff483f0e1f97a5bb78b70386b2d6dcf53f0","datavalue":{"value":{"entity-type":"item","numeric-id":4798030,"id":"Q4798030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165513$A33708E4-473A-490D-8B14-89DFCC397C17","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e27ffb4ae9d7da23a5ac37c428f13cd688867cb","datavalue":{"value":{"entity-type":"item","numeric-id":6104799,"id":"Q6104799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44cb6e7e583e0534929bd097ce80672662e80a16","datavalue":{"value":{"amount":"+0.8479276895523071","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":"Q2165513$ADFC65C0-45E4-4D19-B0A2-945566C09839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d36dce0343775de8b1b4e3c772d9cc4b627fb15e","datavalue":{"value":{"entity-type":"item","numeric-id":6485910,"id":"Q6485910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c45c879601b1f0d9c5b4ea4ca552e3a117e3567","datavalue":{"value":{"amount":"+0.8462053537368774","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":"Q2165513$AA1D19A3-351D-40C0-9501-15DFB7D6345B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94aef54c234756b948016b96b86871a47d7ca205","datavalue":{"value":{"entity-type":"item","numeric-id":6485906,"id":"Q6485906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c99a78e691a9f4a782eb57f0c61502469b482db5","datavalue":{"value":{"amount":"+0.8335855603218079","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":"Q2165513$B3A695BB-1B80-4A7A-801D-BD23A36C656A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"273036887260558587b0b74bdb27bb5400fa51c2","datavalue":{"value":{"entity-type":"item","numeric-id":1702908,"id":"Q1702908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b31b0a7f3b17072467173b7b845e64d256101580","datavalue":{"value":{"amount":"+0.8294937610626221","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":"Q2165513$0BD13BC7-B2FC-41BE-9E50-FD444DB0D6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95343ebf7aa3a2a166e273ab43cb51942840a9af","datavalue":{"value":{"entity-type":"item","numeric-id":2234054,"id":"Q2234054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b136bad45aa9e2de70463fccd3e45abc1509d9b","datavalue":{"value":{"amount":"+0.8136888742446899","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":"Q2165513$901330A4-5E04-4F93-8F37-DC9C1BC3288D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2165513","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2165513"}}}}}