{"entities":{"Q5256368":{"pageid":7285936,"ns":120,"title":"Item:Q5256368","lastrevid":52287137,"modified":"2026-01-21T08:54:41Z","type":"item","id":"Q5256368","labels":{"en":{"language":"en","value":"Stochastic model checking of the stochastic quality calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6448728"}},"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":"Q5256368$1D25389E-F862-47E9-9F89-4D9B9DC54FC5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d32ce6e673541f93eaa748f480b1a3d1812d4d0","datavalue":{"value":{"text":"Stochastic Model Checking of the Stochastic Quality Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5256368$056992A5-8AD3-4923-A44B-A125664E7137","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99b3b631e4f2a263ec9d3d48b7f0a86d9aa1d10f","datavalue":{"value":"1454.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5256368$0A3D5EF1-A4E3-45E4-8EC8-71EB1CBEF2F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d9bbd64857a06c4c6148e4bb01cd49d4e8f2f0e","datavalue":{"value":"10.1007/978-3-319-15545-6_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5256368$37EEB3AE-57BD-4AAC-8975-DDD22148ECA1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66b9832b777d3d49331312d3eb8a93c8014d39e0","datavalue":{"value":{"entity-type":"item","numeric-id":444502,"id":"Q444502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256368$43F63655-740C-49C2-9A1F-8E8B50ED681D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf7e7b304afc261de9ac094852ee3a0db52eaac7","datavalue":{"value":{"entity-type":"item","numeric-id":492909,"id":"Q492909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256368$E8B10CC6-9C03-42CD-B80C-67D7F7896B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"20225f48327cb635eaf7be42bcd4052f17197a7b","datavalue":{"value":{"entity-type":"item","numeric-id":5256367,"id":"Q5256367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256368$15827A26-86BD-40D7-A9E2-217EF4EC2A42","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c5e0fb570f569e128c7aaa0023b42f1ff2ef5c78","datavalue":{"value":{"entity-type":"item","numeric-id":5256327,"id":"Q5256327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256368$1D37ED98-31BD-4677-B2AA-A9A37959192E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c80eedd2756b3c5cb35bb218ffa4134f7861c0b9","datavalue":{"value":{"time":"+2015-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5256368$B98A1B15-9B30-44CF-8FBB-970DAF74A6FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5256368$38F2885C-D472-4617-80A8-35C4A836C0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5256368$DA49C453-6BA9-4511-AD1F-744CB483AD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5256368$E84DF94F-7ECF-43F8-96FB-6C72B44B230E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3dfcbc4dc3749464a4c56921194adc914f6a394","datavalue":{"value":"6448728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5256368$17888DFC-06D0-461D-B070-E0BDC5EB931F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"10a301bb0c2e70201e1f38e57f6e28289106225e","datavalue":{"value":"Q59416302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5256368$8F999BA0-A17C-4689-9D10-473F11E11AF2","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":"Q5256368$EA982FA0-4918-4992-BDDC-B513F390A4EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bebd40d299a69267a280b42721185b78e94bf227","datavalue":{"value":"https://doi.org/10.1007/978-3-319-15545-6_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q5256368$EB41CDC8-91D3-44B9-9761-237081EAE0AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d85e5749698d02ba5cd05a692157d89d19e216c9","datavalue":{"value":"W294595811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5256368$1C46749B-A792-434B-93AA-93815F60E153","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58d8d8c115929f1bebe5ab67166db3c1ed09d44","datavalue":{"value":{"entity-type":"item","numeric-id":5738903,"id":"Q5738903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256368$B0334949-43CA-4360-9C9A-8E2E6F2A9323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12b0a78382ef5ab9197cc33540c124d1b7049fac","datavalue":{"value":{"entity-type":"item","numeric-id":2842863,"id":"Q2842863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256368$162C34A2-1545-4030-BD27-A2FE212FACB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42b6fe29be3e26fe4b6b244ee286bbc956f1deba","datavalue":{"value":{"entity-type":"item","numeric-id":5262956,"id":"Q5262956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256368$CA699713-6254-46D4-A0A9-44B6105A1274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d6c96f3884d063e931d9de98db6c7a308964dfb","datavalue":{"value":{"entity-type":"item","numeric-id":5325834,"id":"Q5325834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256368$D69DBAD8-896E-48E2-B2DA-D7E661636854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d5e9cf473b3b16efb4b16ddc513b4ae6258f6a1","datavalue":{"value":{"entity-type":"item","numeric-id":4547767,"id":"Q4547767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256368$A700DB00-DCF9-4B16-97E6-D869F8DD2F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a21ebee4e08f0592a1c4f5546d5d1edfcf28d498","datavalue":{"value":{"entity-type":"item","numeric-id":5462953,"id":"Q5462953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256368$3C5847E6-2FF2-4B8E-8870-4EB4B6F3F5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"753bfe30e08a7e82b0acc716c863fd1bf7ed17e1","datavalue":{"value":{"entity-type":"item","numeric-id":3084591,"id":"Q3084591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256368$0E2A7EF5-DA38-4EB5-96BB-108C0A10532B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256368$F40B1094-7AF3-4FBB-AA13-84894C83A22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8761d8143be9d4c00f93194edc1709a53e2fe27","datavalue":{"value":{"entity-type":"item","numeric-id":492911,"id":"Q492911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256368$EB3D3089-55EB-4F1E-B84F-7E9DC83D8E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e44910d5565a922c4e656e4f073be8a38cd4ebc","datavalue":{"value":{"entity-type":"item","numeric-id":4036565,"id":"Q4036565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256368$E9BD0004-C3EF-4275-90D7-AD044234A787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23a179f997a437a9311341de06661f985ccc1e71","datavalue":{"value":{"entity-type":"item","numeric-id":5256368,"id":"Q5256368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5256368$238D8FA5-8712-46F8-8867-B799BFF7C96B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08605333b3388718fb8982ab80321d7daa55bb21","datavalue":{"value":{"entity-type":"item","numeric-id":3084591,"id":"Q3084591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f334f1528bcf7a6b9f160a3ccbb92e779c6f9c9d","datavalue":{"value":{"amount":"+0.7063921093940735","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":"Q5256368$D6B6907A-8C67-432D-8CDD-80253331FAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c05269778da7d1af859ed57cf9d04803309e2d87","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8d4797e050e74ad86d739ae431921e59d3da9c3","datavalue":{"value":{"amount":"+0.7000467777252197","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":"Q5256368$3D16B14A-C52C-4B9B-9BED-37B1FFF3F2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce494d890bfd0b09e7b7334363785ab6d1b49428","datavalue":{"value":{"entity-type":"item","numeric-id":2851897,"id":"Q2851897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5206d2245ef9cc4954c5b7685e8e84ef6f1bfc34","datavalue":{"value":{"amount":"+0.6922723054885864","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":"Q5256368$C5FB3FE1-D15E-49AB-848B-2AB39A00A919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"855de1b4c41f37574edd2d57fc8b6de513fb41b7","datavalue":{"value":{"entity-type":"item","numeric-id":4471933,"id":"Q4471933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3cf78185d12fde669d6b748227baf5acf37f57c","datavalue":{"value":{"amount":"+0.6876184344291687","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":"Q5256368$D6E4B7CF-2CC9-4300-AD3B-A5CFFEC81579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d958cd61381e43821caa0e600f41aa6b38fabaf","datavalue":{"value":{"entity-type":"item","numeric-id":701689,"id":"Q701689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0de38e6d95dc21547c7fc8ba50f9ae5bbeed6134","datavalue":{"value":{"amount":"+0.68741774559021","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":"Q5256368$9412F290-352F-4FF3-9308-9725244F9C7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5256368","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5256368"}}}}}