{"entities":{"Q3084591":{"pageid":3095306,"ns":120,"title":"Item:Q3084591","lastrevid":51213977,"modified":"2026-01-17T06:51:51Z","type":"item","id":"Q3084591","labels":{"en":{"language":"en","value":"Stochastic model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5869994"}},"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":"Q3084591$ADD9EC09-9624-43FE-86A4-C3C6CD773022","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d5432f97d788d6ffabe43ac2b86d905bf900c8fe","datavalue":{"value":{"text":"Stochastic Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3084591$BF4241FA-AEF8-4A42-9363-60DE19496D6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d9ccde011ee5906a5a5463526f2fa0e528b0e40","datavalue":{"value":"1323.68379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3084591$16BC6A1E-FF99-483E-B1D2-B01E29146584","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e33bba381a941c84725c6b90c6b5cce64e59b134","datavalue":{"value":"10.1007/978-3-540-72522-0_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3084591$D80C8055-D561-45EE-B59E-A0FB8E67E418","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f056f7a1a7b956cfb0904c3e9d3f91d89452ce89","datavalue":{"value":{"entity-type":"item","numeric-id":3084585,"id":"Q3084585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3084591$0D5BC3A1-315E-4851-A543-B857DBEB809F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16c9a1933e1fdfa35e8488934a9f704f41ab136f","datavalue":{"value":{"time":"+2011-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3084591$CB38A64C-298E-49AA-94FA-CBF20BB6DEB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3084591$56BFC1D4-6075-41EF-A032-D0B6010B2443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3084591$DF48ADFA-82BE-4054-82AB-B15C41543EEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04d5bb0e21420b58cdfe2962e07145d7edfb9e78","datavalue":{"value":"5869994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3084591$C0F15E41-1707-4E18-8207-BC6882411378","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":"Q3084591$791051B9-B9D4-490C-96DA-D4914C221052","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":"Q3084591$84D473F9-F15E-474F-B0DD-9A2BB884CEBA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39e322e1e5481f71e8fc30a0e9fe47202f20480c","datavalue":{"value":"https://doi.org/10.1007/978-3-540-72522-0_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3084591$6064FA85-2B75-4FEE-97D1-488DB1041114","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9875b6e599ff906ff6349e4edc86f53b51f53833","datavalue":{"value":"W1516256348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3084591$64C56511-69F9-442A-862A-0B05E7E42F46","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313d0dae2625133f96ad04f51eb7cdccd127f47b","datavalue":{"value":{"entity-type":"item","numeric-id":3176386,"id":"Q3176386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"698b390324805c0010e29bacfed381e274a4bb64","datavalue":{"value":{"amount":"+0.8719456791877747","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":"Q3084591$8DCEB89E-F263-4A67-A235-EED48773F146","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":"5204ac91e9470eb84e4f1e33291a5093202d9255","datavalue":{"value":{"amount":"+0.8410850763320923","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":"Q3084591$98E7CEE5-1865-40FD-80F4-577A973460BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb8f51e06cd7af3a1e24fa953ae37b4250bd009","datavalue":{"value":{"entity-type":"item","numeric-id":4503927,"id":"Q4503927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"763a0199b6e3913fa6e295466347979f24b07860","datavalue":{"value":{"amount":"+0.8399942517280579","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":"Q3084591$C326EFD3-3431-41C9-AF38-7D6C126A9AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc920c1ec773dd5c066514182446ab618c3ffcd6","datavalue":{"value":{"entity-type":"item","numeric-id":5716565,"id":"Q5716565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19f5f4733d1c2d3c91fa30634a4301b90b9f9e59","datavalue":{"value":{"amount":"+0.8391730785369873","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":"Q3084591$8C2C187A-CB2A-46DE-9D36-D8692D12AE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba2bb6a6c05470d9001c41536a1bc56f05f0f345","datavalue":{"value":{"entity-type":"item","numeric-id":4518904,"id":"Q4518904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b181ae4bfc22b4105fee6833da58cdb05d05645c","datavalue":{"value":{"amount":"+0.8343240022659302","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":"Q3084591$E32892DC-C06D-4454-8D62-3DA98FE3237C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3084591","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3084591"}}}}}