{"entities":{"Q845242":{"pageid":847090,"ns":120,"title":"Item:Q845242","lastrevid":64775856,"modified":"2026-04-11T22:08:32Z","type":"item","id":"Q845242","labels":{"en":{"language":"en","value":"Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5666997"}},"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":"Q845242$3C7E9041-2BD6-48D5-B9A9-3B770FA9DA72","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a2dc3b7f75aefde5f663ea4bc31a7864d784984","datavalue":{"value":{"text":"Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q845242$686E5B89-830C-4B60-B17F-4C342C5DC6CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"683cb04454420d895ba896b957fc4abd04c28222","datavalue":{"value":"1185.68405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845242$6E16D011-3883-48FB-9F0F-9CB50A182B28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2911dc9679c29e98bcb235b8beb9e25acfab4e96","datavalue":{"value":{"entity-type":"item","numeric-id":714502,"id":"Q714502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845242$7D5E3D03-00DD-4E4B-906E-FDF6B3F1955E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4a2cc42c0b995a79683f9901abc04d820fd3ad4","datavalue":{"value":{"entity-type":"item","numeric-id":817223,"id":"Q817223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845242$FD64E2D4-69BC-4D6D-B0EE-B0E86791A5C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"768e10bb33d31727f16a418679f923fd95870c7b","datavalue":{"value":{"entity-type":"item","numeric-id":281282,"id":"Q281282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845242$557E797D-1AC7-4020-9478-F1169FD91D12","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":"Q845242$43E4E88D-3E1A-41A7-9C04-9BCAA64C0BC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"922e941384ccd68eb1997024165e5bf5ef775623","datavalue":{"value":{"time":"+2010-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q845242$045413E0-B339-4A3D-B288-D0CF8A174941","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845242$D562FF9A-4BCD-4E30-B2BD-8BD0CC6941BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845242$F6679E0D-498D-4215-9C86-CEF0130C1D3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1554903768cb41bcfe7526a741d7d5d987edfb85","datavalue":{"value":"5666997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845242$D0EB400B-7EFE-41D5-A6F4-2D61A8F620FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d537c1583f269a97b7170ad4d0909fe21453012","datavalue":{"value":"Keywords: Abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q845242$42347B2D-24E7-4825-93C7-7A487D599BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28cdba39f3815e4a2410ac0b354317d69cc11ab4","datavalue":{"value":"Numerical domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q845242$6D02F78F-6154-41DD-810C-9158A1A1E8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22f0bc22cdff6d40811b15771414b74d5bcb0109","datavalue":{"value":"Widening operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q845242$94EF1D95-21E6-484F-897F-1397F8D7FB4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c6f6db336af846a06dfb4800577eb7d8da5cb3","datavalue":{"value":"Closure by entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q845242$E92CF6D6-9044-46E6-9C0A-BCBDB843A2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f403b18cfc36e87fba40f92b8aee24a63770054d","datavalue":{"value":"Elimination of redundant constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q845242$4753CFA3-7651-4C01-AD97-D1F898B179E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f866fcb615878ce20d6c058d9b240a7c41f491d7","datavalue":{"value":"UTVPI constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q845242$8E7B8F8C-C715-420B-9BF1-7B85116D4686","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3cd8007490a248a080808f77e0123c492d98333d","datavalue":{"value":{"entity-type":"item","numeric-id":17497,"id":"Q17497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845242$B875E2D9-0E9E-4A7B-B609-0DAD65BC84E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845242$841DD937-2D08-4A40-A4C8-3C04757FE856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"61f1811d4a1c5c503a33d175dc2dfb5a0bc1c6d9","datavalue":{"value":{"entity-type":"item","numeric-id":37164,"id":"Q37164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845242$DBFB6092-C801-4361-A5B9-D1EF218E2A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fbed10bee046678d6f472e9e7c0efde19c97b8c3","datavalue":{"value":{"entity-type":"item","numeric-id":25616,"id":"Q25616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845242$FB707B48-875B-4F27-8497-2CC4C65728B7","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":"Q845242$5CA1ACF8-3E6F-48F8-A230-7E5D4007FD8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"589bbd7b0d20ed775aa16536f03a3c288fd5046b","datavalue":{"value":"https://doi.org/10.1007/s10703-009-0073-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q845242$2CFEE53F-791D-4F0E-A924-F11A00D4B570","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cae88fb72bc6bc7b33b8e7b7c0872e202a78a834","datavalue":{"value":"W1994293250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845242$E638904A-724A-4131-A388-020629E17F9D","rank":"normal"}],"P223":[{"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":"Q845242$3394CF3A-92CD-49DA-AF92-6687B0349EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f214d92b54721b2023bc5bf6f717dd369a161b10","datavalue":{"value":{"entity-type":"item","numeric-id":1380123,"id":"Q1380123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845242$95D68BC5-54E0-435F-8AFE-C96ADF355E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5c11a3656bdd9767b08f88d08fbce19aff9f396","datavalue":{"value":{"entity-type":"item","numeric-id":4529777,"id":"Q4529777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845242$12848544-F6C5-4208-87A0-C5D03C94D45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e928f46ec2cf29941d0b0532ba007525c5e3807f","datavalue":{"value":{"entity-type":"item","numeric-id":5466569,"id":"Q5466569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845242$8F6A97FA-58D7-4052-A362-6D56D866C37D","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":"Q845242$930B3F6A-E0B8-4E41-989E-B482D0AE437F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c803ee0636763a168dae46d52cc68f8ef3f5fd2","datavalue":{"value":{"entity-type":"item","numeric-id":4411954,"id":"Q4411954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845242$395DBDC4-C35B-4D34-9028-E74F243DAA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4affcd19f5a48d3f0b5024aacd9dd119083a96c2","datavalue":{"value":{"entity-type":"item","numeric-id":3676213,"id":"Q3676213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845242$EA71A9E2-7FB8-4479-90CE-3C7A99DF4475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd20eb24583a9716d40335e5e633c7acceb74dc7","datavalue":{"value":{"entity-type":"item","numeric-id":5312923,"id":"Q5312923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845242$AED0BE16-2C46-414A-8E8A-DC466FA9058E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69110d66f4fb9eaff7a66ca9098b4642d893a3ee","datavalue":{"value":{"entity-type":"item","numeric-id":5316581,"id":"Q5316581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845242$707AF723-8DC2-4C36-892A-74F05F7F3050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ece64e5402e1f4666a42559d521a17ab109c2e4b","datavalue":{"value":{"entity-type":"item","numeric-id":5897425,"id":"Q5897425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845242$2B6EF594-E07F-44A9-A94E-55506626EF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6025d1ee4db5f2c3f30d4cdb7ef0c14551c89c5","datavalue":{"value":{"entity-type":"item","numeric-id":5452703,"id":"Q5452703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845242$2AE5B7EE-CCD2-427A-9359-550F3502B4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845242$D91A8449-6C76-4A4C-BB5F-CC873E83DD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2ea812d12ce2adb0254bf62517c7cdc2d1bbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1260047,"id":"Q1260047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845242$8B49DC6E-4C3C-4191-903B-877130890A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a860092cae4ad4c5ee631c0a98f0a7ee7f9c9d0","datavalue":{"value":{"entity-type":"item","numeric-id":3241581,"id":"Q3241581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845242$DFE58130-3A89-4878-B18D-94F0690C05FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa3556ecbf0d73a14f4be4b022c9aaa15280e0d7","datavalue":{"value":{"entity-type":"item","numeric-id":1101265,"id":"Q1101265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845242$AD115D7E-C01A-4B1C-B281-8FF3EC123AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b0385beb476f74347b6caaa53186c3cdca7a2f3","datavalue":{"value":{"entity-type":"item","numeric-id":2568443,"id":"Q2568443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845242$A172B93F-8DA7-44F0-AD68-00BFF16D9B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b37db1f75b1fe2bd91d3915bec89ade0194420","datavalue":{"value":{"entity-type":"item","numeric-id":5659571,"id":"Q5659571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845242$3498F488-1E62-461E-B98F-906CBE5B1303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6826931c7fbd099e876410cceeef903bc184e57","datavalue":{"value":{"entity-type":"item","numeric-id":4414726,"id":"Q4414726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845242$CE1FC63D-5976-4404-B963-7B3E02ED0DA5","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":"Q845242$A446B4FD-0887-4CEA-96A4-4E5BC2027438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1ef9daf4def104d3961f105e074d94fa96c6aba","datavalue":{"value":{"entity-type":"item","numeric-id":4424848,"id":"Q4424848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845242$238770E0-6D27-4903-83AC-6F60EF0C630F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b727f36fcbaabb8015ffe634c3469ac7c0019f","datavalue":{"value":{"entity-type":"item","numeric-id":5491898,"id":"Q5491898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845242$EF8F4992-677F-44B4-9A56-22D4C32776A0","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":"Q845242$9599E4FC-AFFF-4668-BA16-2909751AD4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975126c2667d6964e52988e556bf8223ff836bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3883564,"id":"Q3883564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845242$46CB052D-C52A-464A-82D5-F620D3420B63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"718d5670876f10cbc4e96a65afbeb179a7ff0b70","datavalue":{"value":"10.1007/S10703-009-0073-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845242$6B5720D2-ED81-4308-8ADC-4263A67711EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38095857633fe0cde529009141d24c04ea58e4a6","datavalue":{"value":{"entity-type":"item","numeric-id":5404093,"id":"Q5404093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab05ac13a700887d82ff1fada65171d9d3d1e5f1","datavalue":{"value":{"amount":"+0.85615927","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":"Q845242$CAF91DAA-4962-4A1C-82B2-382610278365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bcc7ff11ca30376c73b5033629ca27de7acaa1b","datavalue":{"value":{"entity-type":"item","numeric-id":5897425,"id":"Q5897425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a7fd0c9978cedd1c92bf9efebf86e31f4c677f5","datavalue":{"value":{"amount":"+0.8513952","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":"Q845242$A0FF9225-543B-44A9-9D8A-D00FBA1E30FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c29335bb57c82d226becaacaa47518cf43449a79","datavalue":{"value":{"entity-type":"item","numeric-id":4411954,"id":"Q4411954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81aebe132e9d7b230c9d063828d2c343145e9b9a","datavalue":{"value":{"amount":"+0.8512574","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":"Q845242$DA2375E2-2925-402D-8240-A0E4F4573D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"940c3a33a3076683d6f422e45b5d13fafa1aa8df","datavalue":{"value":{"entity-type":"item","numeric-id":3613386,"id":"Q3613386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e57d42085becdbb196a2178f58dbc6250edafce6","datavalue":{"value":{"amount":"+0.82960755","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":"Q845242$73426028-74BC-40F3-974A-0A409742AA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a21ae6f77e069f91f72c7be536913eb33031f91","datavalue":{"value":{"entity-type":"item","numeric-id":4414398,"id":"Q4414398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc3aaa2e1d88d8a86340d4a86dc7c4ff5ff21997","datavalue":{"value":{"amount":"+0.8194885","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":"Q845242$44F3BAE8-577C-4F30-8BD3-2969F159F16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d29750871b4f41dfb03fae7ac523c44b206f3dc","datavalue":{"value":{"entity-type":"item","numeric-id":3460625,"id":"Q3460625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e34031bfcaf70857d2123fb4014b8c0fc25f7255","datavalue":{"value":{"amount":"+0.81764126","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":"Q845242$D8B4A0DD-02ED-468C-94B6-8BA2D6F4FE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e49168d6b824b91a6a4cb2115a1a3f983845ecd2","datavalue":{"value":{"entity-type":"item","numeric-id":4930733,"id":"Q4930733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fa0667e3e494dc6294a30495087faae1bf11f47","datavalue":{"value":{"amount":"+0.8172542","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":"Q845242$60872572-B0E9-4739-A964-E29696C0EA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2267b227110c7c83865e58b945338946a9028675","datavalue":{"value":{"entity-type":"item","numeric-id":5696928,"id":"Q5696928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acad3dbb3c6edd7b1db2ec384ac3a32f1feabedc","datavalue":{"value":{"amount":"+0.81590086","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":"Q845242$30049AE7-5CC8-4281-AB97-D8B522C29799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b6e20ed0ec9941f5e29796f4460798cece8ba8","datavalue":{"value":{"entity-type":"item","numeric-id":5308432,"id":"Q5308432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25fc6c8e2afd7d31089b7a26ef6cb65523ac0aeb","datavalue":{"value":{"amount":"+0.8139404","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":"Q845242$1D25E2D3-718F-426F-B0A1-3A4D776B3A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"679393e81954f2db756581f26625ef73c5fe3c03","datavalue":{"value":{"entity-type":"item","numeric-id":6164423,"id":"Q6164423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f45f3aa794fb4b554744583e56cc6171ebf7d3e","datavalue":{"value":{"amount":"+0.8136787","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":"Q845242$5B8E7CBC-E19C-43C5-B585-C3E2DD39A6C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Weakly-relational_shapes_for_numeric_abstractions:_Improved_algorithms_and_proofs_of_correctness"}}}}}