{"entities":{"Q5326329":{"pageid":7355903,"ns":120,"title":"Item:Q5326329","lastrevid":92138198,"modified":"2026-06-05T00:57:48Z","type":"item","id":"Q5326329","labels":{"en":{"language":"en","value":"Underapproximation of procedure summaries for integer programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6194839"}},"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":"Q5326329$25E0D1F1-B715-483C-9874-658B83E46C06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8564d5a85808945d558863505556ee7780b317a3","datavalue":{"value":{"text":"Underapproximation of Procedure Summaries for Integer Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326329$6E422C58-6009-44AB-9F1C-917EA44AC6CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45f707687ef77f3a7e29e1c30fa16031eb3561d0","datavalue":{"value":"1381.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326329$406809BA-D559-4EFC-B6AF-73D731763D76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d14acd8d52bd126ec53b6053f94cf5a3cbf524b9","datavalue":{"value":"10.1007/978-3-642-36742-7_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326329$6C3B4ADA-0FCE-4DCE-8BAC-3B846ECB8B11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32615fc5fb5dd13879921120a1ebbaef0bfe0d44","datavalue":{"value":{"entity-type":"item","numeric-id":453530,"id":"Q453530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326329$E2E166FC-2D90-4F72-8CA8-CBCD421E4E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ffdbfd7b9177bc6559af43c12c896a5d2e47038","datavalue":{"value":{"entity-type":"item","numeric-id":537951,"id":"Q537951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326329$6B472BF0-A8ED-4454-B93E-CBEB58ADD693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82a167e3ee8e3e7cac868097510d956467c837b8","datavalue":{"value":{"entity-type":"item","numeric-id":2272930,"id":"Q2272930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326329$CBA35844-2A61-4681-A2D2-06C7F3D382E0","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":"Q5326329$D0F0B9C8-F5C0-4F2A-930A-14C82A0EAAC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-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":"Q5326329$DFF4E0CB-A339-40C0-806A-5AE553FE8C02","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d2b62bcffd50c8c0f5b1efcb711b0c7c70044c1","datavalue":{"value":"https://arxiv.org/abs/1210.4289","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326329$D85C954F-9781-4E47-A20A-A1D3D14ACE61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326329$8ACFB217-155F-4180-A290-284D48B01E88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ffb056d9a9fe01d79e3d786c308068ed3f99ba5","datavalue":{"value":"6194839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326329$E46C7A79-7C7F-4514-839A-44999F9FBE93","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":"Q5326329$6978A805-30FE-4A67-98BA-397712FFEEFF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a28218b2e6f9d284194e743d0312d7d5e33e673a","datavalue":{"value":"W2338346238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326329$191CA5A7-2E46-4B6A-A3E1-BD400CE54520","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"288cf32e858436fc410024ed1cfdfde484c8d53d","datavalue":{"value":{"entity-type":"item","numeric-id":5756498,"id":"Q5756498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fc7c3a0d5490eb8893180b1196e96893b90c9f6","datavalue":{"value":{"amount":"+0.7700140476226807","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":"Q5326329$E6CE386A-C1C9-4F6A-A132-BA080A041DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"197b94e8c8a4abb81c66412ebb65fad8a1ef627e","datavalue":{"value":{"entity-type":"item","numeric-id":5316586,"id":"Q5316586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67c20e7c7254059cdd9b10d4c11d01180c4bfe82","datavalue":{"value":{"amount":"+0.7610818147659302","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":"Q5326329$86D0D8F7-7C23-432D-8A07-37710192035E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9c4583af894a3395bb91596e2a71bf5e412be6a","datavalue":{"value":{"entity-type":"item","numeric-id":845247,"id":"Q845247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06de71860b9614f27aa2356c2a85d6d968222e0a","datavalue":{"value":{"amount":"+0.7194703221321106","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":"Q5326329$B5CA7CDE-8222-4576-8BD0-FE3096657561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"140c9c630a2659acf851649c660fb401ef94acaa","datavalue":{"value":{"entity-type":"item","numeric-id":3452264,"id":"Q3452264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06b8ba68b13d14fd4292e3e6c6bc0e67a56863ee","datavalue":{"value":{"amount":"+0.7172290086746216","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":"Q5326329$4AAE56F5-7015-46EA-B546-C858CF476A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c77d221ff7e43e424843138df3edab9eac0ab315","datavalue":{"value":{"entity-type":"item","numeric-id":3189841,"id":"Q3189841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6fa37eb48ccc68340c959bbea9c485112034d54","datavalue":{"value":{"amount":"+0.7115629315376282","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":"Q5326329$E2C790CE-6259-46A5-91C6-31AE27FDDE74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Underapproximation of procedure summaries for integer programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Underapproximation_of_procedure_summaries_for_integer_programs"}}}}}