{"entities":{"Q1997254":{"pageid":2007996,"ns":120,"title":"Item:Q1997254","lastrevid":43468132,"modified":"2025-07-28T09:17:28Z","type":"item","id":"Q1997254","labels":{"en":{"language":"en","value":"Dirac-based reduction techniques for quantitative analysis of discrete-time Markov models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7316479"}},"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":"Q1997254$844AD250-89B4-4CFE-9763-BD32A40F4482","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47ffc4c21ff74d8ccb323d6dec8b373ae465d357","datavalue":{"value":{"text":"Dirac-based reduction techniques for quantitative analysis of discrete-time Markov models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1997254$479CE297-7302-44E5-9160-8110E6DA712C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57b78d591ad97a8b714703dc7c746da5e2e6494c","datavalue":{"value":"10.1007/978-3-030-57852-7_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1997254$2937ECA5-14B3-49FE-A0FB-FE6E3C67B01D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"75176ef5ab5f2598afda79bff300f9c413a9a63b","datavalue":{"value":{"entity-type":"item","numeric-id":1997252,"id":"Q1997252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1997254$6312D42B-AB38-4E16-9C30-F132B0BB12C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10fb8a78f0e00d61b9f3812364c2e26e2c4b6c74","datavalue":{"value":{"entity-type":"item","numeric-id":1997253,"id":"Q1997253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1997254$9E5F6502-ED04-4D71-9DB7-3B438C16DF13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2f5c42096880b8ef7437beb6167887475d328f7","datavalue":{"value":{"time":"+2021-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1997254$B94F2285-5D86-4A87-8ECE-A4BA6E6C6CF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1997254$44298786-BDB4-4296-BC8A-D5E58F79AC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1997254$53A7CC77-9D70-42DE-8724-43A3EE560E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"159426a5937e62cfbbcc198dd4848ab52d6e715e","datavalue":{"value":"68U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1997254$325D637A-D39F-4B50-8273-C9F7AE8D7F88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1892e35f863a1a2acfaf2c3ba113fd4ad82837fd","datavalue":{"value":"7316479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1997254$8905DBED-5ACC-45EF-A3F7-0304775C7AAA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14fdb321d63e54de1f24ee42307b3934b281d990","datavalue":{"value":"probabilistic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1997254$400D201C-3604-4CE6-9400-095BA491B8FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a37356c3382c350f8dae1854e5c4cb5f061a9b2","datavalue":{"value":"quantitative verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1997254$AFD91E8A-2BFA-43D1-8615-717321AAD01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbd1f99995fb6a13da62a377ba6327166316e976","datavalue":{"value":"Markov decision processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1997254$0E9E8059-203F-4023-AC60-3381750546C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b1e7d6f7fd62e880de4d979985683a98d91c8bf","datavalue":{"value":"discrete-time Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1997254$A8D551F4-9AB2-4B1F-98EA-8BE2B15287E6","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":"Q1997254$6512C89B-836C-4E7A-831F-9B2E241A499F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a88038d1c55e0e27bc973aa4cd485ae69593682d","datavalue":{"value":"https://doi.org/10.1007/978-3-030-57852-7_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1997254$7AD9E459-26A7-4D4A-A184-BF3FF9EA9D82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6acb3891f0ff8684b75c248b23e7d67775f64b4b","datavalue":{"value":"W3082939421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1997254$E6619297-C70C-493E-90CE-B0BF5F0D1D3E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2536a815014e6dc06a97e13d5635bacf09b5a27f","datavalue":{"value":{"entity-type":"item","numeric-id":2786199,"id":"Q2786199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1997254$DDE34C63-2C89-470E-BAE1-662AC25F79ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc3a01bf05ec3c2dc8f790636785c8883a859556","datavalue":{"value":{"entity-type":"item","numeric-id":1784452,"id":"Q1784452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1997254$0D0437B9-5C6B-44F6-AB72-E57C89F6CDD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8219b8caf64f58381971bc73c47456fa8a33f55a","datavalue":{"value":{"entity-type":"item","numeric-id":3645296,"id":"Q3645296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1997254$59ACDDDF-0A79-4BE4-991E-4B94ABAC4DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eff95f2ceba215a317382670d934cd9f63577b28","datavalue":{"value":{"entity-type":"item","numeric-id":2946959,"id":"Q2946959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1997254$1D759430-5010-4C19-B5B7-C6ED0EE1AD2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38d54e7d47020450b52bad41c6d3aa305d1a792a","datavalue":{"value":{"entity-type":"item","numeric-id":1675731,"id":"Q1675731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1997254$51270FBC-0B1E-4EF8-AF09-D6CF608AAA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"868cd129097eb460da0117315c53660526825974","datavalue":{"value":{"entity-type":"item","numeric-id":5267421,"id":"Q5267421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1997254$F81B7164-E17B-4CEB-8F78-30D900ED968A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b3c360bd503c0569a114c5149b39b9d8419496f","datavalue":{"value":{"entity-type":"item","numeric-id":1703930,"id":"Q1703930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1997254$05E26667-78EF-4E20-8D03-49773EC2BF9C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f2e9f1c1a5ba574a91eb0874b0416aeb7b14f50","datavalue":{"value":{"entity-type":"item","numeric-id":4529142,"id":"Q4529142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"178b2361ffad86611446cfa4f66af0e6b6a1959f","datavalue":{"value":{"amount":"+0.8602274","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":"Q1997254$45CA5D63-F5DC-43DB-9185-1B3471928EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea7a82c9747503c46f1b6fd6066a1dab985a2bda","datavalue":{"value":{"entity-type":"item","numeric-id":4713986,"id":"Q4713986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aaf26c0c4355870d5eaa15f87c5125b1bdbcd6e","datavalue":{"value":{"amount":"+0.8551499","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":"Q1997254$516318CC-6A9F-4D38-A022-52067EE87736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65aa08f8230b0d1c037d689521616587963869fd","datavalue":{"value":{"entity-type":"item","numeric-id":2785828,"id":"Q2785828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d58b76e8038bab1ac84dd730ef44702bc3cd5c9c","datavalue":{"value":{"amount":"+0.85446376","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":"Q1997254$914B3646-34B4-4087-8417-5DE6168F5848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d98551dfda82488e15114e7caace7fda9460e798","datavalue":{"value":{"entity-type":"item","numeric-id":4002648,"id":"Q4002648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe440634e47054007903eebf7c5c640ccc9e45d4","datavalue":{"value":{"amount":"+0.8530593","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":"Q1997254$127E566F-8065-45C3-8E64-C65D743517CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aab4109cc7d8a20b4b6c30939d9fb17f80a1879c","datavalue":{"value":{"entity-type":"item","numeric-id":4864813,"id":"Q4864813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88b237b7ae5fc80893d1f3dcb111121a0cd38f75","datavalue":{"value":{"amount":"+0.8477981","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":"Q1997254$559EA5A0-94C0-4EE8-B717-D0A8D549630E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d81abbb210051f27d26a030848e9d2933e83fe94","datavalue":{"value":{"entity-type":"item","numeric-id":596917,"id":"Q596917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceac6555617ae8aa0bd35c790584e20e61731002","datavalue":{"value":{"amount":"+0.84755445","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":"Q1997254$266EC35F-9854-4744-A410-D1A3A92960CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f1835f32be18cf5f3ee84bc158bc1202a97b27a","datavalue":{"value":{"entity-type":"item","numeric-id":5324427,"id":"Q5324427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc647b268335de387e49f8775487c88e379777a0","datavalue":{"value":{"amount":"+0.84613836","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":"Q1997254$C68D0FB8-784D-4B1D-B4E4-53DDBD7138BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e0142088bc5061a2606ff0f7868cfad69de3d1a","datavalue":{"value":{"entity-type":"item","numeric-id":2792783,"id":"Q2792783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9076831417a1a3f323976a6721369d11b7128d2","datavalue":{"value":{"amount":"+0.84513384","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":"Q1997254$5E14CB4B-6C12-490E-9780-ADF9FDA91482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43f38cf5fd285fe11ac7fedb1065acb078f18c1a","datavalue":{"value":{"entity-type":"item","numeric-id":3438540,"id":"Q3438540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24702cefe214e8bc3a2682cd16bb0192fb232464","datavalue":{"value":{"amount":"+0.84487635","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":"Q1997254$FA42FF6B-74B1-4271-BACB-5955F29B3E04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1997254","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1997254"}}}}}