{"entities":{"Q6572575":{"pageid":14183730,"ns":120,"title":"Item:Q6572575","lastrevid":42356216,"modified":"2025-06-12T17:23:03Z","type":"item","id":"Q6572575","labels":{"en":{"language":"en","value":"Mechanizing soundness of off-policy evaluation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7881145"}},"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":"Q6572575$7444571E-C099-4AFF-AAA4-50F88D12B88E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd3f4c53449d888c46dc9ffc0818a437cd74dc24","datavalue":{"value":{"text":"Mechanizing soundness of off-policy evaluation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6572575$A69EBCDF-C38C-4EF1-956B-27523CA19348","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7047107910f5801a9d2bc661c6dba20ae412c7f9","datavalue":{"value":{"entity-type":"item","numeric-id":6572574,"id":"Q6572574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572575$FFB8E4C7-B2B2-461E-824F-C482C7507AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"560fbe775daf70eb7314b1773aff7163a5f0a80f","datavalue":{"value":{"entity-type":"item","numeric-id":856910,"id":"Q856910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572575$BB6D33B5-A640-4B3C-A0BA-C9DCE2BFF229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"145fb4ab3c36a5f99f91a0be2758a779e5bceae8","datavalue":{"value":{"entity-type":"item","numeric-id":386031,"id":"Q386031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572575$0B6DCDE7-9280-45EC-90F3-BC0D05F8F42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bbb119fad67c00e86f25ef7cf99b7da353ab20a","datavalue":{"value":{"entity-type":"item","numeric-id":6318807,"id":"Q6318807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572575$1C0776C3-29D7-4FE1-8B49-A723AE0AE58A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7dae1a09e0b079923de71e99f58f11ff9161f5ec","datavalue":{"value":{"time":"+2024-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6572575$F913E14E-1664-4D69-B811-017306388ADD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572575$08D20114-DD59-4F83-8D7F-6FF3DDA04821","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bef994b4ac41275d9e863b95870c0b5d0693ef28","datavalue":{"value":"7881145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572575$86ECFA82-F5A9-4921-B112-7067F98572A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572575$57ACF6CF-CAE8-4FBF-84B7-0F315040D5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a98f4f63c134cf5f8bbe7dd8160815c1e044dd6","datavalue":{"value":"HOL4","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572575$5110ABF8-6D25-4525-B17B-0DF2922F97DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab31482eee8f34fa99c5284980862acac4a0b6b4","datavalue":{"value":"reinforcement learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572575$A6BDA117-43A6-4327-B0CF-F81243EE7101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a8ffdf458950862244813cf99453cbc05dfc031","datavalue":{"value":"off-policy evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572575$41D2CC27-37D2-49B1-8FD3-4715ECDB9D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b463855827cef57e21ec84bcc8eb7aca0dcbac3","datavalue":{"value":"concentration inequality","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572575$3B173542-DDD6-4645-B32A-E90EF9B6CF28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f2f9930b0da3f65672556b4017b3b52a49d808a","datavalue":{"value":"Hoeffding","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572575$93D69F6E-BA22-412E-9772-D44CDFB3A701","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":"Q6572575$3DAFB5DF-8E2F-4CE7-B5AA-6CEAD513059A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"adfd56b1df40be1d07ba251dd7b49d731924b010","datavalue":{"value":"10.4230/LIPICS.ITP.2022.32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572575$47BA51F4-2E1E-449F-BEB0-4525D86C6A35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6572575","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6572575"}}}}}