{"entities":{"Q5325837":{"pageid":7355411,"ns":120,"title":"Item:Q5325837","lastrevid":50725991,"modified":"2026-01-14T23:02:50Z","type":"item","id":"Q5325837","labels":{"en":{"language":"en","value":"Validation of Stochastic Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5586604"}},"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":"Q5325837$EAC4ACB4-3A98-48F5-9C01-7F5E5EF8B063","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18549eccaf1b75a164fd84b53f9fccd1aa42b02e","datavalue":{"value":{"text":"Validation of Stochastic Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5325837$624ABF6D-9AB6-423C-B545-82C543104607","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c0d661158180dbf5298fe0ba0cc10fda8999748","datavalue":{"value":"1203.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325837$DEA09E32-A88B-4ADD-BC64-F9F073FA1920","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b9f70e011dd38cd072b1fa0ee0387b555a916a7","datavalue":{"value":{"entity-type":"item","numeric-id":3100905,"id":"Q3100905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325837$F421DA0F-E392-4E9E-94CB-6C8ECC79E4D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0917ecc0ee421e6b16ad9bf93dfa95fb6019942","datavalue":{"value":{"entity-type":"item","numeric-id":715045,"id":"Q715045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325837$89E188EA-6517-4C46-8007-24FB561765FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325837$28A667DE-FF19-4038-BC47-D47CB4DD285B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"209778d88e026ced2a70bb47574dddab785b4835","datavalue":{"value":{"time":"+2009-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5325837$68FFEBB8-E4CD-4F3E-9AE8-D071FE720A24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325837$24C2694A-36E9-4503-B3F7-013760A5CEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325837$B874680F-9A4B-49BC-8AF2-1BA7AF2E8FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325837$4E8975BD-DF60-45DE-A856-F340DE3D8DED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c823aa77198ac467b12cfc63a018d0dda052b2b3","datavalue":{"value":"5586604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325837$60DB36F0-5E39-499C-B67E-DD78A260B316","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae95bff71f73f0d716395b2b82d3cfeb995174f9","datavalue":{"value":"PCTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5325837$441E8940-70C6-4B5F-BA58-5F568ABA003B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2707f481a2494bde8d442c8743e7b2009241ec0c","datavalue":{"value":"PCTL\\(^{*}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5325837$E5091A27-6558-4DCF-851A-316160C6BECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b1e7d6f7fd62e880de4d979985683a98d91c8bf","datavalue":{"value":"discrete-time Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q5325837$F16A7C0E-DC85-4177-9656-35279D0FCF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbd1f99995fb6a13da62a377ba6327166316e976","datavalue":{"value":"Markov decision processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5325837$9754F60D-DEC7-4492-9C21-1918FF9D7B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"234199a288eaf2c4b3846975331b2cd7884c9f1b","datavalue":{"value":"scheduler","type":"string"},"datatype":"string"},"type":"statement","id":"Q5325837$74DC5098-5475-4C49-BB62-5BBBE6460D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636b794da077dcaa1805ce93cc3d55482029d3dd","datavalue":{"value":"fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5325837$4C732BAE-E4F8-4969-88BD-D33E632C5479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3896bc84ab8e42de5d7aed6b7c364466fb366dc","datavalue":{"value":"probabilistic deterministic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5325837$27E54EB5-4301-48D7-A59F-4BAD9BC7070B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26389426fc06c39843bf1b9103ba985e57f09a25","datavalue":{"value":"probabilistic nondeterministic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5325837$BFBB316E-BE93-439E-8A11-32B22F434B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56783a1151b22984296a4a7b7dd58c2361823979","datavalue":{"value":"quantitative model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5325837$15560FD4-B8E9-4A1C-AF2A-8CCF39164FEE","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":"Q5325837$A3D9E231-9949-43CF-B43F-7B5FFBFB2C32","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":"Q5325837$9CE67424-F98D-4C25-B1F6-0322E1275195","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d489aadfd4ff7014f7914c7c7d9a80b93c67aff","datavalue":{"value":"https://doi.org/10.1007/b98484","type":"string"},"datatype":"url"},"type":"statement","id":"Q5325837$EF01AAD6-3568-4C68-BD14-DA283FD3044E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"971c459f97c1b472f4cb82f001fd6a82175988bf","datavalue":{"value":"W657718082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325837$1BCFBC9D-BEAA-4475-BAF7-ABC57F6D4D07","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d464d1b94e5867fad4b8fa82305055ec2be0ba83","datavalue":{"value":"10.1007/B98484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325837$C428C269-58B0-4800-9551-79BD0B850463","rank":"normal"}],"P1643":[{"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":"04f20b0d960f0400f199cefa308ebd6da8b69065","datavalue":{"value":{"amount":"+0.8765466213226318","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":"Q5325837$02EAAA5D-FA32-4227-A6DA-D439280277CE","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":"0a7d1e170dd55ea737039761f41d9a585d183c2d","datavalue":{"value":{"amount":"+0.828397274017334","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":"Q5325837$C8CB227A-B378-4EE1-AE46-1D96AF16808F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd84ef57146bbcbaec7861a27239929cf50f467c","datavalue":{"value":{"entity-type":"item","numeric-id":4260713,"id":"Q4260713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a49df380e8d6252a1a03d5281b816b2f1a66caf","datavalue":{"value":{"amount":"+0.8252770900726318","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":"Q5325837$F468C2BB-8E68-4619-AEF5-AAE65DCE4447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89da0729a847f4865c3e8aa8ea876ecab447aae1","datavalue":{"value":{"entity-type":"item","numeric-id":4571974,"id":"Q4571974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7364c73d9162db216d4186e474feac8472adce81","datavalue":{"value":{"amount":"+0.8226450681686401","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":"Q5325837$17EAD9DF-8F95-43BA-8D74-AFDBFB725589","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":"fda2ee5260a30014d704a42b4bece1d997eddd5c","datavalue":{"value":{"amount":"+0.8212658762931824","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":"Q5325837$9CE6E885-ECC6-499B-8EC9-ED54A9010CAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5325837","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5325837"}}}}}