{"entities":{"Q2520672":{"pageid":2531415,"ns":120,"title":"Item:Q2520672","lastrevid":74168778,"modified":"2026-04-14T18:46:10Z","type":"item","id":"Q2520672","labels":{"en":{"language":"en","value":"Policy iteration in finite templates domain"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6664847"}},"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":"Q2520672$173ED749-0DA9-4D51-A4F2-09F7CE19DA1A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"472d952903a8b61fc69405f174e701d9ae68dce4","datavalue":{"value":{"text":"Policy iteration in finite templates domain","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2520672$4B51E1F2-08E6-42E0-9645-9A03B7DA8BC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd5ce123637d0ffea8edc1dd8690185fb652477c","datavalue":{"value":"1351.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520672$FD6BAE3A-8C3F-43D7-AD44-E10D6449C791","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a9f9b026aed956f69b957af2adffe02034d4c67","datavalue":{"value":{"entity-type":"item","numeric-id":435968,"id":"Q435968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520672$9FBB1C8D-DC26-46D9-A22A-F846B7B6C176","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81dc7daf8e9d74fc43b1651d3815e34e62e970ab","datavalue":{"value":{"time":"+2016-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2520672$6E669D1D-F8EA-4406-AC6F-207F0D929946","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520672$7AB74E3F-4F3B-4F60-A213-7E8B4EA66D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccd1dd4cefa81e8158b9f080486a4eaed61a9ee8","datavalue":{"value":"90C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520672$C2F200DF-363F-40DC-B316-EE5666CB8692","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d467476b6e26bba380927893a6c46f07649caddb","datavalue":{"value":"6664847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520672$646FB56F-C9DE-4CAD-AEE3-EA25EF0D1407","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520672$22E0F323-12A1-47DF-B53B-378A78994BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b787a7fb4983f9edd99c2283d82bd30f90e94b57","datavalue":{"value":"policy iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520672$FD804AD5-18F2-46EC-8425-F86E68A8851F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98ec0da153690876926ad12853c6b084b05ced7e","datavalue":{"value":"convex optimisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520672$B3AF99C4-F7A9-4F6D-922C-80C5CE828C36","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3cf2e151b5c2d0a7a4328f5acb4d3292af0373d5","datavalue":{"value":"Q113317770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520672$E14923CD-ED27-4FC8-A546-7C4383EE12F9","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":"Q2520672$A5ADBB1E-B1E6-4A52-AE39-BFC5D960922F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a66db7fdd26a313a667aceb963d01bd43354d31","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2015.10.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2520672$94D8648E-2C0D-435C-AD1D-CD365B93D75B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"caaf09ee22d24ac47b2474215bff56c1555fa383","datavalue":{"value":"W2229490248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520672$1039F989-4A52-453F-94F9-8884CD48C64C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67945448a4fab3cfd00464aeec20d1302b90e6cd","datavalue":{"value":{"entity-type":"item","numeric-id":3558213,"id":"Q3558213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520672$2DF53270-491B-4C0E-BAEF-ECCCA07909B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89731fc573dd24d361dbf22191cbff0f9d0bd34c","datavalue":{"value":{"entity-type":"item","numeric-id":2260413,"id":"Q2260413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520672$0E10B9DF-36AC-4937-80A6-63C598ED50C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b41a580f93fc1fbfd30a6eb8a02eab4c893fc7f","datavalue":{"value":{"entity-type":"item","numeric-id":4779970,"id":"Q4779970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520672$25E0287E-6229-4DEF-8B36-10CF099B1E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e958689f7d9dabbfa572244742afed969201a5bf","datavalue":{"value":{"entity-type":"item","numeric-id":5716589,"id":"Q5716589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520672$E1BD2C8B-28B9-4175-8B21-3B2D5BD16F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520672$01CD2DAE-E214-4BCF-B496-579CB2276C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3014fff1c94ad59e81787332ae7190a13501142f","datavalue":{"value":{"entity-type":"item","numeric-id":5756499,"id":"Q5756499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520672$2F4DB3D8-037A-4378-BB9D-1EEB67ED1C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7576506839763f84fe3beeb06ce75a8ed60a5f","datavalue":{"value":{"entity-type":"item","numeric-id":3395491,"id":"Q3395491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520672$970A6FA4-71C4-4F70-9A2C-AF929FD16165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"389892f390406ede0d747c6a0d9c190b7258bbe6","datavalue":{"value":{"entity-type":"item","numeric-id":2539358,"id":"Q2539358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520672$036F64C4-0B13-4727-BAA1-C652326F8FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3df16580f6f974f881ed949b615e442cb8d0f868","datavalue":{"value":{"entity-type":"item","numeric-id":1424271,"id":"Q1424271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520672$516056BF-7D04-4447-BBBE-6959CD8FAE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b17b8424fba5b6374a2c090ac13311642ae02f6","datavalue":{"value":{"entity-type":"item","numeric-id":2986757,"id":"Q2986757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520672$8DA551C0-4D7F-48BA-9FD2-7ED928B9FEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a86678c3176499a6c871665cfccc982d55df96","datavalue":{"value":{"entity-type":"item","numeric-id":4717558,"id":"Q4717558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520672$253FBE53-06F8-49CC-907E-2729AB0C9B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81c5dd2387fd29a9d72fa6bc51ecfc3677237041","datavalue":{"value":{"entity-type":"item","numeric-id":4949174,"id":"Q4949174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520672$9C371F84-2B70-474F-B6D0-303E34278E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55d13f9e2b7bb600eca13cadea00d04c2a2605cd","datavalue":{"value":{"entity-type":"item","numeric-id":4339231,"id":"Q4339231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520672$B47D124C-0BED-4F3C-876A-2FF72CE11956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86346ec7f69bcc942c27a0f9a2665a249b5ca158","datavalue":{"value":{"entity-type":"item","numeric-id":5711496,"id":"Q5711496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520672$30883B4B-141D-4F79-882F-3DFF518128E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a437d0f6af34d7912aed8c4e5ff83df5bc0668a8","datavalue":{"value":"10.1016/J.ENTCS.2015.10.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520672$474E0640-458A-46DA-81FD-46B4EF2BC564","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27b6cbc8cf114ea842065357f056e445b6fc9dfc","datavalue":{"value":{"entity-type":"item","numeric-id":5233248,"id":"Q5233248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6d54d78d5aa8b55efcc657c61281d64a9cdafaf","datavalue":{"value":{"amount":"+0.8230934739112854","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":"Q2520672$E02C823E-0F2D-4BB8-8840-5F81B726482D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83aeff77adb204bde017cd0a8cee7b26c543eb46","datavalue":{"value":{"entity-type":"item","numeric-id":5170173,"id":"Q5170173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c61258b455712ad971341f29868f1da7d4a6c2c","datavalue":{"value":{"amount":"+0.8092054724693298","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":"Q2520672$E9697E58-E132-4ECD-B153-E6EB7D12BA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f68799fe231634b866ca64dda65083a0d7aaa5b7","datavalue":{"value":{"entity-type":"item","numeric-id":5756499,"id":"Q5756499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4aec33e22f6c42db100b987ad8fdccff0c54a6b","datavalue":{"value":{"amount":"+0.8018288016319275","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":"Q2520672$D97BD093-63DF-4DA9-8BF3-22BE24C93B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e5df45c143d99ab4df25b9a08bdcc2a884a994f","datavalue":{"value":{"entity-type":"item","numeric-id":5716589,"id":"Q5716589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"359f238bd326b52178ff209db5d01d268f57e402","datavalue":{"value":{"amount":"+0.7945418953895569","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":"Q2520672$14DE5938-B634-4115-94C6-9C32726F8054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b06de89e54e1dc073d9c3673f3b752fadb31caa","datavalue":{"value":{"entity-type":"item","numeric-id":2322312,"id":"Q2322312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91a1e977d5295291d76e7550ca609588c081fc35","datavalue":{"value":{"amount":"+0.7918869853019714","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":"Q2520672$95517E3F-AD27-4223-A9B2-50BA4307CF97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Policy iteration in finite templates domain","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Policy_iteration_in_finite_templates_domain"}}}}}