{"entities":{"Q2926643":{"pageid":2937363,"ns":120,"title":"Item:Q2926643","lastrevid":85047035,"modified":"2026-06-03T05:41:10Z","type":"item","id":"Q2926643","labels":{"en":{"language":"en","value":"Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6363632"}},"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":"Q2926643$FA9C0C90-D629-420D-BFBE-0A6537B6C00C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd7cc45ce6e19cc8dbbefb47b87a521ab99a7f65","datavalue":{"value":{"text":"Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2926643$6E986FB8-A2EE-44F6-8BD4-3FA0008CD533","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37e26f25b8c7a846eaf8bd18f853dd214e491c85","datavalue":{"value":"1426.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926643$75C1232F-DEF5-4574-B510-350E31CC531B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f13d0fc4b313ef684f422d6b630d9347da375e56","datavalue":{"value":"10.1007/978-3-642-35873-9_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926643$A37FF1E5-9E67-48A0-AA4C-AAB9A03C0EF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d46004533790b1afc02f6fa8f370f86df32fa03f","datavalue":{"value":{"entity-type":"item","numeric-id":435972,"id":"Q435972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2926643$D4A1A0B3-2E7E-44D3-93AE-E5DDB254FB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23cb5932563e31092b87a96584d50cea804635d2","datavalue":{"value":{"entity-type":"item","numeric-id":411435,"id":"Q411435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2926643$AC88C4C5-9205-4E2C-ACA1-CBB983421D33","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2926643$55D5A5D7-3574-44AE-88B7-3E50F077596B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3daa83eb5c9d67846bd0433e54bd3c467e1d5cf9","datavalue":{"value":{"time":"+2014-11-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":"Q2926643$F0DCC0E4-C24E-4E42-BEFF-E366C4DE094B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926643$C8DD6872-2EA5-4769-A350-87347398BD7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2762df744fec88c5da60f696833f02907bd4417a","datavalue":{"value":"52B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926643$A3F2674D-C6BA-4DF9-979C-820614A4BA4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34a7221624d8ce3c5773844b34804e912b156dfd","datavalue":{"value":"6363632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926643$BC9C257A-25B5-4F9E-B43E-5E3EA3704543","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0e57bdc762f9f3edfeef64e204b4ad9bd2d44d8a","datavalue":{"value":{"entity-type":"item","numeric-id":22891,"id":"Q22891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2926643$E768DA85-2808-43C6-99A1-A072201E2AE0","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":"Q2926643$5BE77B0D-468A-4546-8C4B-76BF55EE784C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12c5215127808a1770656192e294dc715eedc0ff","datavalue":{"value":"https://doi.org/10.1007/978-3-642-35873-9_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q2926643$9ABE835E-F1F5-45DF-B0E9-2B96ACACE6F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"644c7d111ff5b0b7966d541f2542f826bdb29353","datavalue":{"value":"W1547954410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2926643$7AF04C0F-A2F4-4958-A384-F598B90DE140","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb22af67300c84502b14219a2bb745feb3dc213c","datavalue":{"value":{"entity-type":"item","numeric-id":2791765,"id":"Q2791765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2406fd75650b508fdd2d514e9c9f4e2ad28c1644","datavalue":{"value":{"amount":"+0.8955827","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":"Q2926643$52BF1189-428C-4386-AD27-25FB8D95A93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1da744deda59735b26860ac5a4a12b49e77a75af","datavalue":{"value":{"entity-type":"item","numeric-id":1803476,"id":"Q1803476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9af79023a6697447ff608bac2efb5d6a1d919d39","datavalue":{"value":{"amount":"+0.87760407","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":"Q2926643$4C4CCF46-75EB-4BF2-B14D-5229F05FF33C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09bab2c77113144ffdc4f3de4e2cd6101f672594","datavalue":{"value":{"entity-type":"item","numeric-id":1842300,"id":"Q1842300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b94cea7802cebc1d4fdd78821cf3b124715a93d","datavalue":{"value":{"amount":"+0.86873114","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":"Q2926643$6713F877-F895-44DB-A353-3D82655CC727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61e36e32fc5585e8c0357f60a032fa61c1231f1d","datavalue":{"value":{"entity-type":"item","numeric-id":905054,"id":"Q905054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6a6b622e3ace152a8988ab2b1e38cf13b2a5f8f","datavalue":{"value":{"amount":"+0.86770636","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":"Q2926643$95D27128-F3E6-4251-BFE1-58E34A41ADC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57ff75f2a45da36ae734636b1e3be5c8997fad10","datavalue":{"value":{"entity-type":"item","numeric-id":1608253,"id":"Q1608253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"834dae66dbaa7bff5716729482ec77806ea03463","datavalue":{"value":{"amount":"+0.86460644","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":"Q2926643$AA9BBC62-AED6-480C-BFEA-BDEC0D6E70F5","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":"ed4cc7615e859e9f7ab4cc608e6333377a1cbcd5","datavalue":{"value":{"amount":"+0.8640277","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":"Q2926643$A7EA28D4-EBED-4F17-AA8A-DB9245B6B31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f192ac32163e7a74345db25cf01f1aadffa6b06","datavalue":{"value":{"entity-type":"item","numeric-id":4400636,"id":"Q4400636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f23ee3b461d57c070ae46d61a7ce15eeb539c3d","datavalue":{"value":{"amount":"+0.8636027","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":"Q2926643$87DB8638-C2C7-4E4F-A393-821CE9F2720C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a78a0203d90e013f5f2f53cb9f92be5570995266","datavalue":{"value":{"entity-type":"item","numeric-id":5198001,"id":"Q5198001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c8cf45f2574f19a4617f62e603df0c78bb010ec","datavalue":{"value":{"amount":"+0.86346257","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":"Q2926643$E2D13FE6-50CC-40DE-A19F-E166B9BD723B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a30a9e77e2546a1c4dfd9ca0e42c73b8b46fcead","datavalue":{"value":{"entity-type":"item","numeric-id":691570,"id":"Q691570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f816d2fb96633b056cfeabf58634618a30e9705e","datavalue":{"value":{"amount":"+0.86255133","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":"Q2926643$ACEA6CCD-DAEC-4CCB-92BF-FCDD49EF8F46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fixpoint_Computation_in_the_Polyhedra_Abstract_Domain_Using_Convex_and_Numerical_Analysis_Tools"}}}}}