{"entities":{"Q2814107":{"pageid":2824845,"ns":120,"title":"Item:Q2814107","lastrevid":83667752,"modified":"2026-05-07T09:55:49Z","type":"item","id":"Q2814107","labels":{"en":{"language":"en","value":"Static analysis by abstract interpretation: a mathematical programming approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6594903"}},"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":"Q2814107$BF54CA1A-EE82-4CF8-9D56-EDFD04E02B3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1707996672f525f022d94238dfc748776aa294b","datavalue":{"value":"1342.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814107$E552B06C-6082-46B4-B584-E05083AA5C70","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0d92f428d699274a229faa3ab95d1f469858165","datavalue":{"value":{"entity-type":"item","numeric-id":246147,"id":"Q246147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814107$805CA4AF-2F85-4A44-AA1C-963F1B86E2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3fc8a6bce42d803eaa16dfe814a69df07873961e","datavalue":{"value":{"entity-type":"item","numeric-id":326848,"id":"Q326848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814107$321CC450-1CF4-4F49-8812-86AD4E1E2EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54cb30aff633678279d04574c934425534cba6f3","datavalue":{"value":{"entity-type":"item","numeric-id":2814106,"id":"Q2814106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814107$F3143CFF-A171-4E78-9C8B-39C225E57692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5136d46eb666ceed9accaea67bac45d312048c6e","datavalue":{"value":{"entity-type":"item","numeric-id":324864,"id":"Q324864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814107$41EC42BE-D948-4BDF-8348-FD7A8ED31A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ade07f3b66fe858ce3b6caad0dae7a530273705d","datavalue":{"value":{"entity-type":"item","numeric-id":342317,"id":"Q342317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814107$701A9041-6581-4CEF-8298-048BA7B8D853","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":"Q2814107$EF9528AE-C4EE-45D1-BE0B-D270F6AD3AC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c31e552012427c3e62f18a09181317c2bfb4828","datavalue":{"value":{"time":"+2016-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2814107$AA45F760-5DF0-4C6F-8AAB-8448B19344FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814107$690A45B6-F250-4F13-9BF6-786EF328D2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814107$A3289C74-F851-41CC-806C-BAB2D383EB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"955a6ac68db8c67c1772255c707ed5eb1d2bad2b","datavalue":{"value":"90C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814107$3A33F7A2-B7CD-4C76-9E48-23E18A93D01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"418d4d19aa7c87e33d52e580c9c108a1bc2de096","datavalue":{"value":"90C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814107$7DCD784F-CF0D-4BA7-9741-0482B8B697A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6fc571daeda1e3ab6b8dad3dcae10d7ef9d9d1e4","datavalue":{"value":"6594903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814107$77344A9B-6377-457F-9DD0-755AA320F550","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eec3bafe2c093c5277ab7dcff1792f73fdfbc83","datavalue":{"value":"guaranteed smallest code invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q2814107$C2199A07-710F-4ABF-ABD5-0B96AE4ED706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc84523e41a1c93f98d4ea541c8bba23fa54716d","datavalue":{"value":"constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2814107$C182CB6C-9B74-40A0-89E9-89E905D881DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"019d9de5f9345d39d515eabd31ebc23cab32c968","datavalue":{"value":"bilinear MINLP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2814107$E746B7A9-0FAF-468D-AE02-618524F86AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b787a7fb4983f9edd99c2283d82bd30f90e94b57","datavalue":{"value":"policy iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q2814107$C9D18241-5FDC-40D6-B243-51511AD55388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32b70193b15cfa9820eaa83513ddb2267d9b694a","datavalue":{"value":"branch-and-bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q2814107$56D68391-FF06-46EB-8C43-62B9C633DCF6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eba289f53f4b1fe7f6a3a80c3a968c16e51c5105","datavalue":{"value":{"entity-type":"item","numeric-id":16933,"id":"Q16933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814107$836CB7CF-EE6E-44C6-BAE0-639C0D53BDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d0306a541ac4d64d413698a8167f6dce4fa4ce8","datavalue":{"value":{"entity-type":"item","numeric-id":16269,"id":"Q16269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814107$ED745F04-55BE-4A02-9C25-D5901E3DAED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a57684002a31b09a6db5f76ca6a17580cd09ec27","datavalue":{"value":{"entity-type":"item","numeric-id":16964,"id":"Q16964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814107$D8EDC220-29B9-4646-912F-6C1041AF0DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8040b4af4bdbddd901625b642758de8b343e3a35","datavalue":{"value":{"entity-type":"item","numeric-id":19867,"id":"Q19867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814107$52C1A2A1-72C3-4745-8953-87B928EE5FB1","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":"Q2814107$7FACF3EF-A116-4CD4-ACE4-9B3E3407A045","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32c1101f1d5475cac73b7a1107a934633904965d","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2010.09.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q2814107$F06E7BC3-8956-4C45-9A61-729582AD9864","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ddc78ea42a798aebd05a7026c707cfa115aac5e7","datavalue":{"value":"W2102181048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814107$97EA750B-451B-4C4F-86C5-D8FD2C9E131D","rank":"normal"}],"P223":[{"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":"Q2814107$61B69EF0-5333-452F-A99B-108EF5D35420","rank":"normal"},{"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":"Q2814107$CFD6AB08-4118-4ADC-AC32-E2FD4A91A2DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fda48c617f429bf708c5450fd522c5826f80e1c","datavalue":{"value":{"entity-type":"item","numeric-id":3396388,"id":"Q3396388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814107$E09D65B3-1A8D-4331-AAA8-5A316AAB5ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dbf82c7b5e953f2ad7a157afa19d21b76dd14f2","datavalue":{"value":{"entity-type":"item","numeric-id":951092,"id":"Q951092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814107$2B341B0B-7B58-4310-B982-3A013319E7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b52d7eb9df13cb5f929eaba51b68154bfb8c4101","datavalue":{"value":{"entity-type":"item","numeric-id":1013979,"id":"Q1013979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814107$BAA577E5-264F-4E79-9213-F735E7A95CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee35b920b29b4f9dcb2d3243c04d909ecceb6c8","datavalue":{"value":{"entity-type":"item","numeric-id":5900703,"id":"Q5900703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814107$5A4EB777-93DB-4D9D-B594-551FA8E21B2E","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":"Q2814107$26D92D24-1AED-4533-BDC0-37F58AB83D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cca9f9428ea63e6117d5a41c3da120c355291ed","datavalue":{"value":{"entity-type":"item","numeric-id":5711486,"id":"Q5711486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814107$9BEF2D93-419D-46D4-81E9-832D26557E7D","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":"Q2814107$F4EB2388-510A-40FC-9BFE-91B113D57040","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":"Q2814107$F5861CC6-EC84-44FF-B8DC-D98DEFDC8CED","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":"Q2814107$064DFD56-F492-4E5E-B40B-B7FD33A7E779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc67d812a837461cca42f19788e4a2498172b0e","datavalue":{"value":{"entity-type":"item","numeric-id":3644736,"id":"Q3644736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814107$C29CD11E-389F-4D6A-A754-6C72F56B64C5","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":"Q2814107$2D122861-77CD-48BE-AE91-9F03E3A12F06","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":"Q2814107$7A215C18-7209-4F1F-8A16-F9B79B85E87C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0b86da6901907b4b60c4d755cbdefb3d87af7f5","datavalue":{"value":{"entity-type":"item","numeric-id":761967,"id":"Q761967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814107$132DDC67-6510-4A47-A610-2CD48B7FF94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"818f99ec1482ffb02dc1f60c7a3880fc18df0525","datavalue":{"value":{"entity-type":"item","numeric-id":3621976,"id":"Q3621976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814107$F394D2C3-D496-47EE-851E-CAB6BBF1E139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d60111b1ee5c808b22aec00bdb8ea034e26dc72","datavalue":{"value":{"entity-type":"item","numeric-id":1019223,"id":"Q1019223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814107$A913117A-5E75-4BED-A987-85F0C44A7093","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":"Q2814107$72C33C21-8969-48FA-853F-4E2009A27B52","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":"Q2814107$38021366-FEB9-409E-BF28-F7E999DD81D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf07eda5d33b0a27acc0fa6f8c9c571fbd26ee67","datavalue":{"value":{"entity-type":"item","numeric-id":4319329,"id":"Q4319329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814107$7FFBBE99-9FD4-48AA-B585-A1C137E91259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814107$E896A775-01EF-4745-9691-1E0CBC191674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47417671db8825bf9c537eb8a895ccf14534d5d0","datavalue":{"value":{"entity-type":"item","numeric-id":4649020,"id":"Q4649020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814107$A2151852-B94E-42E9-BFFE-FF88DC2DB002","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6eb438232615e61374fce538a30743336026c5d","datavalue":{"value":"10.1016/J.ENTCS.2010.09.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814107$8DBDC5AE-9227-4D87-8646-DFB47771CE02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f99ca25a611573d6fd856d744dff4114698661ed","datavalue":{"value":{"entity-type":"item","numeric-id":1664391,"id":"Q1664391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c17a66e7590d7d0fa57eba35a451621e238da48a","datavalue":{"value":{"amount":"+0.9198835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2814107$99DA7E5A-0A5B-4CAE-865B-E944E382F183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fac5fc8ff0618732ad270845236507f325982e50","datavalue":{"value":{"entity-type":"item","numeric-id":5395699,"id":"Q5395699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"754fe09d840c642d7bb5167c8518ee7f07272fd7","datavalue":{"value":{"amount":"+0.9185059","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2814107$1ADA1417-66B4-41B7-8A29-1049061E5871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f49f78ce79e3f09e8799733e1027e4aab21dc99","datavalue":{"value":{"entity-type":"item","numeric-id":3184788,"id":"Q3184788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3e44fdbd078ea4b9b62406db62a6d6d5fd12b75","datavalue":{"value":{"amount":"+0.9114621","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2814107$55D0555C-1373-4572-93BB-BD5109C9441B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1b6d56566321adca77f28726083b293374f4088","datavalue":{"value":{"entity-type":"item","numeric-id":3578394,"id":"Q3578394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d252296554f36d8a0cb98cdc79a1f71529134744","datavalue":{"value":{"amount":"+0.9075108","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2814107$DB3F1488-0E08-4952-9A8B-55E655FE42EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"314a5af544123db74b1b4d9aa387c3e39eda4fef","datavalue":{"value":{"entity-type":"item","numeric-id":3608771,"id":"Q3608771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bba58e8dc1ed05bbf12fbdb53b4fb44597c77236","datavalue":{"value":{"amount":"+0.90412486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2814107$B68A3CDC-8FEF-4829-ABC9-2BC60DC70B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfb38524103c51f2d87f5457c4fc5ea764a5cea5","datavalue":{"value":{"entity-type":"item","numeric-id":5715840,"id":"Q5715840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f172809a9b44c8ff57f31ea1e1385802b6bb2e58","datavalue":{"value":{"amount":"+0.8891265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2814107$FD6D7906-98BD-4B84-9497-844AC254A341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bca7c28be3a90115046a47053d159a9b86516cdb","datavalue":{"value":{"entity-type":"item","numeric-id":4644578,"id":"Q4644578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ad4719430408293f218cd7ae971c5b826e379cd","datavalue":{"value":{"amount":"+0.8883539","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2814107$4BF22109-898D-465C-8F8A-279DEAD95CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b181d7502e681492f607f5cfccb751f6c2e2e76","datavalue":{"value":{"entity-type":"item","numeric-id":3522082,"id":"Q3522082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e079ccfaac37d6c90c26fa9fc5e91d7bc1f9c807","datavalue":{"value":{"amount":"+0.88792515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2814107$6FE56B37-EC37-4C19-A76A-FAA6609CCD7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c87ec311a15d8827e2fadb0daf39bcac965bfa22","datavalue":{"value":{"entity-type":"item","numeric-id":3455540,"id":"Q3455540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"231430bb4dc5ff23d2ed84beb28103e1f66943d0","datavalue":{"value":{"amount":"+0.8860183","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2814107$9661E851-C9AB-431E-A7CC-775EEC839F88","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa2946912294fbda45dedbd5487b9e8888b355b7","datavalue":{"value":{"text":"Static analysis by abstract interpretation: a mathematical programming approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2814107$A68A0281-D8A0-4028-B497-3178D3B387EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Static analysis by abstract interpretation: a mathematical programming approach","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Static_analysis_by_abstract_interpretation:_a_mathematical_programming_approach"}}}}}