{"entities":{"Q832153":{"pageid":834001,"ns":120,"title":"Item:Q832153","lastrevid":64706382,"modified":"2026-04-11T21:40:51Z","type":"item","id":"Q832153","labels":{"en":{"language":"en","value":"Algebraic program analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498132"}},"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":"Q832153$6EAE06AA-8E67-4E4F-927D-899EE05B9AFE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51ae2736c4a0669987873bd4d920943d8f46c76b","datavalue":{"value":{"text":"Algebraic program analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832153$1A829214-123F-411E-B776-0D4D4C990E75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2c81d21a953d5dde0b3b0f69ffe6e7b53c76cfe","datavalue":{"value":"1493.68115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832153$6FCA206F-00E7-446D-983F-7D597E4311CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14e2d443da8d0847084a5bcdca70e04bed954593","datavalue":{"value":"10.1007/978-3-030-81685-8_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832153$765F1B4E-9A81-4650-92EF-428507BE9FFC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92fad1b91985a3c82f5ef7ee93b79eb62f914c5d","datavalue":{"value":{"entity-type":"item","numeric-id":832151,"id":"Q832151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$CFCD4452-BD5B-40AF-85A2-FBAF8B67D5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a1be265e99e113d4939724647208f99ebc5506d","datavalue":{"value":{"entity-type":"item","numeric-id":832152,"id":"Q832152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$3A3BBA9F-8D2C-4B02-9FC3-A59F6741E163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"190aeb0a4140f0f074ae1c5aadd2d8c38248c9a5","datavalue":{"value":{"entity-type":"item","numeric-id":1404294,"id":"Q1404294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$F0854397-9A86-4AF7-B7FF-59E670617894","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26426ab4d5a6ecfa201abc41ba9257e3996155a5","datavalue":{"value":{"time":"+2022-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q832153$F46700E8-94C4-451C-B6EC-3E2373A2EC26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832153$DDE62453-1A90-47A3-BCA8-40B540E1B34F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86f4b89abf09e0d148ad5f7feea2f52a491e45b1","datavalue":{"value":"7498132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832153$84F0A475-BBE7-4E02-81A9-7018BACCBB0B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fedb99aafb4892a69662c5ebaffc64ecb6451370","datavalue":{"value":{"entity-type":"item","numeric-id":16326,"id":"Q16326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$73816FE8-8C19-478C-97B1-69A0FD5AD8BE","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":"Q832153$78AD48ED-E763-4C94-AFF3-779CDDD129B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"308c9d19b10840f60de028f733a0e4446e2c05f7","datavalue":{"value":{"entity-type":"item","numeric-id":21700,"id":"Q21700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$8FCBC673-E755-49BD-9A7E-68FB0B5CFCC4","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":"Q832153$579A256B-2129-4011-BF20-BA16821E11A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e34795c6fc6c777ee6150a005b42224ce71a74ec","datavalue":{"value":"https://doi.org/10.1007/978-3-030-81685-8_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q832153$E6B5FEBC-FA04-4D8E-B6CC-305BB5F70ACC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"37b140c0c815ee8e4907e2dda43f86258ff4f091","datavalue":{"value":"W3185017891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832153$DBD18296-ED1B-4FFB-AA01-B6E60DF4887D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$813F6F59-77D9-4FCC-852B-E5896C707A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6b5798a9788731d78777ff3a4927d3be458dec8","datavalue":{"value":{"entity-type":"item","numeric-id":2849479,"id":"Q2849479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$C82B43D6-CD26-4D28-B77A-14C7455F9494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f5615be6a0ca317deca788c5928065f9f47566a","datavalue":{"value":{"entity-type":"item","numeric-id":4079026,"id":"Q4079026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$C13944C0-E5A4-4904-BD5F-D0B8D10A3420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"333f870969a03a9ceca6d80ee5d60c44f3c33309","datavalue":{"value":{"entity-type":"item","numeric-id":2814096,"id":"Q2814096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$8E061872-69B3-40EC-829E-6E6B9C8ECB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa203dde3f84a5d17d5a07d8dbf7491965626e5","datavalue":{"value":{"entity-type":"item","numeric-id":4060428,"id":"Q4060428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$EC89FD39-370D-4AA6-A36E-41F50762E4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38e727b0a3ee59bc4e1c091872c304fb00780206","datavalue":{"value":{"entity-type":"item","numeric-id":3189800,"id":"Q3189800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$94B77B38-74CA-45DF-AEB9-552B882336A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51541f99d6bbe126c2da4baac0404d71491b3b51","datavalue":{"value":{"entity-type":"item","numeric-id":3066094,"id":"Q3066094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$EFB26D7D-A83A-40DA-BDD1-7C8E56FD7071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a561860bc874fd3fde1f3d8054871815a60e564","datavalue":{"value":{"entity-type":"item","numeric-id":1884908,"id":"Q1884908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$5DA685DC-FBF5-45A4-B1D2-9FA7B9DD618D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5830036cd1eebf70131e05b80d1e3948c1709aa3","datavalue":{"value":{"entity-type":"item","numeric-id":3617767,"id":"Q3617767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$F5B87534-D875-4DF7-8558-FD582E5B5B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62182dcb51c15de8e9697db383dc1581d8b46dcc","datavalue":{"value":{"entity-type":"item","numeric-id":3583851,"id":"Q3583851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$7BA113F3-93ED-492B-9F35-7BBDC38D0470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d07a686abf4cfd8c3b87266fe0b19a84bae550","datavalue":{"value":{"entity-type":"item","numeric-id":5901227,"id":"Q5901227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$579B0A2B-2C4B-476B-A1DB-EDC0CCF3F0CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17d0aa6de1a3c4e838a8fa4c7fc5c6cc0f20445","datavalue":{"value":{"entity-type":"item","numeric-id":5395670,"id":"Q5395670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$8309F05D-33A4-4DB0-90E4-782AE30C4B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b76bde985ec3ae57c40c539753fd53cd1f3a854","datavalue":{"value":{"entity-type":"item","numeric-id":5458343,"id":"Q5458343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$05F20F06-8EEE-4671-9E63-1BB0894E64FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a1cfc1d9554fd0578fb57504fa04de62a62197","datavalue":{"value":{"entity-type":"item","numeric-id":4174789,"id":"Q4174789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$E39D5BE1-21ED-418E-AB40-3E94CCBE04AB","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":"Q832153$C8F85E2D-2DE3-4144-A42B-A442863F5592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"315ca477012cc40bb4745637b4fc7cc906fb2ef7","datavalue":{"value":{"entity-type":"item","numeric-id":2999782,"id":"Q2999782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$37F6C2DF-8B76-41FC-9E66-E11C9F0E98BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ded7338003111b779d67dbf9487475aef44bb91","datavalue":{"value":{"entity-type":"item","numeric-id":4415251,"id":"Q4415251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$70866A6E-D25A-4E0A-BBB0-0F8AACCE69B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aa0defc28f2aa03c7cac34bf35e27c08ffec9a9","datavalue":{"value":{"entity-type":"item","numeric-id":2455350,"id":"Q2455350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$564248AF-E10D-4066-88FD-8168C97EEA60","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":"Q832153$6CF652C4-0CCA-47FC-8EA3-38BE67AFD4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44475288392e1261e5ccf2896bba0a8666d4d9f5","datavalue":{"value":{"entity-type":"item","numeric-id":4091443,"id":"Q4091443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$B477C012-E8E4-41B8-8C38-1A2C35899517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842925c3f00729504114c782c00814cfad550931","datavalue":{"value":{"entity-type":"item","numeric-id":5562596,"id":"Q5562596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$75F8F2A2-62F9-4038-8DCC-ED898D80D3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd32ee7f2e9be5b0e3c57ffaaa158a5e7f3d5bff","datavalue":{"value":{"entity-type":"item","numeric-id":3447699,"id":"Q3447699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$F5F3DD8A-FE3A-4C3D-92FD-2D671F400384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4e6ab40c04d565a19d7f0ce3ed8d303511a1aaa","datavalue":{"value":{"entity-type":"item","numeric-id":4068080,"id":"Q4068080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$7AAC847B-6EFA-4990-B2F8-FF78FF6924FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63d6099524e3f7bed0ce635b8cc10b44d3701853","datavalue":{"value":{"entity-type":"item","numeric-id":4649296,"id":"Q4649296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$37016D1C-10B4-4D72-BC36-1A0A226C522F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feebad8575c91f403302f1fcff58cdee3e55290","datavalue":{"value":{"entity-type":"item","numeric-id":1238409,"id":"Q1238409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$3B4F19A6-1E5D-40F7-A68F-67F040ADC15B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c67c1af8188e320ba0299a6df2df39f5b6e776e","datavalue":{"value":{"entity-type":"item","numeric-id":4068060,"id":"Q4068060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$8C19430E-4AB2-45DD-82D9-C9C6DD2A4DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fa1aea41b23b77e49c2e6c48c1b67f2ce6b255","datavalue":{"value":{"entity-type":"item","numeric-id":4095837,"id":"Q4095837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$D1CABEB4-2183-46CF-AB4D-64B3F9729AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8039c9646459a707d7c4b46382a2f73cec494060","datavalue":{"value":{"entity-type":"item","numeric-id":2272931,"id":"Q2272931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$E6E511B8-3DBF-4F7E-8440-702F4BF8061E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73155d0a0c1c1ece043da583829b01e9b89c28f","datavalue":{"value":{"entity-type":"item","numeric-id":3540068,"id":"Q3540068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$14FE4CFD-06F0-4830-B84C-7D7FCF6D830D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6c2428b0e22aa7ac055bcc4a0da8ac406677999","datavalue":{"value":{"entity-type":"item","numeric-id":1238415,"id":"Q1238415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$5A134B14-B8FB-4C49-B1B1-B20561908C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff2cf228e7f6980c3ee8de846819585d642e9839","datavalue":{"value":{"entity-type":"item","numeric-id":5536277,"id":"Q5536277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$69B3BBA9-DDD4-45E5-A64D-3205B879EE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"212a235074156493779c1c25991becd1505519b2","datavalue":{"value":{"entity-type":"item","numeric-id":4807826,"id":"Q4807826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$9663D930-F659-4928-A170-4C411E4BEA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc32c53b3b8069113dbbcb5f341961b64ca05d21","datavalue":{"value":{"entity-type":"item","numeric-id":5261513,"id":"Q5261513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$58CF04E7-838B-46FD-AC5E-53D9D85258EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ee0c598d6ddfbfae4ea8479557380be0e2aa296","datavalue":{"value":{"entity-type":"item","numeric-id":2568453,"id":"Q2568453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$AE3D3815-3AC9-404A-8EBB-A450B49FC339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51f2ca6ecb8880c6f3ec68b373b2d00ee09d7f40","datavalue":{"value":{"entity-type":"item","numeric-id":2828307,"id":"Q2828307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$99F1B01A-F6BB-45DE-AD95-A080225EA6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cce0b297ea45b764421587f2adf2d11f4a3e78c","datavalue":{"value":{"entity-type":"item","numeric-id":2908520,"id":"Q2908520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$BEBF5CF0-956E-4F2F-86B0-F23875424B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53ff0a420feecc8124e674d6ad3dd21b8ae9afad","datavalue":{"value":{"entity-type":"item","numeric-id":3912035,"id":"Q3912035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$AB66BD21-BCD2-44EA-AFCC-8866D9AC0E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7be8e298cb87bd430b3e305916df543385d249","datavalue":{"value":{"entity-type":"item","numeric-id":3912034,"id":"Q3912034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$2832A752-9617-4F6E-98FF-BA172644BF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4572b885cf82d742062a98801e990d89d30c0a5","datavalue":{"value":{"entity-type":"item","numeric-id":3000639,"id":"Q3000639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$1484E313-A45D-443E-BCCA-A3E4E3DCC904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b15bc3955825e2157904759b968329fab89739d","datavalue":{"value":{"entity-type":"item","numeric-id":5608021,"id":"Q5608021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$199873E2-C66A-4FAA-B892-C2FEBF56B470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171d1b29561e7b0ca318a3eeaa862159d43bbd1f","datavalue":{"value":{"entity-type":"item","numeric-id":832249,"id":"Q832249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$3536A1A7-7174-46A1-A3DF-6E990331A20B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e16905f02a7d6df19e40b20cfd0002d0077db29d","datavalue":{"value":{"entity-type":"item","numeric-id":351971,"id":"Q351971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ffd086e6d4dee18bc625b44dfbf9c1008773006","datavalue":{"value":{"amount":"+0.7663747668266296","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":"Q832153$FA98B573-3B30-4E29-A6D6-E00FC538D73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6db47f73a5a6ab3d1580639dbde97ecd8c3dfeb1","datavalue":{"value":{"entity-type":"item","numeric-id":6041166,"id":"Q6041166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eca68368146a0a474ea5444aaa7b093cbbbc7e7","datavalue":{"value":{"amount":"+0.7540073990821838","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":"Q832153$F680D1CE-AB99-4B26-8237-5F143CB7D264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b61d67c9b07fceb710d39d8e2809be2ee5ba7fee","datavalue":{"value":{"entity-type":"item","numeric-id":4411946,"id":"Q4411946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e1694789096f787f5420c259b7bf5687b088577","datavalue":{"value":{"amount":"+0.7535759806632996","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":"Q832153$F827FE76-C1C4-4991-ACA6-DCA2704BB76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0aba2b50f1f3f002c6aa2b981a42e7657d25472","datavalue":{"value":{"entity-type":"item","numeric-id":5045380,"id":"Q5045380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a980d57c401d61cdcf0655ac37dd4751c04a250","datavalue":{"value":{"amount":"+0.7535709738731384","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":"Q832153$31595207-7629-458C-9F47-4FB389E95910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58ccdef6692d79408effbd90dcf7c5f72e1bda95","datavalue":{"value":{"entity-type":"item","numeric-id":5312904,"id":"Q5312904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3be31efcf7b0e42ae6d4eb5fae20c3658f582d54","datavalue":{"value":{"amount":"+0.7449793219566345","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":"Q832153$DF85FF67-B6A6-4D53-BE05-90DA4257745C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832153$372526B7-6D02-4DD6-B360-5D238EFD7D37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic program analysis","badges":[]}}}}}