{"entities":{"Q3613341":{"pageid":5643247,"ns":120,"title":"Item:Q3613341","lastrevid":50603588,"modified":"2026-01-14T13:13:25Z","type":"item","id":"Q3613341","labels":{"en":{"language":"en","value":"Reasoning About States of Probabilistic Sequential Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5528211"}},"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":"Q3613341$136470E1-E9F9-41EC-88BF-7463CA956D03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c8353703065439f400bf0755ed26545aec92cd2","datavalue":{"value":{"text":"Reasoning About States of Probabilistic Sequential Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3613341$A619ED2B-9A8A-4092-92E4-4F54723749CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0695ce7d6cdcc76fd7cad7b2a4b814ab204f8e68","datavalue":{"value":"1225.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613341$55C14705-330B-46B0-9650-DF65A151CA02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc5c7e8333ffe29f98274b82c514fffbc704cbb7","datavalue":{"value":"10.1007/11874683_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613341$3A3A7583-E461-4288-9DF7-870D3321019B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bde8219f318b09ef6e88199668950ab12ed68fd","datavalue":{"value":{"entity-type":"item","numeric-id":732002,"id":"Q732002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613341$C38E2EBB-88B0-4EA9-BAD9-25E681536946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a84b60f04d7f3967bc1c5e6d2b05e98b9765d5f5","datavalue":{"value":{"entity-type":"item","numeric-id":265391,"id":"Q265391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613341$0A1C72DB-0B95-4566-8968-D0A781B9965A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"285d9750983a099fd09d5b668a563562c82d80f8","datavalue":{"value":{"entity-type":"item","numeric-id":694497,"id":"Q694497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613341$28D08D1F-285D-466E-8424-62A444A7C357","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613341$3C1729FC-9650-4E42-912D-9AB690B3CA58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5633353462eee310c4db3234ed97ea2c49f28694","datavalue":{"value":{"time":"+2009-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3613341$549910AF-2250-4FA6-B6B1-8C51824D01E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613341$FD44F126-3058-4912-AB63-CA886F1AA825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613341$4150A360-AD56-4996-8E83-2D1E34D45F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613341$056EEC31-FFA1-4153-920C-1F7D0C94E00A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3a2b3f89aa4aeb47de68d7431be694a9936fd39","datavalue":{"value":"5528211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613341$64912F68-68EC-4CF7-B38F-4DCA848865A3","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":"Q3613341$E61B64F5-CA99-4A7B-8C9E-BC6CEE1E219C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dfbc16537faaa7da555d55625b5e9184bf28148d","datavalue":{"value":"https://doi.org/10.1007/11874683_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3613341$E4E1C559-5F86-4A42-A873-6B58BE292841","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec008526c73a2f342bed6fec38c3118cafbcc4d2","datavalue":{"value":"W2124994192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613341$4E006FB0-3DDB-41AA-8C89-1A9EF2645896","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"069e430bb430cd217bb003a396d40fed1851271a","datavalue":{"value":{"entity-type":"item","numeric-id":3021957,"id":"Q3021957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78ad27d9732ec342631e9983586299bc10bce6fc","datavalue":{"value":{"amount":"+0.8250006437301636","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":"Q3613341$F60171CE-1FF1-477E-8570-5AACD2ED4C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed23dc11c8fa70f487cd288f75892943a3baa877","datavalue":{"value":{"entity-type":"item","numeric-id":3721807,"id":"Q3721807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf9751f53b9bcf02cf0e5c551de63be2e735cfda","datavalue":{"value":{"amount":"+0.8154767155647278","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":"Q3613341$052A0376-D294-45C8-9439-56F1EDBD729F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c675f4be317e371cc1adb9259273d81eaeebbe4","datavalue":{"value":{"entity-type":"item","numeric-id":1424351,"id":"Q1424351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a6524cbbc42636fd51c783e6e8a94be3c135494","datavalue":{"value":{"amount":"+0.8069956302642822","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":"Q3613341$8F195726-B67A-40B1-9751-9BB620FAE5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb78fb0ce6e11fbb4974fcf12abf053d1faa2f28","datavalue":{"value":{"entity-type":"item","numeric-id":4501575,"id":"Q4501575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa83e45d41d1cbe3d2c6ab0282cf76e5ddedc3bc","datavalue":{"value":{"amount":"+0.805960476398468","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":"Q3613341$AECC326E-C260-4910-A042-0C3506E54DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f13c8d9de74e207d5264761e759f38366e34d09b","datavalue":{"value":{"entity-type":"item","numeric-id":792757,"id":"Q792757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7df9556be4f9dcd52d4f3a415c19ae1d3663d22a","datavalue":{"value":{"amount":"+0.7996129393577576","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":"Q3613341$5AEAEC3D-A20C-4DCC-AF15-CF017ED17F10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3613341","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3613341"}}}}}