{"entities":{"Q6842432":{"pageid":20551306,"ns":120,"title":"Item:Q6842432","lastrevid":84284282,"modified":"2026-05-14T15:41:59Z","type":"item","id":"Q6842432","labels":{"en":{"language":"en","value":"On Skolem-hardness and saturation points in Markov decision processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8174042"}},"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":"Q6842432$E0E9BAD5-9B69-4EA3-8724-49EBAAE7065A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91446947f74c4adc01ece98f20bb2d0419d12e3a","datavalue":{"value":{"text":"On Skolem-hardness and saturation points in Markov decision processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6842432$63263141-4AB1-4F98-AA25-828DF6829933","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b323ce213a319d25909c29e4a16ff6b45140b86","datavalue":{"value":"10.4230/LIPICS.ICALP.2020.138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6842432$EF823E53-009D-435E-8329-B352E7DE8045","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2c3222cb8612bc6990a53c70a4264ee029fbbc3","datavalue":{"value":{"entity-type":"item","numeric-id":2147194,"id":"Q2147194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$3998A9E5-1D5D-42D2-B5EA-250E6B88CA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46e921d835845969ea465c2330db5171d968f1ff","datavalue":{"value":{"entity-type":"item","numeric-id":436314,"id":"Q436314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$3C8E9352-CF3E-4B82-8165-431CE3F16EAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"08788b2cbf350ad4bc12c8b64351e1e6eefe3b67","datavalue":{"value":{"time":"+2026-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6842432$7B426C75-7834-4CDE-B67A-2D9D52C6E79A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6842432$E95A0A8F-BBAB-4D88-9473-8A9B7CB6EE49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6842432$657B6F3A-2484-4AB2-BF34-98677411DE3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e859c86fd25eac1d9c5062538d2c825ea764375","datavalue":{"value":"8174042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6842432$4EBF474A-BD92-4807-B3C1-DFA767A5D1A8","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"daf5f856a5d861312ad309ab567540337a5f61d6","datavalue":{"value":{"entity-type":"item","numeric-id":57050,"id":"Q57050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$F29E8594-05BF-4C14-875D-D725243FA41F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8cfb635100bcc8a85463e6beac1ce534f15033d","datavalue":{"value":"Markov decision process","type":"string"},"datatype":"string"},"type":"statement","id":"Q6842432$7E5528A8-476F-4454-A195-12467AA7E188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e7aa81c67afb301064c97d9253c7e05c50ecf28","datavalue":{"value":"Skolem problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6842432$61955A54-F5BB-4516-A98A-5DCF04B2C472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fd82875be6c949e09f8a00fb586676a59be7302","datavalue":{"value":"stochastic shortest path","type":"string"},"datatype":"string"},"type":"statement","id":"Q6842432$F0D21137-DCA6-4577-9F64-6CB8F055ACE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d7864b8c5efbdd06583cb92bc9c9c10bc566b85","datavalue":{"value":"conditional expectation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6842432$A6BF3185-EA8C-4719-B7DC-9BE10879FFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f64ef9d84acd587306b6bdcdbdbbd6411a53d0b","datavalue":{"value":"conditional value-at-risk","type":"string"},"datatype":"string"},"type":"statement","id":"Q6842432$E20E34EC-1C2A-43DC-9E31-4BD9D2EE2622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6842432$218FF74F-5524-4623-A96C-40F80B04A4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"964235985eeffae13369c2a50322a1ea41231242","datavalue":{"value":"frequency-LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6842432$6A0106CC-41C8-4CCF-84BF-911BFB47D1C8","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":"Q6842432$A737246C-9A29-4FD9-A315-7E783898B45C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1212c8425b239752c05c7ca478ec7f069c4d8361","datavalue":{"value":{"entity-type":"item","numeric-id":477610,"id":"Q477610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$5E030675-E86E-47F5-B7DA-DB6FE686512A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f02186ccb58838026152a244c93510a5053926b2","datavalue":{"value":{"entity-type":"item","numeric-id":5145280,"id":"Q5145280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$075FA8F2-68D7-4866-93E5-0214D9DE12E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83da90b6a9970b6067309f00d2b357d526023475","datavalue":{"value":{"entity-type":"item","numeric-id":6654483,"id":"Q6654483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$835C669E-9DE0-4B57-9F01-9AAEBEBC6E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11fb269aa808360823d096db5cbe87b1106112a5","datavalue":{"value":{"entity-type":"item","numeric-id":5418957,"id":"Q5418957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$88282DAE-EA48-4E67-B0F9-6DEF09340702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8691f8690d7a59e388f25e1256663fb561c5ccd8","datavalue":{"value":{"entity-type":"item","numeric-id":5395674,"id":"Q5395674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$A569ECCE-C101-4FB1-9900-0BB673CB834C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eebc875088697883a66e5299db20bcf31acabaa","datavalue":{"value":{"entity-type":"item","numeric-id":4635594,"id":"Q4635594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$34CBB27F-903F-4191-AEB7-228E7C1AFF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb2aba762f58a59e3e7067ff0c4d36de2a60d533","datavalue":{"value":{"entity-type":"item","numeric-id":3303934,"id":"Q3303934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$F2740CE2-7066-49C4-928D-0D777DB07CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c32c4b1042eaf0c16e5b861d6b9af9eb737b4c58","datavalue":{"value":{"entity-type":"item","numeric-id":4633526,"id":"Q4633526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$4CA70CEC-FFE1-4C61-8569-144537AA58C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7252cd0352789e148fa87ef01a9cf8f2460a6c6","datavalue":{"value":{"entity-type":"item","numeric-id":3986758,"id":"Q3986758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$6E9BA0DD-D2AF-434C-8917-42992E9D996F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55845186a8aa93134551753376d39f2708562c4","datavalue":{"value":{"entity-type":"item","numeric-id":5417673,"id":"Q5417673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$C28B9138-619F-4D09-9029-F3745EDB5EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd1f73a357bfee95cda9e703294998bc2ccc62bc","datavalue":{"value":{"entity-type":"item","numeric-id":1990496,"id":"Q1990496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$0FB2BF5A-A2CE-4D44-BB28-8C605537E5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae16952a7c24ccc9fcb723a162581a6a06b64568","datavalue":{"value":{"entity-type":"item","numeric-id":764284,"id":"Q764284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$8CF74DB3-57B6-45E0-A575-97B8F02073C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e002defc2adfd4cc8c16947da1c21a7a6c5df1f0","datavalue":{"value":{"entity-type":"item","numeric-id":3088040,"id":"Q3088040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$9FFF0F0C-D224-42EA-9453-E645AC75C8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b2e31ac893aa29128650b9cc43fa3a6b0fcfb14","datavalue":{"value":{"entity-type":"item","numeric-id":4633524,"id":"Q4633524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$CDC073EB-624E-44E3-A991-32971110B79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e132eb6e4129ec3907e531e05dd7650eccf8ac77","datavalue":{"value":{"entity-type":"item","numeric-id":2248068,"id":"Q2248068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$6354608A-F2FB-4DCE-9516-1640CD2332D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93e97752bee4ebccae1b8f0be21a26a98ba93904","datavalue":{"value":{"entity-type":"item","numeric-id":853721,"id":"Q853721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$2EFC3321-638C-4FBD-B49F-84BE651BFF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd01bbf7ac64b8bf27e24be386f3ae72f8af850","datavalue":{"value":{"entity-type":"item","numeric-id":4598241,"id":"Q4598241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$80560246-2071-4F70-8334-F0C8146FA182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c71ee253892b177799592f03938a61eb6c7732cc","datavalue":{"value":{"entity-type":"item","numeric-id":4369884,"id":"Q4369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$F19A67BD-D3EF-4537-A3C8-14B2B098223C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa696feaabd4bd394b2480e10c573c4753acee86","datavalue":{"value":{"entity-type":"item","numeric-id":4270052,"id":"Q4270052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$FFB170FD-ED69-45A0-A1E1-4850F9FD1496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6caf9c4f5f4d778c04cb9948f99bacdf8f1fc5bb","datavalue":{"value":{"entity-type":"item","numeric-id":5716837,"id":"Q5716837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$99C4433A-5FAE-4BCB-B333-51E68DDF1729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52811bfc7c1962136717156ab14a01cf0d130ba1","datavalue":{"value":{"entity-type":"item","numeric-id":4421931,"id":"Q4421931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$FDF68F0A-2CD9-4DD7-8A9E-71294E2F635B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fd8a7ede49c3bc6b6b78b234e61b3a8c089555d","datavalue":{"value":{"entity-type":"item","numeric-id":5357703,"id":"Q5357703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$1EFFE1E1-5162-4712-9170-24A24ECFBD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb6fb16e64ad766ea7b9910f01d5f5548f45ba39","datavalue":{"value":{"entity-type":"item","numeric-id":3460051,"id":"Q3460051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$6E5383CE-3C68-4007-9E67-B41D2AA546D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4efb2e5acbe34221da2d9c852ae2f7b2ea73946","datavalue":{"value":{"entity-type":"item","numeric-id":3449479,"id":"Q3449479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$2BCBCC15-8064-4FCB-BC69-8F48746B6ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"650e349bc4be547383c5b3a42ea28fd29e3c0b8b","datavalue":{"value":{"entity-type":"item","numeric-id":2842114,"id":"Q2842114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$C6731466-D43A-4542-8AE1-561894400032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3b13a249a77d74c9301543ebfb55dfa11bdc7d1","datavalue":{"value":{"entity-type":"item","numeric-id":3449623,"id":"Q3449623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$37C9BAA7-894D-4F63-A948-7CB4F530A74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e051ccf6f9a8344d59965a1ee34c9029be4f922","datavalue":{"value":{"entity-type":"item","numeric-id":5145337,"id":"Q5145337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$23526791-A703-4C5B-AE81-86FAED0E84C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b1c31cee64415c39c3ff4e8c3f5fceb5dcd694e","datavalue":{"value":{"entity-type":"item","numeric-id":4270071,"id":"Q4270071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$C8FC937C-B5DE-4AEF-B027-D529686E386A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db5d4aceead9fbb5b01a719819933859af483f27","datavalue":{"value":{"entity-type":"item","numeric-id":5144678,"id":"Q5144678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$442D4754-6A5A-4A93-94B2-8F3B3F860637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f21fe6b91a9127407c7e54ae1ade44cee80b24d3","datavalue":{"value":{"entity-type":"item","numeric-id":5383986,"id":"Q5383986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$1DF090B4-210C-4D1D-9FD0-4DAF460A06B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9ea39d05d01c22500121ec5c40ab91621ad4a2d","datavalue":{"value":{"entity-type":"item","numeric-id":2289095,"id":"Q2289095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$3EF81447-20D8-4948-8DE5-94A7BC2C1F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42899df5b07f98507ca87f01b80430013eb00ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4315289,"id":"Q4315289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$06F06D59-7EB8-410F-9F16-DB7105D92244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2b6be9b523d52bf16d994ec2898a6048d892b30","datavalue":{"value":{"entity-type":"item","numeric-id":5172631,"id":"Q5172631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$8D4673F9-4FEA-4A05-B97B-BCF45F041310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c225ed9a8f33ae366042967c629bb2e0a0e51588","datavalue":{"value":{"entity-type":"item","numeric-id":5892424,"id":"Q5892424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$E6444E08-D5C6-4ECD-B1FF-27523795BB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e2be1205f152dec80bff80cbf0be145193cfe5e","datavalue":{"value":{"entity-type":"item","numeric-id":5278396,"id":"Q5278396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$E1EFD520-BD37-47C0-BDD3-EDD65285E7A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a189170aabc805891153c8b35bc0ab5d0624e6e4","datavalue":{"value":{"entity-type":"item","numeric-id":4910430,"id":"Q4910430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842432$24416CCB-44EF-457A-A203-0F28A281E9F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Skolem-hardness and saturation points in Markov decision processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Skolem-hardness_and_saturation_points_in_Markov_decision_processes"}}}}}