{"entities":{"Q2568443":{"pageid":2579186,"ns":120,"title":"Item:Q2568443","lastrevid":44368818,"modified":"2025-11-22T09:33:35Z","type":"item","id":"Q2568443","labels":{"en":{"language":"en","value":"Precise widening operators for convex polyhedra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2213172"}},"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":"Q2568443$77643669-CA8C-44EF-8096-6254C7811C18","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"427144d64045c9ef0186aabdcab95b3d61f384aa","datavalue":{"value":{"text":"Precise widening operators for convex polyhedra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2568443$359C643F-547B-45FE-908F-77A2C7B2DB01","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cad3c943d48f76e31fd9abe5ceba7dd832faba13","datavalue":{"value":"1088.68173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568443$418F8D68-81C5-474F-9F1E-F17F75FD8FF1","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":"Q2568443$757DCF0B-B68F-413B-8842-DC657C14D3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af393a7cd185a5ac3f0030fd223f6abbf8232722","datavalue":{"value":{"entity-type":"item","numeric-id":2568442,"id":"Q2568442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568443$C0DF62C7-CBC2-45D7-BD25-1934CE7B4998","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":"Q2568443$8D3F0E57-DF6C-4761-88E4-B7CA7DB60577","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":"Q2568443$C074108E-0360-4180-9E97-164B52718F56","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568443$8CAB9D1A-D42E-4BEC-9E06-62BC06EA7D62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32ad81c392fb16ee79fdc0f71bc6ecae74b0738e","datavalue":{"value":{"time":"+2005-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2568443$E979C9D4-77BE-4E79-9713-2F1D98F146A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"159426a5937e62cfbbcc198dd4848ab52d6e715e","datavalue":{"value":"68U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568443$6CFED707-300E-43F0-9B1C-686C441892F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fee631c8dc65352bdd39b75b9716ae1a17c5e82","datavalue":{"value":"2213172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568443$C197F812-F457-44B0-82AC-381BFD2DBB93","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568443$67FC9441-6A60-47F9-8886-549312D1B544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ce5d8c8443ca3a94474fc6e82139ad3f3057ce6","datavalue":{"value":"widening operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568443$562BD057-9B0C-4001-B402-48526AB0BDA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e43a786e5f1b39556c5e22e1d196e566932e4219","datavalue":{"value":"convex polyhedra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568443$3B599A86-EAFC-418B-894D-1F031899DBFF","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":"Q2568443$8F77D321-2249-4859-8A32-4FA731FB1E15","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b359746b7996687b6521dcf718c70481e4e244f5","datavalue":{"value":"https://doi.org/10.1016/j.scico.2005.02.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2568443$1BF38553-E7B7-4C1A-9559-5376E883053E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf19f3898534f085bc75d1f9db7507ab3508dbe4","datavalue":{"value":"W4212935551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568443$4FAC6D13-AB9B-42C4-A6D9-68199DAB46B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46841648e5586ec1ba7a604f55b6ec7da6556113","datavalue":{"value":"10.1016/J.SCICO.2005.02.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568443$B11F04D9-AE12-48FA-A1CD-19B989C45BE5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4275ead0a026f400bb5b52fda6e1b928e0124300","datavalue":{"value":{"entity-type":"item","numeric-id":4813407,"id":"Q4813407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","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":"Q2568443$C2E51023-4A0E-43FF-AC44-A00BBC1284DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86540540e3c434a48efba055a8dcd894f8488b5e","datavalue":{"value":{"entity-type":"item","numeric-id":3305397,"id":"Q3305397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"845626f9a2da4845f1acd56867afbe496b48a040","datavalue":{"value":{"amount":"+0.8665813","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":"Q2568443$7A9C8ED4-5E0C-47B5-8BDF-35FFD31FD459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"263739c865d52453c786ef0aa047bc5fe04a7736","datavalue":{"value":{"entity-type":"item","numeric-id":1093903,"id":"Q1093903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55dbd79334c5e40db3a133411ece62f5f52008c4","datavalue":{"value":{"amount":"+0.8649053","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":"Q2568443$880D652D-36E9-4D6C-B4AC-E071023F3B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d81678d709455ea4a33fbafa6c917b97fe658363","datavalue":{"value":{"entity-type":"item","numeric-id":4309960,"id":"Q4309960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f8de0ec05231b89e3f89453c6c275e2bf96fed6","datavalue":{"value":{"amount":"+0.859221","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":"Q2568443$5E0A76FF-5D2E-45CE-99BF-06F1418256DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"765b7c9de706247d1c9bf4f82f9a202733eefa0e","datavalue":{"value":{"entity-type":"item","numeric-id":5348054,"id":"Q5348054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"969696a63281a55d3cb7dc4eae687a2580508463","datavalue":{"value":{"amount":"+0.8589172","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":"Q2568443$DACCA401-9010-435A-9296-51210A6117F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d65a242b730f2eaf67e1bf2ccc2e0562d2c8359a","datavalue":{"value":{"entity-type":"item","numeric-id":735498,"id":"Q735498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c821364867806a2339f789537307cbccb34cc9fc","datavalue":{"value":{"amount":"+0.8549346","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":"Q2568443$EB59F113-11BB-4885-8BA5-978D8E68803A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9de41e9addb2341799e5df682533ce7b3a139f9","datavalue":{"value":{"entity-type":"item","numeric-id":5886570,"id":"Q5886570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"004b9de854aa0718a1079c5b481ae3535e9db843","datavalue":{"value":{"amount":"+0.85457635","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":"Q2568443$FDB35802-DC7F-445F-A0A7-D59A7D3AEBCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"422ce856aad2605a2a06fb68f3d29ec859b2f2a9","datavalue":{"value":{"entity-type":"item","numeric-id":1707430,"id":"Q1707430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3425506970a5c7f6df9981802a73d9d9e583ca02","datavalue":{"value":{"amount":"+0.8518812","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":"Q2568443$8ABB83AC-ACC4-4226-BA3B-9FEF281CE764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c2f9a67fc363ae46294d3e1392e3905f0b32308","datavalue":{"value":{"entity-type":"item","numeric-id":2519248,"id":"Q2519248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"841637cec15c49a2a0a71469cd28bdc34b72b865","datavalue":{"value":{"amount":"+0.85128933","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":"Q2568443$6F156607-8803-48C6-95EF-8F27D508D32B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2568443","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2568443"}}}}}