{"entities":{"Q5758120":{"pageid":7787671,"ns":120,"title":"Item:Q5758120","lastrevid":50154923,"modified":"2026-01-13T07:08:20Z","type":"item","id":"Q5758120","labels":{"en":{"language":"en","value":"Abstraction Refinement of Linear Programs with Arrays"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5185789"}},"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":"Q5758120$4C3F0E28-65D2-41BE-B8AB-96B087843FE0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8103164ce4133ecca934c128116c3ed97cdd1618","datavalue":{"value":{"text":"Abstraction Refinement of Linear Programs with Arrays","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5758120$04C01308-75CA-40AF-8B91-ED2585ECCA3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a92521974bf756bd3c905c8f5e00b4280eeb2a39","datavalue":{"value":"1186.68275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758120$ABA51AAD-E17B-41B3-B924-AE7F54D85BA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6bac434014cb6f9f802ec6c035e729df9e27bf4","datavalue":{"value":"10.1007/978-3-540-71209-1_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758120$31A43A5B-4257-484F-8AB7-8F7B4C93FACE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb8929b5e8fd595db2a268be7799695598b47ac8","datavalue":{"value":{"entity-type":"item","numeric-id":219435,"id":"Q219435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758120$0AD92122-728D-4450-89F3-D099ECA893FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5238b6be6e164cb767160cc21e7bc95ce8efc1fc","datavalue":{"value":{"entity-type":"item","numeric-id":264997,"id":"Q264997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758120$FEFC7C84-BD14-41CE-8F62-4D4E33E0F6A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95656fbf708314bef33541e2799d225f63e9d591","datavalue":{"value":{"entity-type":"item","numeric-id":3433713,"id":"Q3433713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758120$5A4D473B-8761-499A-99E5-CD8EB87D2AA3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758120$D66C1ECA-9282-4DF2-AD0C-2CBB18E33186","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4ccb5809271d2f0bf96f65b85084aa847fe92ef","datavalue":{"value":{"time":"+2007-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5758120$9FBDA624-2A8C-45CC-80DC-BA9CAF04EE14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758120$ACDF9794-29F3-4D2C-9842-B673B63A2316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758120$AF843565-9FE5-41AD-8F28-088E6EED4B95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a2530ce9424b33100cb111dd9f1bb1d6490a1ee","datavalue":{"value":"5185789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758120$E6875851-C782-4AB2-9A5A-45B877EDDDF6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7107a3607349765606fad319a8423745e29c6d1","datavalue":{"value":{"entity-type":"item","numeric-id":24728,"id":"Q24728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758120$A2F826AB-0945-4286-BBA7-047547E24565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758120$D1C2D57A-938C-4713-B9F3-A2188EFF4FCB","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":"Q5758120$D16AC15F-5A64-40A1-8E82-D36147EF07AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e7006fed7b1ecd198dc36a016e2253dcc4ab8e6a","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71209-1_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q5758120$49EA9CF4-95A0-4712-A150-DF04DB74F909","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"336977f954afdf606bda16211c30bac744a45391","datavalue":{"value":"W2096561672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758120$5EDD0523-FA3A-4651-8ADA-BABBF068D418","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43e86e4866d63f946a9dce0ff82cf98a3b2b8ce6","datavalue":{"value":{"entity-type":"item","numeric-id":5464711,"id":"Q5464711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11aaca910195ce314c9303bff0d1e15181ca5a62","datavalue":{"value":{"amount":"+0.7863749265670776","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":"Q5758120$DE18662B-0E40-4226-86CC-D92F6389FF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae1ce7c36cb4433e3b70369b96f6c76af9c0b0f0","datavalue":{"value":{"entity-type":"item","numeric-id":3392917,"id":"Q3392917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16ebc6e22152487278602efca5b1df94699c9300","datavalue":{"value":{"amount":"+0.7862295508384705","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":"Q5758120$68A106AA-2BEA-40AE-8B23-26866E6D0289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1755c681f2850b9c2be50d8a3f34fae490a03b10","datavalue":{"value":{"entity-type":"item","numeric-id":479820,"id":"Q479820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98ad531ec9dccb8141691b3a5aef5af0283c96e2","datavalue":{"value":{"amount":"+0.7685713171958923","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":"Q5758120$3553432C-08BF-4CD7-A56B-EACFA691E16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ba84101757f901fdc7a5743110873411af78d7c","datavalue":{"value":{"entity-type":"item","numeric-id":2891439,"id":"Q2891439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdde6a43423b02f0872b3f86290ee59632ca63c2","datavalue":{"value":{"amount":"+0.7542774081230164","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":"Q5758120$2604FE81-899B-4C86-8C14-59348C2921AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdd4cf7bbbfb99f3d4855a1a4e443e817c997ae8","datavalue":{"value":{"entity-type":"item","numeric-id":3452263,"id":"Q3452263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"085fc27f724e56e378b02d107cb18fefb92b9024","datavalue":{"value":{"amount":"+0.7520006895065308","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":"Q5758120$D9AB13F9-A2F6-4ECB-A907-0252E09D59CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5758120","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5758120"}}}}}