{"entities":{"Q6827475":{"pageid":15104806,"ns":120,"title":"Item:Q6827475","lastrevid":56001001,"modified":"2026-02-24T12:13:58Z","type":"item","id":"Q6827475","labels":{"en":{"language":"en","value":"Greatest fixed points of probabilistic min/max polynomial equations, and reachability for branching Markov decision processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6889862"}},"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":"Q6827475$B1019055-F91B-4B21-8642-450BDE366C7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67c952aec451389d4781fdf5bae0f8ee908330a5","datavalue":{"value":{"text":"Greatest fixed points of probabilistic min/max polynomial equations, and reachability for branching Markov decision processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6827475$70CDE89A-1CFC-4F36-9B16-7E42DF39E3A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f5e6e1ef3145b7e0949633ff7294b221c821057","datavalue":{"value":"1394.60085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6827475$057EF462-32A3-4F77-ACBE-6B4852DB3A8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9047ede0a0a9eeb713dd7e8b41d9b7ff53fa8846","datavalue":{"value":"10.1016/J.IC.2018.02.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6827475$7CC19AD8-2468-4C84-A2EC-4F52E310A987","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2680b29e301ca65d036ea477d294af6c3aa1eaf5","datavalue":{"value":{"entity-type":"item","numeric-id":294840,"id":"Q294840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6827475$5DA4F950-1F60-40D7-9AA8-111345EF1670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"579648ac9f70614d834c6fdbbc2b6bc49460d92c","datavalue":{"value":{"entity-type":"item","numeric-id":1641008,"id":"Q1641008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6827475$8AE4F2DB-4A91-4956-A2B2-EB7E6AA94261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64789e48fd3ab0a44b5ae0aa6d85c1c024312026","datavalue":{"value":{"entity-type":"item","numeric-id":458479,"id":"Q458479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6827475$786ED62B-F31F-4D7B-9281-FEC6D53A621D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6827475$EE9C002F-5CBB-4FE6-B9B2-E806281B7EAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b559bb800700d5ba2a45f57085de6ba33131f78","datavalue":{"value":{"time":"+2018-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6827475$C0889688-D4B0-4237-8F89-5CB5F9549948","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d01ee9b98008029475379a23ca14bb199f2954e6","datavalue":{"value":"60J80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6827475$14E2AE9C-B14B-4A45-9DC7-24B31DDC7F08","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2053ae2a4e09efca6643581ace9619b2541052a0","datavalue":{"value":"6889862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6827475$C8DDA12E-9939-483D-A7F2-FD89DF7C2F4E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26f0a278ffef1688dc2fa857870a45d10619b88f","datavalue":{"value":"branching Markov decision processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6827475$B4DDFA1A-7DE7-49D5-B024-D13FF1F8C05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"846cb546de3cbd1bcf14392ecf63d780b7eb5a14","datavalue":{"value":"greatest fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q6827475$F4828619-DEE6-4CF5-9A36-DAE5FC15554A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f5d8078df145cbd006429509140f30f19afab97","datavalue":{"value":"Bellman optimality equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6827475$8971820F-E9C5-453D-B532-8404BB791355","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":"Q6827475$D95FF67C-B32A-4994-A079-5652F804A9FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Greatest fixed points of probabilistic min/max polynomial equations, and reachability for branching Markov decision processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Greatest_fixed_points_of_probabilistic_min/max_polynomial_equations,_and_reachability_for_branching_Markov_decision_processes"}}}}}