{"entities":{"Q4994702":{"pageid":7024279,"ns":120,"title":"Item:Q4994702","lastrevid":98256812,"modified":"2026-06-05T17:03:46Z","type":"item","id":"Q4994702","labels":{"en":{"language":"en","value":"Automatic repair of overflowing expressions with abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7361364"}},"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":"Q4994702$943CE89E-D357-42DA-9591-C522170AC587","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"383c1cd066df4a63628f43aca79a1025a19e3359","datavalue":{"value":"1464.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994702$099A29F5-8898-4129-A1D1-84B66A4D07C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e49a0ecb14865a5b433d1cf738812e937a4ed0ef","datavalue":{"value":{"entity-type":"item","numeric-id":988563,"id":"Q988563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994702$A91E032F-4D3F-4888-B4F7-2F2C46819493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79cdc6798004069a0c05cd646360528ca8f098aa","datavalue":{"value":{"entity-type":"item","numeric-id":845240,"id":"Q845240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994702$0994689C-5D18-417E-872A-7336B4E89985","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2f3a985dcf2407d30ab45f57448460afb353a2a","datavalue":{"value":{"time":"+2021-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4994702$4D82E3B5-70D9-412C-84A4-7CDD6ABE8F3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6784dac810f57f44e5019df63cd68179dfa3a23d","datavalue":{"value":"https://arxiv.org/abs/1309.5148","type":"string"},"datatype":"url"},"type":"statement","id":"Q4994702$86ADC4B8-9A92-4D2D-B442-453ECD5BCF1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"efa5ac70cf81b7b965c82b3b1545e289204f05eb","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?DSS2013.21","type":"string"},"datatype":"url"},"type":"statement","id":"Q4994702$6C820730-9A4C-4F51-9A42-73EA484DD114","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994702$62F89025-5152-4C30-A162-3ED5C82E9A3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cd9b8d702cef06ae4c25335c14cdbe5a09ba737","datavalue":{"value":"7361364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994702$38FBE402-FB18-4ED7-80EB-45DFD84F5822","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":"Q4994702$1977EA62-CA77-4A9F-BB3F-73C0303CBD85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb0740747eaab9f27854f5f1bf899a7f4321bbfc","datavalue":{"value":{"entity-type":"item","numeric-id":5170165,"id":"Q5170165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dd6f96f5f87320b812794505f3b28234f965e39","datavalue":{"value":{"amount":"+0.8023623824119568","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":"Q4994702$8F9276A3-D8CE-445A-88FC-396F78E0E131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1841e355f06e80f1086dd406a05995cce9c72fba","datavalue":{"value":{"entity-type":"item","numeric-id":3611998,"id":"Q3611998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0297b10887d0d37bc98c6fdd8264bce20552cdc7","datavalue":{"value":{"amount":"+0.7158528566360474","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":"Q4994702$F2F319DD-07AE-4A8F-9E63-7E77C9A5CF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3be4b9f73a08fbce308787a225688fec2096daa","datavalue":{"value":{"entity-type":"item","numeric-id":4930724,"id":"Q4930724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d503846b59fa345642776b57d02ff978e8139e8","datavalue":{"value":{"amount":"+0.7107020616531372","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":"Q4994702$A9232000-E1E8-483C-9C62-F10123458A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43d4104c9c26e48820fc55ea087856379e76faad","datavalue":{"value":{"entity-type":"item","numeric-id":2908521,"id":"Q2908521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20eacea9181d37dc6ccdcfcf1705bc0be3d643a1","datavalue":{"value":{"amount":"+0.7082161903381348","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":"Q4994702$D54E4358-5341-4E1C-B5CA-F866481C128E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23d177f0820fe98d1caebee378ac8913e7651c8a","datavalue":{"value":{"entity-type":"item","numeric-id":3575308,"id":"Q3575308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"569f0d9abb7565bb5e58709cd64a0a49eaea1df0","datavalue":{"value":{"amount":"+0.7070484161376953","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":"Q4994702$344F31E4-A5E5-4E8E-AA01-26637E38FB07","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic repair of overflowing expressions with abstract interpretation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_repair_of_overflowing_expressions_with_abstract_interpretation"}}}}}