{"entities":{"Q6587117":{"pageid":14198273,"ns":120,"title":"Item:Q6587117","lastrevid":103907021,"modified":"2026-06-06T08:26:52Z","type":"item","id":"Q6587117","labels":{"en":{"language":"en","value":"Anytime guarantees for reachability in uncountable Markov decision processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7896544"}},"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":"Q6587117$B64D8D5C-D947-4F55-9D00-415DE73DA995","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d49376f92f7a9d9ec3232999f3c54102055f5492","datavalue":{"value":{"text":"Anytime guarantees for reachability in uncountable Markov decision processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6587117$189B1FEF-1AED-4D25-BBC2-1E85589FD780","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3bebc990b7c35b52e541fc0517e21de4bfbdea5","datavalue":{"value":{"entity-type":"item","numeric-id":6587116,"id":"Q6587116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587117$1620E43F-3B3F-47D9-B2F5-9C6757FF3C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e4018f669876a5819cf16362b14fc078dbd59d6","datavalue":{"value":{"entity-type":"item","numeric-id":690503,"id":"Q690503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587117$6226C634-1D29-4740-84B4-AD4E5851E948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5292d458af310b000030cf51a9a263a1b17344bd","datavalue":{"value":{"entity-type":"item","numeric-id":2151246,"id":"Q2151246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587117$2DCF1F42-7943-48D7-8DB7-A7F8018BAF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a70f6e80168da84558fa1083018adeced588b8dc","datavalue":{"value":{"entity-type":"item","numeric-id":2105471,"id":"Q2105471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587117$9C2DFAFF-13E4-4D48-82EC-359F43E92B2A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ef272fad473aebc084962aae26df5cb18b0f7c3","datavalue":{"value":{"time":"+2024-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6587117$AAFDF213-6A13-4D98-B9EB-DA01F025C0D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587117$A2A347A9-1F46-4510-BDC2-84E01DDD50A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab47a8697341b3c983d8d4f72819736ef60d427f","datavalue":{"value":"7896544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587117$E02E7ACA-DA67-42D8-97A9-7A6DCEC01163","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7039820ed8e7a1b4386089ba9efc90339e414133","datavalue":{"value":"uncountable system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587117$196C396A-36E1-4C9A-8780-C22B8C7D16E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8cfb635100bcc8a85463e6beac1ce534f15033d","datavalue":{"value":"Markov decision process","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587117$C996C67A-E937-4277-A297-6C74E1B4A5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f85cf822c334ef69c4eeaa65cdaf5fc60b68d50","datavalue":{"value":"discrete-time Markov control process","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587117$F915F04A-4376-4825-9259-2C6F9AC01047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6f7b890de0bb5e9d45d15d280bf18eeaefac20c","datavalue":{"value":"probabilistic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587117$445905BF-612E-4A09-B19F-3235DB5AB11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31e2d2a2f7f7a811434f850c8560bd99281d8351","datavalue":{"value":"anytime guarantee","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587117$04A6D689-6D62-4CA4-B62E-8B11AC2E47B0","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":"Q6587117$AF3582E1-2A14-466D-BA0B-0C5A5C7E3941","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"459e73bcb1345e905520625fac4a712742adf1aa","datavalue":{"value":"10.4230/LIPICS.CONCUR.2022.11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587117$341DCA85-7188-449F-9AB8-BB6F4667E307","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Anytime guarantees for reachability in uncountable Markov decision processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Anytime_guarantees_for_reachability_in_uncountable_Markov_decision_processes"}}}}}