{"entities":{"Q5267439":{"pageid":7297015,"ns":120,"title":"Item:Q5267439","lastrevid":100555202,"modified":"2026-06-05T22:25:59Z","type":"item","id":"Q5267439","labels":{"en":{"language":"en","value":"Model checking stochastic automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6729816"}},"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":"Q5267439$E6F7B6A5-0267-4FBC-B74B-9B428677B865","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2443ecb678d9eac6b39334d627a1a362203c24ec","datavalue":{"value":{"text":"Model checking stochastic automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5267439$EB91FA9F-FD10-4211-8021-0291FB5AACF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a157491d41cf553561fa883b6df384453884e405","datavalue":{"value":"1365.68316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267439$42A20A42-2AEC-4B8B-91AD-93659FE0F7CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"095888e83350b493fadc7d82fbeae79765f3ef99","datavalue":{"value":"10.1145/937555.937558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267439$1170920E-360A-4489-99BD-EA186ED9C720","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29e0b1f3c6c13b721e159cb3ccd2ad44c4fa0446","datavalue":{"value":{"entity-type":"item","numeric-id":2096421,"id":"Q2096421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5267439$AAA6C0F3-DDBB-465B-8F42-B3C26056EC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9aa5453cc5d3a8f61d68fac093f0c59d6d5be138","datavalue":{"value":{"entity-type":"item","numeric-id":202499,"id":"Q202499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5267439$190764E6-4A6C-43EF-BA58-1850D7F14FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48632cb946b309fd3abb1fcdf63d4308e9e5bd3d","datavalue":{"value":{"entity-type":"item","numeric-id":736843,"id":"Q736843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5267439$B10EEF46-2DE6-4B49-81C8-3F9576E98AE1","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":"Q5267439$3E7CFDB8-4DE2-4397-A0DA-40241BDA6432","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fb82429bb4ba602ab7d5caf04c575952ba3fb53","datavalue":{"value":{"time":"+2017-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5267439$7CC34ED5-6DB1-4B46-971C-9615F29DE1CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267439$287E798E-6CFF-41EF-881A-FB74BF343830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267439$DA761F6E-E112-4747-8CCE-E5ABB3C4F783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267439$DB41AC91-5471-4D29-850C-D433A0CD636C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267439$BA07C629-2E11-4ED5-B604-36739005F66B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbab963ce14adada0104df08a63d3fee38e6c278","datavalue":{"value":"6729816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267439$2955FFED-1C7E-4807-8126-D8B0892A703B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267439$A544D572-61FD-4356-B447-BA13B10037DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267439$E41891A9-A6AE-4CD2-AA18-0AE9B4F8FB14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a44e8223a098f05bc8780618a4e1843f0010066","datavalue":{"value":"stochastic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267439$66B7CAF6-7C5D-4959-ACA9-06AAB77676B0","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":"Q5267439$7393C2B3-A9A4-4120-93A3-027FEA8732EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed6c4f02de90bb6ca67ef7edb220e75259840a31","datavalue":{"value":"https://doi.org/10.1145/937555.937558","type":"string"},"datatype":"url"},"type":"statement","id":"Q5267439$869CC9AF-D7E5-473E-BB39-9BC69CCB3664","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c5bebd7b524efeebeb678201ebd2939f8c328533","datavalue":{"value":"W2073841996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267439$494CA0A5-3FF3-444D-BF72-F7C8342A1383","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":"a259dfc32822613badcddaf1d93d19029cc856dd","datavalue":{"value":{"amount":"+0.95839965","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":"Q5267439$91698D8B-9A88-457A-A61E-8174C7A0E209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7ed9f6c0dac1ad6f7ab719b52bdaee2ad57754a","datavalue":{"value":{"entity-type":"item","numeric-id":2912726,"id":"Q2912726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12cd6c43a9c89b812e56751d9c21a90cfb2949b0","datavalue":{"value":{"amount":"+0.9181429","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":"Q5267439$C213CCA2-F708-46CD-9CFB-99138CCA1D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bbaef5ac37279165ad2f9f44652ea2f19945a27","datavalue":{"value":{"entity-type":"item","numeric-id":5310649,"id":"Q5310649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5edf990210c24f57b524e0587affe84f84210b37","datavalue":{"value":{"amount":"+0.91555965","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":"Q5267439$6FE7BC44-A07A-467F-9B64-E8C1ADE8F8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0468c56b5095132157067038516c1d011b2c06b","datavalue":{"value":{"entity-type":"item","numeric-id":2248072,"id":"Q2248072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"586c2464d8b29eb642f950364c50de8136011ff7","datavalue":{"value":{"amount":"+0.91378963","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":"Q5267439$D209CE63-CD43-4860-90D8-EB186CEB0C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"178b814139f2dce1d4d74300894e54f300141c05","datavalue":{"value":{"entity-type":"item","numeric-id":4503921,"id":"Q4503921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac7f8038c32f007995770803cf05b3ad3c127f76","datavalue":{"value":{"amount":"+0.9094126","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":"Q5267439$6FFCBB90-D7B4-4C6F-8372-43399B27568B","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":"61155fc22890eef2294a8f097f1c826d89f938f1","datavalue":{"value":{"amount":"+0.90834284","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":"Q5267439$812F7799-6EA0-4413-A28A-4BF2B87D4612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320b564d9f4f19744106617d05644e9d8840469a","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77bce61a338813405aed5d8450f8ed9984e420e1","datavalue":{"value":{"amount":"+0.90168417","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":"Q5267439$910D476F-E868-4518-B632-35F8F9D5B537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"785ac9dca13ba9c6dc22c912f046598fd0236334","datavalue":{"value":{"entity-type":"item","numeric-id":5256368,"id":"Q5256368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baf00c95226093080382642a102023517de81e53","datavalue":{"value":{"amount":"+0.90070915","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":"Q5267439$18E07A8E-A411-4B6C-A295-2CFC3622E4E6","rank":"normal"},{"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":"acda9ba23fdbd915b515dec62e9c6fca90f8072d","datavalue":{"value":{"amount":"+0.8980474","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":"Q5267439$1B06A1AD-1B5A-4AF5-BE58-F723E4F0377E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"533e03b077719a689a43bbc99530ad874ff549f5","datavalue":{"value":{"entity-type":"item","numeric-id":5899038,"id":"Q5899038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e5b9afbdb98f58e55ac3408e41b834512de5be4","datavalue":{"value":{"amount":"+0.8978625","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":"Q5267439$0B37B146-2A48-44AB-9FA6-B4A11BFC5B72","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking stochastic automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_stochastic_automata"}}}}}