{"entities":{"Q888469":{"pageid":890317,"ns":120,"title":"Item:Q888469","lastrevid":65219598,"modified":"2026-04-12T01:06:31Z","type":"item","id":"Q888469","labels":{"en":{"language":"en","value":"Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6502611"}},"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":"Q888469$FEEEEEC7-6AE5-4D80-A3EC-93DF14DDF8B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e570216e75bf6fcee89145dcfcdb20471420777e","datavalue":{"value":{"text":"Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q888469$970E0ABE-7C67-4ED3-8C3A-91107D048368","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b960a5a88e1b7199359c3b60dee647bf1099ec4","datavalue":{"value":"1341.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q888469$1214DF75-788B-49CB-89B6-381A8DBDE6F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5979152cca5de810ef5e74808ba838cbede6b12","datavalue":{"value":{"entity-type":"item","numeric-id":888468,"id":"Q888468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888469$EFB4444E-69E0-40A4-8DA4-F08F9223BE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fedef0ca27b62e01c90e6910e47dfd182898de65","datavalue":{"value":{"entity-type":"item","numeric-id":681341,"id":"Q681341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888469$42BFBE15-B3D4-4B05-83C8-83F647E8CE25","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888469$54ECD862-742A-4DB9-904E-A5B6EEA10F25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fedb92f8006ce865a5ead1bfbb356102d7f9117a","datavalue":{"value":{"time":"+2015-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q888469$0CC6343E-C130-45B7-BF17-EF403B79F865","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q888469$DC87A25F-0129-49D2-89A6-A79E5411F9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"843de71235f44a800ae389e1734df6bb7650efec","datavalue":{"value":"65K10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q888469$E961AE5B-F5E1-4D61-97BC-9FCC1F4D7A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b2650696ed3935a49b70cc972e8bc0c67a8cd2c3","datavalue":{"value":"93D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q888469$4911F9B2-15A0-420E-8216-2B64577B007D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69923865b605198c8340e952f5173a05c146b4e4","datavalue":{"value":"6502611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q888469$EC2415BA-AFDA-4D34-BC19-E64ED16A560E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e14481454eb5dec659f25f189d1dead31a496a1","datavalue":{"value":"policy iterations","type":"string"},"datatype":"string"},"type":"statement","id":"Q888469$064FBC15-A126-484D-86B1-ABBF74CC3159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q888469$682C0A27-8B61-4D47-A9F9-9F245EA0825E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q888469$BE95B020-992D-4DE9-BA86-19483FC54241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a65f666a461f1ff5b737af577c0269a331b4ecd","datavalue":{"value":"quadratic templates","type":"string"},"datatype":"string"},"type":"statement","id":"Q888469$DC9D3700-A810-442E-A4A2-688BD4C53D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d3cc1775e40781b9abf76a09cbd70074ba1212f","datavalue":{"value":"ellipsoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q888469$E92A04D6-20B1-4706-91E0-A7D30C930A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc67b2f3cea0284732f172d4f8e51d8a3ae449ab","datavalue":{"value":"Lyapunov functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q888469$1478F0CF-0E86-4805-A736-A41146B2B32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0338e16b2692ae366e8fa638206d6c15427db1b9","datavalue":{"value":"widening","type":"string"},"datatype":"string"},"type":"statement","id":"Q888469$671416C2-857C-4EB4-BBCC-1A7642689EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"490f9e3c239f80ed1697961a25e49746660d9ee7","datavalue":{"value":"controllers","type":"string"},"datatype":"string"},"type":"statement","id":"Q888469$BBCA6BB8-98B1-49E2-8F51-AEF372914C7A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888469$29ABB2D0-F59E-4DAF-ACF1-69B4735A6903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9bbedeb8fff9bf5dbcadd59c3f5332134c82fe9a","datavalue":{"value":{"entity-type":"item","numeric-id":16987,"id":"Q16987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888469$33AC534F-4D70-4A42-BA2E-5091FAD1A294","rank":"normal"},{"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":"Q888469$1D2EBF89-DEA0-4DE0-806E-CA57CF6D5EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aa786b5c8269f6cf517ad0f032932817c0bb268f","datavalue":{"value":{"entity-type":"item","numeric-id":18875,"id":"Q18875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888469$32FBB8DE-9D0A-4D9A-8574-92376F73904A","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":"Q888469$4C9099DD-D43D-40AF-8EFB-50756905A2E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9caf7a90f5c7809dc34a7775e6acd971b40f368","datavalue":{"value":"https://doi.org/10.1007/s10703-015-0230-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q888469$9F8308D7-ED0B-4997-9C6E-D4C278B7E293","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"354f00c22755fc472b37b699112f916879034c34","datavalue":{"value":"W250118690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q888469$4E903408-0E50-4FED-AF17-7E43C777EB60","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":"Q888469$EA8839B2-A4B9-4D7D-9E04-7251FE540F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34e54ebee20d7cec8b8550b2109de35c7172ce22","datavalue":{"value":{"entity-type":"item","numeric-id":435974,"id":"Q435974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888469$D7CC3169-B6A9-4F54-888F-702327EE6A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fb5c4b86439c99a6d41978ddd51751a0bae1bb7","datavalue":{"value":{"entity-type":"item","numeric-id":4326600,"id":"Q4326600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888469$1C330388-098B-493D-95AD-B53F03BA73E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f51123d4849920c0bd477136f67ae685bea6fb","datavalue":{"value":{"entity-type":"item","numeric-id":4821526,"id":"Q4821526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888469$1B532F9F-1288-4233-B31A-B1599B321D99","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":"Q888469$63D3EE8F-10F1-4436-8458-C0F459E9496B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888469$3BD834D7-D198-49E8-8748-24505582C082","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":"Q888469$E120B5B3-2E06-47C2-90FC-3B702B74BDD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"586fae6e49225b59a9454fd3e5d7bea4f9f2b19c","datavalue":{"value":{"entity-type":"item","numeric-id":5308687,"id":"Q5308687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888469$3A84F972-273E-44DC-890D-488AA664CC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49678118938d5a8fee25ec83ca93c5f605f50de8","datavalue":{"value":{"entity-type":"item","numeric-id":1772313,"id":"Q1772313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888469$CAE24699-CD32-4FAF-A10B-5B6AEA0C7056","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":"Q888469$400ADD04-3DA5-41FA-8255-B82E7664F896","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":"Q888469$A92589F7-E5FC-4D48-A3CF-65437AE50414","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":"Q888469$3216C29E-CDB8-4931-9E5E-60318EAFF8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9c3cdd80631a131eec05eb83578a90b834811bb","datavalue":{"value":{"entity-type":"item","numeric-id":435969,"id":"Q435969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888469$188CFC1B-93B8-4458-8F6F-17A8111A4AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7842cc7997d2d8faf03cd74c496ae509956b9581","datavalue":{"value":{"entity-type":"item","numeric-id":3075485,"id":"Q3075485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888469$08B59ECF-F7E2-4DDC-AE6E-571F964E6A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb2190584b47fd8e5ce7c9b972c59ca55a9d6c5","datavalue":{"value":{"entity-type":"item","numeric-id":5440982,"id":"Q5440982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888469$C1227C18-E4A3-4DA6-B58B-190819D98DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a83e6b1f38bd22e7c559f56363b9c482c696cc45","datavalue":{"value":{"entity-type":"item","numeric-id":4864704,"id":"Q4864704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888469$10112AA2-4D83-44BA-8832-A191B63D5412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91e709dd6f3e2ba5620d6216aa06af3b4dbbdf1d","datavalue":{"value":{"entity-type":"item","numeric-id":5787706,"id":"Q5787706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888469$C8D828AE-4D7A-4EE9-A075-C5DDCB8C1F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d79f794cb0b04265fbc6f7edbeaedf1dc142dec9","datavalue":{"value":{"entity-type":"item","numeric-id":5308685,"id":"Q5308685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888469$07A3C4BA-6666-4311-BAA9-B89BB2FBAC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01a8c3a0d7ce18f786020fc1f392e5f28fae4d72","datavalue":{"value":{"entity-type":"item","numeric-id":5716559,"id":"Q5716559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888469$DDC0189A-2DFE-4052-AC3F-EB47FAB273A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17c4404c92f76a1df93427ca7691345f86496bf8","datavalue":{"value":{"entity-type":"item","numeric-id":5703955,"id":"Q5703955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888469$992E1CE2-FD99-4CFD-B025-472CC1B84146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dd2c11b2a2bcd992c004f592e948dc3927627ea","datavalue":{"value":{"entity-type":"item","numeric-id":5166691,"id":"Q5166691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888469$A9E6024A-E0BA-4671-B016-C01A1872B3B0","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":"Q888469$4261BA40-0460-495F-AC6D-84303F22ADD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcf15b8407e5d75aba6434845813c7baa49e06b2","datavalue":{"value":{"entity-type":"item","numeric-id":2502318,"id":"Q2502318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888469$17E86645-8E26-4DC7-9E41-E92437C4CC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"758d3724017c484fb2035201d7ba18e8ef7868f8","datavalue":{"value":{"entity-type":"item","numeric-id":2890535,"id":"Q2890535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888469$87AF06F4-5F6B-4E35-9018-6090F070A847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b68667d0575a943560173a0a00df96818faa3b7","datavalue":{"value":{"entity-type":"item","numeric-id":4877532,"id":"Q4877532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888469$B3DB8F3C-9C93-4A2A-B38B-93B2A8DB64FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46b5a44f5aec42fcad1ff6ab35f33c4e80c47621","datavalue":{"value":"10.1007/S10703-015-0230-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q888469$78AD4B78-7F4F-440F-97D1-E7D42ECD226A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91a15520feeee3e3fb6e4fd78258d2b5264237fb","datavalue":{"value":{"entity-type":"item","numeric-id":3172921,"id":"Q3172921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a5cc113869155e5c97ae2616d7bc7edf348564c","datavalue":{"value":{"amount":"+0.8235997557640076","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":"Q888469$69C23221-894D-4165-8129-FBDBCD37E72D","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":"7646b21c92c2d5f1aa0cc8c1dd0df05efbe36f00","datavalue":{"value":{"amount":"+0.8213501572608948","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":"Q888469$814582D1-636F-423D-B5D4-E0145B302C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"679aa9a4b44c4bfbafca11c73c23c3d791b9a515","datavalue":{"value":{"entity-type":"item","numeric-id":5166691,"id":"Q5166691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0edcc5c171506ce4445286dc5c3d81caeb628459","datavalue":{"value":{"amount":"+0.8206016421318054","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":"Q888469$FEDB5D83-88D3-4865-B047-2C1B15F94CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe66794fab986ab586674e055c8004fe98432b9f","datavalue":{"value":{"entity-type":"item","numeric-id":2406948,"id":"Q2406948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aacb772e38d611c7d0960806d9e3529581e8e71","datavalue":{"value":{"amount":"+0.8098183870315552","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":"Q888469$83C8AE6A-3F66-4FB8-8C0A-B9282FE9B5D3","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":"9f891b2e5667a492585db9d46eea9da95a4a88f0","datavalue":{"value":{"amount":"+0.8059181571006775","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":"Q888469$B3341302-0F6A-417A-B9AE-D00C426027FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Practical_policy_iterations._A_practical_use_of_policy_iterations_for_static_analysis:_the_quadratic_case"}}}}}