{"entities":{"Q5170176":{"pageid":7199748,"ns":120,"title":"Item:Q5170176","lastrevid":100398260,"modified":"2026-06-05T22:02:08Z","type":"item","id":"Q5170176","labels":{"en":{"language":"en","value":"Fully Bounded Polyhedral Analysis of Integers with Wrapping"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6319527"}},"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":"Q5170176$4CAA4CC5-F65D-4F0B-90B1-ECB226C5B2ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06c39a4698b453e45fa1c77ce51af7410a072924","datavalue":{"value":{"text":"Fully Bounded Polyhedral Analysis of Integers with Wrapping","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5170176$6E8F1EC1-1E15-4CB1-A472-C7A137F71B60","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e11c7ca93d65a25ced255f29e6a77671d0bb2105","datavalue":{"value":"1294.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170176$59938007-531A-4C91-8B1E-5BC517C0CCA6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"732fa79c26f52e7fa972cb938baae89593dfa20f","datavalue":{"value":{"entity-type":"item","numeric-id":5170175,"id":"Q5170175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170176$7EB0A767-E847-403C-BF0A-A8EEFE5E0FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f678e8c47ec36cd0eb7b6db8f157bdf8c28c9631","datavalue":{"value":{"entity-type":"item","numeric-id":608342,"id":"Q608342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170176$21432BB4-CAFE-4328-94A3-C8AF00D547E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"337483aeef407c9f83906940bb9377422b154eea","datavalue":{"value":{"entity-type":"item","numeric-id":4026773,"id":"Q4026773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170176$70965429-823F-4F25-BFB8-28CB31EF6CD1","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":"Q5170176$90DB9AE1-05AE-4D90-83F6-7B216822BAD4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccf050e1c17ecf8d76a38048fff5f6c3dcd9c662","datavalue":{"value":{"time":"+2014-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5170176$94D72706-D7EF-4233-996B-E88A2B70DEBB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170176$4F35FF4F-AFF7-4847-B705-1EB9895D4508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170176$AD40C3E3-DD02-423B-AAD0-D06874EBC110","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30a0c7fa7bd39cbad02b36f1c6a5f0f67e75ee8b","datavalue":{"value":"6319527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170176$36A7A4CE-58C5-47A7-BFCA-2F6396584942","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170176$783612E3-33F6-454B-9C65-4C4F48C5F986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2810b77c5cbbd8936f379f89ae761bcfc1b9e6b4","datavalue":{"value":"abstract domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170176$7BC532B5-6E08-4815-8B31-E4B84AA848FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7695163bb6afeeaf6c85e79e2ba2245917ceb9d6","datavalue":{"value":"numerical domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170176$877CBC03-7313-4304-91CD-717AF3149824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e43a786e5f1b39556c5e22e1d196e566932e4219","datavalue":{"value":"convex polyhedra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170176$C8123604-A5F9-487E-A6D7-C4E44051C56D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0338e16b2692ae366e8fa638206d6c15427db1b9","datavalue":{"value":"widening","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170176$881FFCEE-218C-4D96-AE5D-A9846B13475C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5540c7924e00c5e9e78b62e5cd1eda363f4a12e3","datavalue":{"value":"overflows","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170176$E7340EFC-F1D6-4DA0-A18E-9FA0F1E65936","rank":"normal"}],"P1463":[{"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":"Q5170176$4D30F2A9-A9DE-4D84-87F2-934E0DBBC203","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":"Q5170176$94503496-61F7-4E23-8AED-622EBCA569EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d01bdaa06b6076b16db8171052aff4a04559e17","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2012.10.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q5170176$1C54A152-6424-4080-BC4C-EB20DBD329FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6fdc87f2b497673dbb36cb6b92c98e4df175a40f","datavalue":{"value":"W1973022923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170176$1E5F0A98-1147-4A9E-BE8F-38CE09AFDDB8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6d0a7f2b52e67fb1386123eb0b5cf32ddf56510d","datavalue":{"value":"Q113318053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170176$39AF6412-4C70-403E-A186-ABCC697CC24B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1e4de7993cf9999eea981e4c7daad018120050a","datavalue":{"value":{"entity-type":"item","numeric-id":5892491,"id":"Q5892491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170176$D6A23A13-D0AA-4B44-8BD1-3BDBF618DA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1588643b46bb7595ed7eb54aa874b8401b35090e","datavalue":{"value":{"entity-type":"item","numeric-id":4729316,"id":"Q4729316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170176$ACDB129C-F5FB-40CA-BDCB-1D5C7FC470F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27fe5096ebd237e9c4393d87931bca2c88a0a7a0","datavalue":{"value":{"entity-type":"item","numeric-id":2736342,"id":"Q2736342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170176$29A2153B-C5E5-40CC-8D1F-FBB45E77D9E7","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":"Q5170176$1573C517-14C3-46BF-8C00-E7AF6E2F6A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e703a5cdd223215cbe08f76ea7ecb0dfcc8fe1e0","datavalue":{"value":{"entity-type":"item","numeric-id":3611998,"id":"Q3611998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170176$EFF41376-3FD5-4050-9BE2-D68A6D3A186D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"307c7f6402e9728362017b05d2267f7ebdd5c969","datavalue":{"value":"10.1016/J.ENTCS.2012.10.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170176$A9A068B8-5B1F-417B-B258-7ACA437C83C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49aa6fc1ae8567dfe73ed8821a66e1fbc5b974c2","datavalue":{"value":{"entity-type":"item","numeric-id":5704105,"id":"Q5704105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb936c7b39216180afec9587db39fdb7218f98e1","datavalue":{"value":{"amount":"+0.8731725","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":"Q5170176$A016AA12-8834-4565-B55D-23D963E70B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b991294ffdddaf8a3be200b0bc42f699882d3f1d","datavalue":{"value":{"entity-type":"item","numeric-id":5499737,"id":"Q5499737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32ec33e497c64795b7e909741aa6b23da3677832","datavalue":{"value":{"amount":"+0.8668007","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":"Q5170176$288F7E71-49D2-4480-A251-A56147CCC0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d00b2d25c1a5201341264b77e7fc3ffc6096466a","datavalue":{"value":{"entity-type":"item","numeric-id":3013421,"id":"Q3013421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ec0178cf7f3121574a71a2642c64027290535c0","datavalue":{"value":{"amount":"+0.8540289","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":"Q5170176$5DFD046C-2B94-4894-BEAA-4630F02BC46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5304cf3b589e3263bf6e2fe7dddb2eb059aed9e","datavalue":{"value":{"entity-type":"item","numeric-id":5062109,"id":"Q5062109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17f571e0262fd17178d2d4c31d6402486bfe644c","datavalue":{"value":{"amount":"+0.852835","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":"Q5170176$FBEA3034-8D22-4D84-AB5A-34713B50AF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d2b5e064c4b59ebd8f9ae62c19c794ae8cbe7da","datavalue":{"value":{"entity-type":"item","numeric-id":315478,"id":"Q315478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afc2ef3e842878f702e8c388a14cf8874ff1f027","datavalue":{"value":{"amount":"+0.8471614","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":"Q5170176$58175111-4777-49E7-9F26-53A01CBDF7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efdd9bda74e9615604d6300284d29d994d239159","datavalue":{"value":{"entity-type":"item","numeric-id":2109987,"id":"Q2109987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d456434797dfa65ee8f519d21373443e7e42898","datavalue":{"value":{"amount":"+0.8470657","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":"Q5170176$BA20B69C-D484-43F1-A732-84A061933004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cd8b452ceec5f18eaa832b61e75db3fe9e04f92","datavalue":{"value":{"entity-type":"item","numeric-id":2741357,"id":"Q2741357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9945ff01dc8ff82062976984dd559748abdfc5ab","datavalue":{"value":{"amount":"+0.8457018","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":"Q5170176$956D0AEE-DAB9-4AF1-A73F-EA049B60F3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e9a43f35cfa9c71bd9d4c16f9160e1ea0ecf0b2","datavalue":{"value":{"entity-type":"item","numeric-id":5470794,"id":"Q5470794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae33c44d25891858f317db189a2d3022d6eaa8d9","datavalue":{"value":{"amount":"+0.8451183","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":"Q5170176$B944D7FA-2B14-46DC-A93B-9705FB7D53D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e206e5b76b5db928f8dffd4e5d272220680fdd4","datavalue":{"value":{"entity-type":"item","numeric-id":1177041,"id":"Q1177041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"994523341297d6e43a2a55f0bbcd38f22c4338d5","datavalue":{"value":{"amount":"+0.8439488","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":"Q5170176$244FCCCB-5131-4A14-87D7-6C54B0940D89","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fully Bounded Polyhedral Analysis of Integers with Wrapping","badges":[]}}}}}