{"entities":{"Q3172933":{"pageid":3183643,"ns":120,"title":"Item:Q3172933","lastrevid":86594618,"modified":"2026-06-04T02:35:46Z","type":"item","id":"Q3172933","labels":{"en":{"language":"en","value":"Hierarchical counterexamples for discrete-time Markov chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954807"}},"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":"Q3172933$FA8EC0F4-0D50-40AD-9BC6-282F87DF2336","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"028411790d3fa4b470521f5fee3af6990e2cf5a4","datavalue":{"value":{"text":"Hierarchical Counterexamples for Discrete-Time Markov Chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3172933$6A26AB53-91E8-4E5F-8A7E-3BD5CB0303AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16fd8e532412c551ac33a4b48116c0ef12c1052a","datavalue":{"value":"1348.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172933$C233AC18-292C-4B48-A86F-FCB3ED722F48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1a610401f9be3cdc3e0daf06c40642cbfa0b5a3","datavalue":{"value":"10.1007/978-3-642-24372-1_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172933$3B520E67-ED2D-4ADA-8473-979F78756DCD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc3636d4eb9483884cb439da1e5812c56aac88c1","datavalue":{"value":{"entity-type":"item","numeric-id":402122,"id":"Q402122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172933$AA670077-3920-42CD-93AE-0BBB7E262091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03595cd73b96d5b235024b2e19a251d81caed080","datavalue":{"value":{"entity-type":"item","numeric-id":402123,"id":"Q402123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172933$05C8D775-97CD-4F71-AE5A-BB39048A8861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"baee09d3d788977496509cbd53316872ef909db2","datavalue":{"value":{"entity-type":"item","numeric-id":1799105,"id":"Q1799105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172933$9D2F14BD-FDED-470E-A2C2-FA80267281A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c827a3a38a662dea5f87c90599612538f5739678","datavalue":{"value":{"entity-type":"item","numeric-id":402121,"id":"Q402121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172933$A421D9D6-AA04-4607-9CD7-52ED688921B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0db1c1d4758cc84ba91e5181bfa794ba378ebc68","datavalue":{"value":{"entity-type":"item","numeric-id":402124,"id":"Q402124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172933$4AE50EC9-AD5C-4D59-B8DB-E7B656DF8834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7022a72b5bacc0b67ba4ac59d1d6bc736b6252b","datavalue":{"value":{"entity-type":"item","numeric-id":236073,"id":"Q236073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172933$B4D33554-A2E2-4F07-A7F5-414B80778263","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172933$C35672FD-80FF-4E81-AC90-B7F6B6D67729","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d9bd2d9b28ae12e022b2e08f4abf17c1216ac47","datavalue":{"value":{"time":"+2011-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3172933$69D3BDFB-5F2A-4D92-8862-C10D78E8159C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172933$B2E1DE28-128A-4693-B8B0-1E552CC00121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6a9ff1a146ff44dca747e334413377c148d2df3d","datavalue":{"value":"60J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172933$4722E424-690E-4CC2-B000-9594540E64BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172933$6ACC1841-FC94-40D5-A33B-B5FB61A3D94A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"261e3b4300ca050e97c2a0560897b0ee3bfdae1b","datavalue":{"value":"5954807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172933$87912A62-2D6F-4D7D-BB15-1A1515627D39","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"242c4eeaf93dc56a1bcb3ab00aca15ea3c10e994","datavalue":{"value":"Q57801248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172933$E3C28BEC-F376-44C0-B5CC-89C61F9AB25A","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":"Q3172933$676B2299-84B0-4DC9-BD5C-CCD67C181E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1d7c89f8c4a43a132064ef87f7add4215ef6c5f","datavalue":{"value":{"entity-type":"item","numeric-id":16314,"id":"Q16314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172933$74F5907F-E352-4331-8D6A-D516E5333E56","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":"Q3172933$18BB2A34-389B-4FE5-9051-0DCB16CD97C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a09f7dc39bb9e0ab5fb0bb775dec1b455f016f69","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24372-1_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q3172933$B5D68091-A10B-4AB1-A43D-9656CF6F8B9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f1bb8af546a20eaa43895e6f6a4603454ae46f09","datavalue":{"value":"W1529165591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172933$A7E0DFA6-A0C8-4351-946F-26A05E5315C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e52e18e0676fe9a44d3a377f4e5a30ff599244f","datavalue":{"value":{"entity-type":"item","numeric-id":5175773,"id":"Q5175773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5e4fb59af4ff4acd8eb5904edd99fe9dfdd32d7","datavalue":{"value":{"amount":"+0.8552010655403137","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":"Q3172933$7117F7C9-8C9F-41B2-9763-E0166D356C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6991648116bdab624cd6c1ff28ba26622807dd79","datavalue":{"value":{"entity-type":"item","numeric-id":402125,"id":"Q402125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e3c403522708dc50e2bb2c55aba4c8c8c638cba","datavalue":{"value":{"amount":"+0.8377288579940796","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":"Q3172933$EC0BDC3F-075B-4BCB-A55B-DAB333CCDE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f07e9b372bf24a0c15e2d9bac28c85d7ee20030","datavalue":{"value":{"entity-type":"item","numeric-id":2894278,"id":"Q2894278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82732dc5c6e5d42e98da2925920298a508bb33cd","datavalue":{"value":{"amount":"+0.8089696764945984","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":"Q3172933$6B56FB18-A811-4620-8D2B-69E2A67DC09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40bf5bd1dbf34c3dcac4bc791597c825db13f6b6","datavalue":{"value":{"entity-type":"item","numeric-id":3184702,"id":"Q3184702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19480d13ad5ef82ba136ea5c4dea7c7679d30f94","datavalue":{"value":{"amount":"+0.7988578081130981","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":"Q3172933$DC707F19-B31C-46DB-B5BF-5E7523DDDAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"642ddaef3393c587f8a77c951d1c4f8b5552f8a2","datavalue":{"value":{"entity-type":"item","numeric-id":3510805,"id":"Q3510805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"230235acc2dd629ac22d3999b2c2ba58b23e34a2","datavalue":{"value":{"amount":"+0.798611581325531","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":"Q3172933$E0450E2A-9149-42CC-9147-4BFC6D14D47A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hierarchical counterexamples for discrete-time Markov chains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hierarchical_counterexamples_for_discrete-time_Markov_chains"}}}}}