{"entities":{"Q2568451":{"pageid":2579194,"ns":120,"title":"Item:Q2568451","lastrevid":48566389,"modified":"2026-01-05T05:57:06Z","type":"item","id":"Q2568451","labels":{"en":{"language":"en","value":"Abstract interpretation of programs as Markov decision processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2213177"}},"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":"Q2568451$11EC9D1F-9F95-4EA6-B57B-422F2F43719C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"673e4b056bbeb958bc75b281610e5f62fc06a924","datavalue":{"value":{"text":"Abstract interpretation of programs as Markov decision processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2568451$4D12DD23-8411-4563-A559-F08951DF7020","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab25d7e3a0483d3c7b05dbd1d4b9ac0615a47926","datavalue":{"value":"1088.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568451$70D5790C-0671-407D-9DEA-741541D5B95D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8ef1c6e78c9ea414b5f452a20c5da29ecee893b","datavalue":{"value":{"entity-type":"item","numeric-id":848743,"id":"Q848743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568451$229E33B3-B6FD-41FA-912B-E1A5D01FB8EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568451$63B3725F-3577-4EF7-AE4E-F7968366942C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32ad81c392fb16ee79fdc0f71bc6ecae74b0738e","datavalue":{"value":{"time":"+2005-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2568451$19F620D0-9EA8-4A47-A5F3-92B8604B2CA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568451$CAA0E2CC-C24B-49E7-AB1F-CD4F0FAB5363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2d662bd4a0a99fc0600e869450838775f3d287e8","datavalue":{"value":"60J99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568451$F033CA13-9D89-476F-9211-05810F3BEC6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39c6ddf5ae4c66974175c00991cdb7583283bab3","datavalue":{"value":"2213177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568451$0C644E06-6280-43D6-9F7F-741C9CEF96FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568451$339137F0-B6E0-48EE-8FF9-8032B5F47888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c73f3715881749f22b39d59d790037007e6a9d08","datavalue":{"value":"probabilistic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568451$FE431874-0594-4FE9-B784-680706C5F75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae1478f0080b70574ea441c7d2a3b6db779c2f9c","datavalue":{"value":"program semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568451$FFF41A19-0DDD-4751-A693-A7B86D50C671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb2c96a972ca6be6bd35cdc1b97db482768ae38f","datavalue":{"value":"probabilities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568451$FCFD8EAB-BC61-4D8F-8BE7-C8E27853A285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eae8315478af6787508c528740b602e2a5b411f4","datavalue":{"value":"measure theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568451$57DA2E9D-3788-4D7D-BA46-E6A2229766C0","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":"Q2568451$56739C75-DB8D-4285-B1DF-625721A04F26","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3dbdf3f2df9eb43f4b1bcc4d87c3f855ad0d004","datavalue":{"value":"https://doi.org/10.1016/j.scico.2005.02.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q2568451$773B1939-A249-4E05-9006-6069B337E001","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"daf7237f618013ac375ec459cd75910d69a28bcc","datavalue":{"value":"W4233556240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568451$F3F129C7-F185-42BC-87AB-EABD811168A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db5ebdfe95b23dcae31e323f698dec274ef6d449","datavalue":{"value":"10.1016/J.SCICO.2005.02.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568451$504AD40E-EAD6-44F4-AD19-A807FEDCAE98","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e29a42598b8e28c519becb6d2261c85d2e0cc1c4","datavalue":{"value":{"entity-type":"item","numeric-id":4813401,"id":"Q4813401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76f2fc6dc3ed74b6e4ee15ddbac3d6480405ded4","datavalue":{"value":{"amount":"+0.999485194683075","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":"Q2568451$FE9FE17B-781B-4752-AA44-BD8AB67F3FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66bdd46ffe3a9cb63dde62f6e717ec872fb044f9","datavalue":{"value":{"entity-type":"item","numeric-id":2722069,"id":"Q2722069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e78ae4f8ddc5d7d9f33acbddc169c80dc4c8dcd","datavalue":{"value":{"amount":"+0.8243769407272339","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":"Q2568451$60AD88D5-73C6-44F9-AEC1-307D18048F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f264cad7f7a2adccaabc575e6500c24250cc0ad4","datavalue":{"value":{"entity-type":"item","numeric-id":3541023,"id":"Q3541023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e78ae4f8ddc5d7d9f33acbddc169c80dc4c8dcd","datavalue":{"value":{"amount":"+0.8243769407272339","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":"Q2568451$8888B524-1D04-4BB5-8510-2477D2C62499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c887a47a3129f524c9ede9425e0ea3fefecf3ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892727,"id":"Q2892727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b16c8c3c03ba0bfea45d057f7ace583b6a862f3","datavalue":{"value":{"amount":"+0.8153570890426636","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":"Q2568451$99B44EC1-9DAF-49CE-953E-08098D002FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"193f211a4df1b340e6a0785ea7d3ad1225306578","datavalue":{"value":{"entity-type":"item","numeric-id":5178876,"id":"Q5178876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5029bf07cfbbe4aa7575db5e7a89ae71233c1cbc","datavalue":{"value":{"amount":"+0.7990273833274841","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":"Q2568451$5105577C-4422-441A-A829-AFB8E0A9FE4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2568451","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2568451"}}}}}