{"entities":{"Q2342596":{"pageid":2353339,"ns":120,"title":"Item:Q2342596","lastrevid":72558591,"modified":"2026-04-14T05:44:04Z","type":"item","id":"Q2342596","labels":{"en":{"language":"en","value":"The octagon abstract domain for continuous constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6431920"}},"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":"Q2342596$A781D09C-55DF-4D78-BE07-3A25C1A24CCF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"380a0996fa49747e2503a1fa8f5f402276c12c63","datavalue":{"value":{"text":"The octagon abstract domain for continuous constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2342596$139A467D-7D8E-49AF-81EA-8475B4443082","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c196caef4d462af7a31356086557cb86aea88749","datavalue":{"value":"1338.90393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2342596$C80EDC3A-7094-4072-9203-6D598952B175","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5718d59db16fc862f01e40f3021de9a6a5178cf","datavalue":{"value":{"entity-type":"item","numeric-id":2170203,"id":"Q2170203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342596$AB73AF07-355F-4F1D-A5C3-F76AB56FC527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8523e925a39155112e3c601c640914e991c3e7cc","datavalue":{"value":{"entity-type":"item","numeric-id":1007615,"id":"Q1007615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342596$F8ACA09B-3BD9-4B07-A727-0D0F8D4C1878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c388d04099ac48598b550e7f51288fa6901eddf","datavalue":{"value":{"entity-type":"item","numeric-id":227666,"id":"Q227666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342596$364EBD42-E061-48D0-864B-81B4951A7C9A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a94d1d6f5ae333511fea1192115f95b08e9c8fb1","datavalue":{"value":{"entity-type":"item","numeric-id":202524,"id":"Q202524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342596$DB93C664-D808-4B6B-8F1F-4C884C2F8AF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d95d2d0a50d4e72ba00896317b0d1f40c726855","datavalue":{"value":{"time":"+2015-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2342596$C7C2F2CD-34F7-4571-B7BF-2E84D382930F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"52de7d4bf5a27d5ad252804eec58396bb3e40c44","datavalue":{"value":"90C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2342596$7D4C3893-2DCE-4DFE-BC81-4DF116036593","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73b63cc7cc072c05d679ccb01c3e9914f69575b3","datavalue":{"value":"6431920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2342596$E2D4606B-69D9-44FA-8A4C-2A64C9DED5B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d11a27552d84a11844b8d5c46e7f990a447e701","datavalue":{"value":"continuous constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2342596$F37C4FBF-3622-4F82-AF8C-1B4A52883C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b51d7c4a9d25a30f0a1d8dba90e45524be4845d","datavalue":{"value":"octagonal domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2342596$BC15ED46-9ADF-46D2-9A16-C1A47D718831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2810b77c5cbbd8936f379f89ae761bcfc1b9e6b4","datavalue":{"value":"abstract domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2342596$71221DA9-979E-4D9A-A388-77C9FFA167FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f57fbf6fbec0e4bf72ad9fcd7472a6228750f529","datavalue":{"value":"generic solver","type":"string"},"datatype":"string"},"type":"statement","id":"Q2342596$1F5B0A21-E4C7-4905-9F48-12245997CE96","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3b8c5dc3ddd8ce189167779cd7093d6cb0bb6875","datavalue":{"value":{"entity-type":"item","numeric-id":24260,"id":"Q24260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342596$A8AA5C6E-A107-4563-9F5E-55E0E0BD9587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1412ceb6c71a23f10e8f7e008bf034264afa1496","datavalue":{"value":{"entity-type":"item","numeric-id":41444,"id":"Q41444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342596$0DE9E516-90C7-4291-BA80-014119728633","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":"Q2342596$C52BA0BB-8FAD-4E26-96E5-4B20F3FEFC6A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5082a3a73b780282a32282eb83d6fbfb114d7f0f","datavalue":{"value":"https://doi.org/10.1007/s10601-014-9162-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2342596$FB222A7D-EB05-4803-AC6B-C5239CB519CA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9eeeaeb39795283b592e4fbe2c91b7ae456cef58","datavalue":{"value":"W2001862609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2342596$3598BA1A-F83B-4C51-BBD5-90E1BA177DA0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3d5ac330b61c9474502155950ca0e46acbe352a","datavalue":{"value":{"entity-type":"item","numeric-id":1960525,"id":"Q1960525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342596$0BE89F4C-30D1-4BF8-A228-8E970A09E473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5bf6abd58197f6f3361f797895320155afb36d","datavalue":{"value":{"entity-type":"item","numeric-id":968347,"id":"Q968347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342596$E915C193-80F2-42A2-842B-744A9E40A0BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f8692dd2c9908045efe57a1c988c8d5807a0110","datavalue":{"value":{"entity-type":"item","numeric-id":2956713,"id":"Q2956713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342596$8D68AD28-74F5-4C1C-9043-D7F412CDC117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c097581642c0ced6b1f5dc4e109b27162e9298a","datavalue":{"value":{"entity-type":"item","numeric-id":840818,"id":"Q840818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342596$F354070A-038C-4E73-BE9F-E74C81E86544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99f29a5684e7a61f7fe324fd8585f3da58269989","datavalue":{"value":{"entity-type":"item","numeric-id":3392932,"id":"Q3392932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342596$7EE6053A-62F6-4A6C-BC8A-939A666DD4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a1cfc1d9554fd0578fb57504fa04de62a62197","datavalue":{"value":{"entity-type":"item","numeric-id":4174789,"id":"Q4174789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342596$99AEA6A4-89E7-46D8-87EC-274FBE73C0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cab6fe83f95c43ff07ff256779f395102f5f0b58","datavalue":{"value":{"entity-type":"item","numeric-id":3493325,"id":"Q3493325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342596$56168E39-1CE4-48D3-B3E1-71E6C79AE1BD","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":"Q2342596$18F93B09-73A5-42A1-88E6-4CB10E49DB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60b5c7ec3ddf521557648d954193a5084eecc49","datavalue":{"value":{"entity-type":"item","numeric-id":5479856,"id":"Q5479856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342596$CE163F2C-8042-4EF0-919F-283441133AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7516fc65ecac37755fe011fe1711991dc2a48599","datavalue":{"value":{"entity-type":"item","numeric-id":3184605,"id":"Q3184605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342596$08BFDDEF-AC97-4AD3-84C1-46EB616A4863","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ee4e414c39fa458ed8da8ad24c17088e58d580f","datavalue":{"value":"10.1007/S10601-014-9162-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2342596$03FCF264-1D27-48BE-8696-D77939619584","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"903b233650ef5f506da6f4c7fdcf00ad0c945f5f","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a01f8332fae249d63f4556f30ca3efedab150e6","datavalue":{"value":{"amount":"+0.730170726776123","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":"Q2342596$6B4E0BC6-2674-4D76-AB8C-66D1A00135E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca62a8e20d4ce0fae59c1b104824cff6ef55058a","datavalue":{"value":{"entity-type":"item","numeric-id":2335904,"id":"Q2335904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7737dd333bdfe473fd7266bb30a0792b24d161d","datavalue":{"value":{"amount":"+0.7180598974227905","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":"Q2342596$5D0A7753-6033-48C3-8931-2F681BA46431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba481dec1ff34c8af5c30ea8804a7b4fdf951ecb","datavalue":{"value":{"entity-type":"item","numeric-id":859963,"id":"Q859963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2faf142e5fdf73ebf1ad61aee449e877afdbecb","datavalue":{"value":{"amount":"+0.7171041369438171","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":"Q2342596$4E88E4D1-DEA5-452C-A50E-6BD973175BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01bd4e2a1f47813c0fcb5b64b6ff455cb621322a","datavalue":{"value":{"entity-type":"item","numeric-id":5466569,"id":"Q5466569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1d8fe6ec135ca1226af1943834b540aaaeadd73","datavalue":{"value":{"amount":"+0.7122489809989929","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":"Q2342596$8BED2479-CB29-4716-B2DC-4C333D6EA1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b21afb819a5f7e7c08e2616e56c2d34f5771d41d","datavalue":{"value":{"entity-type":"item","numeric-id":2358856,"id":"Q2358856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d81924beff0f478ca8f319c53e882af292fb045","datavalue":{"value":{"amount":"+0.7002974152565002","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":"Q2342596$D26DEE7E-E486-4EEE-A4CA-21DC8BEECBD0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The octagon abstract domain for continuous constraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_octagon_abstract_domain_for_continuous_constraints"}}}}}