{"entities":{"Q5170173":{"pageid":7199745,"ns":120,"title":"Item:Q5170173","lastrevid":52046033,"modified":"2026-01-20T20:06:34Z","type":"item","id":"Q5170173","labels":{"en":{"language":"en","value":"Proving termination by policy iteration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6319524"}},"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":"Q5170173$5FD9AF45-4C7C-4EAF-BBE6-BDE376E395CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"227b491e946934ead869fab4289aa21ec5f8eb98","datavalue":{"value":{"text":"Proving Termination by Policy Iteration","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5170173$8C52DBFD-595D-438C-9D1F-1E58D8B496B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c997af39e657c2222d3180622b567394aec0bce6","datavalue":{"value":"1294.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170173$4E8EC8FD-F8BF-48B4-B413-C185761CEF7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"816232a834ac9ab7720029b506108aecce3a9500","datavalue":{"value":{"entity-type":"item","numeric-id":721072,"id":"Q721072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170173$EC7A3121-D306-4263-91B8-FE9FDB20EA77","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170173$BDCC4FF3-ED08-4F5D-BD6C-C6FEA992583A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccf050e1c17ecf8d76a38048fff5f6c3dcd9c662","datavalue":{"value":{"time":"+2014-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5170173$FCCE1610-F584-4149-B819-E6167177F833","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170173$8C59FB50-E278-4EC8-87D5-EEA228EF8D2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21783f6f1346ad5c76944b495a47db86e8c49833","datavalue":{"value":"6319524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170173$ED018527-C866-40BE-948D-A5D7EC11FDD8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170173$B32DC067-34DD-410E-8B0C-839BC3739689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b787a7fb4983f9edd99c2283d82bd30f90e94b57","datavalue":{"value":"policy iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170173$7BFB8117-94D9-4673-A6AF-069B334BA105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94f984f06ee7673c5a3d7decdf34f69fa0a79f2f","datavalue":{"value":"template constraint matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170173$51EBD007-F884-457A-9F8E-D388F2A3A76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37f2233143951bddc905b7237274c784a4a18186","datavalue":{"value":"termination analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170173$5FA53EFE-47DF-4DFE-8AE2-150CAB7D2927","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"42d9e102ed9587ea9767cb533cbb6b54a1624b31","datavalue":{"value":"Q113318057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170173$753AEAA5-0288-4D91-8C39-1DA9CA38F069","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"630858108012d4b1d813d05f96b53442397f2dc9","datavalue":{"value":{"entity-type":"item","numeric-id":17101,"id":"Q17101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170173$29EDB121-5F56-4350-8D19-7CE80924780C","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":"Q5170173$D7BB1A48-FC01-4E4B-A0AA-5CF886473275","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da574b35cfbdd81f8e34b988d30d53ba36e330c7","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2012.09.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q5170173$B01A4577-2EBC-4847-95E8-0BEE8D83A496","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ade9e3893e7733c1472b4c5186e77995e3005d8b","datavalue":{"value":"W2027936721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170173$55670AFA-2711-46DF-9ADE-3F33C1C85C1D","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":"Q5170173$D3C63A76-4ED1-4BCC-8BC5-09B93D923565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69c3762306128d3f2cd8a14861935711df2fc507","datavalue":{"value":{"entity-type":"item","numeric-id":5891624,"id":"Q5891624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170173$4EA98F84-72E5-4509-A772-EA0AFED44ED2","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":"Q5170173$83232A77-C407-4781-B77B-AD5726B9382A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42d5b4a8113b914146778f9cdfb24fb2524be9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1605224,"id":"Q1605224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170173$860671DB-EA3E-42A8-8021-784C5F356B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3109868eabc348164df54dfbc4d510999bf50764","datavalue":{"value":{"entity-type":"item","numeric-id":5285987,"id":"Q5285987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170173$BCD480DF-F484-41B5-8BC7-134B7136066D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727396178aa3c115efa8b89938b9e0afafcf8cbb","datavalue":{"value":{"entity-type":"item","numeric-id":2942877,"id":"Q2942877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170173$2D3C5899-5148-4264-8672-D5A2DA62A3C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2073093aeb6208120f213f860dad84eb717663ba","datavalue":{"value":{"entity-type":"item","numeric-id":5756502,"id":"Q5756502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170173$F9B42B6E-C375-45AB-9BAD-EE1D1B9C15E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a696631b48357d4e775d99fcfad3cbdd81cddb6f","datavalue":{"value":{"entity-type":"item","numeric-id":3608402,"id":"Q3608402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170173$5DEBC9F1-384B-4733-ACA4-96C0D956E2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"352d8306ac78ebc493a0885d114bbd50c84f0272","datavalue":{"value":{"entity-type":"item","numeric-id":4930733,"id":"Q4930733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170173$E5C88DBA-056F-4F6B-9EF3-90D9A19469DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a39da4a57272edb02d6053b5209e8619838564d","datavalue":{"value":{"entity-type":"item","numeric-id":3613383,"id":"Q3613383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170173$1D1383F7-CC80-42BE-A7A6-BF4AFEC56F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170173$37883829-22F3-41A4-A4F3-3CCEFD4F06F5","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":"Q5170173$E1A82F45-59A5-41E4-830B-B0641C45AC91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89f9434aee52edd69be99380ac61e9bc8dcb5d61","datavalue":{"value":"10.1016/J.ENTCS.2012.09.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170173$96679CE6-3C2C-49EB-9FD3-DDA5F4CC6336","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee2120cabba15f72ee5f3e765e1e9bfd72e845b5","datavalue":{"value":{"entity-type":"item","numeric-id":2938083,"id":"Q2938083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9636f4df95386bd9c283e37be0eac4eb461ee8d6","datavalue":{"value":{"amount":"+0.8335995078086853","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":"Q5170173$FE6C6871-620A-4C41-B248-69499BAD850B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f23bb8ff881e034e2448e90abf14f4c4879f3dda","datavalue":{"value":{"entity-type":"item","numeric-id":2520672,"id":"Q2520672"},"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":"Q5170173$D507D5DE-C035-47CD-A6D6-DFEB5E79AE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"499cab77001d1986558db15e4b7bdc8b14ac5609","datavalue":{"value":{"entity-type":"item","numeric-id":5711515,"id":"Q5711515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cdc93201ede71dc10ce42a1b2b72ae685bae1a4","datavalue":{"value":{"amount":"+0.7889729738235474","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":"Q5170173$8B74C9DA-5CD4-4005-9145-7211523C6A25","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":"9ef3308a25062faf71debde741ce590cc2a50c09","datavalue":{"value":{"amount":"+0.7740646600723267","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":"Q5170173$F5DFAEC7-6675-43E8-93DB-E63C707D6A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d209fcd6d6fb4994da34439dbd26e97e575b92b","datavalue":{"value":{"entity-type":"item","numeric-id":4804915,"id":"Q4804915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccb2a2580177a9f0d4ace2c6b0c5ad45937b4b5b","datavalue":{"value":{"amount":"+0.7603126168251038","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":"Q5170173$07F10FE1-329A-497E-9CAF-8B3994DFFDFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5170173","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5170173"}}}}}