{"entities":{"Q2819637":{"pageid":2830375,"ns":120,"title":"Item:Q2819637","lastrevid":83730320,"modified":"2026-05-07T10:32:14Z","type":"item","id":"Q2819637","labels":{"en":{"language":"en","value":"An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6631155"}},"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":"Q2819637$66D65EE2-6759-478E-BA17-30488618F66C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ffc987908b070fc5520e5155ae4f9296a2a4e4c","datavalue":{"value":{"text":"An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2819637$24F3B10D-18FA-4EA0-9611-28D123605CA6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1bb906501934d919f7cf07e5e69f1ff7098b8a82","datavalue":{"value":"1346.68289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819637$F99B0B93-8CA7-4C6E-9B77-B7A4D4A411AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01591206f3054fba007efadae265a758b6d3c4c3","datavalue":{"value":"10.1145/2331684.2331712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819637$47A0C60E-EF34-4264-A5AF-2AB60A314F53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c97aea211cb349f71795a51921aba049d697d326","datavalue":{"value":{"entity-type":"item","numeric-id":359901,"id":"Q359901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819637$86394F4F-DF84-4C6F-A86E-0C296EC6899A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75acfce3016e0c1a43620c3d710f83b33cf1c9de","datavalue":{"value":{"entity-type":"item","numeric-id":359902,"id":"Q359902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819637$7AF85B83-6D5F-448C-AEC7-59B8705BA605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93d8e6fb359f7bb867c0bb78686e2cc79d110e63","datavalue":{"value":{"entity-type":"item","numeric-id":359817,"id":"Q359817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819637$9662DE95-94D3-4FAB-A2AB-9D7EA7846ACA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3c0df577004c001272d54ac289a0300d17997b39","datavalue":{"value":{"entity-type":"item","numeric-id":2819610,"id":"Q2819610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819637$01954F07-7341-43DB-88EB-E4EEC485014D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a917957632d8007b9f089349668ca3b6b937a8ba","datavalue":{"value":{"time":"+2016-09-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":"Q2819637$5CB3DA3A-01F9-4BDF-8B57-1EA716C52C28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819637$F7422FFA-92BF-474C-8293-94BC64371387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0b4fa5b59eb6fe6e43618f9e005f4a49f4390971","datavalue":{"value":"65K05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819637$FE6FB283-AB0E-4B68-9531-1ED3F6BDE561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed10a41ec587cb61dc683f25ef4b3e827c7fee2f","datavalue":{"value":"90C26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819637$D6C90E75-55ED-4B38-9ADE-B88351E57844","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57341ad184a36439e0655e0e104e564171be0a90","datavalue":{"value":"6631155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819637$9E61A150-9412-40D8-8776-C886CC66F832","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab8f35132806bb37d7df391a1dbd14923eddf2e2","datavalue":{"value":"certified numerical computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819637$FCCAEB96-0598-4C72-8BB8-F693CF1039E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e5972be167823369a5d1b26bff57b03e8b3e7a0","datavalue":{"value":"cylindrical algebraic decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819637$76504643-F327-4454-B549-BBCA1C04004C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c2df4be61b42c15be02a284667cc79d17284cd8","datavalue":{"value":"global optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819637$E1746AFF-B3C6-47A6-A626-35126723D714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819637$CC011801-1459-43B8-BBBD-BFFC37F4EBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bcd8938d59fe19b5a598cee981297fa3f72fa29","datavalue":{"value":"symbolic-numeric computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819637$2777FC61-B375-473F-802F-5AB01248AD6B","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":"Q2819637$47F66B54-163F-4CD5-A6BC-9FA654C53881","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ab1c1e5b14aeab7924e15b3eb723096dbb22bcc","datavalue":{"value":"https://doi.org/10.1145/2331684.2331712","type":"string"},"datatype":"url"},"type":"statement","id":"Q2819637$BEE01665-9B2E-4F4D-87C4-246A47AFBE1D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"57b4687e106ca2afbb6ae33fb8e8574b7a575be6","datavalue":{"value":"W2069952414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819637$CBF32584-8915-492F-9662-F2B3375558FB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8be967d7f3015a56480672ab451d9227b108a869","datavalue":{"value":"Q130968569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819637$1F3793CA-ADCA-4DF6-8DB2-F32D85EF880B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e268faca866bef5a4f50376d4377e574530761d","datavalue":{"value":{"entity-type":"item","numeric-id":2959017,"id":"Q2959017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b83f1719c26d4cc3ec9da134239e0634d9540e59","datavalue":{"value":{"amount":"+0.8987393379211426","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":"Q2819637$7B1CAF66-D47C-4EB2-BD3D-07C4973E060E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b067fabc6b360a2e8187e4ba5f83091c4941d25","datavalue":{"value":{"entity-type":"item","numeric-id":384995,"id":"Q384995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e80a320b6aa0b07b1cf58c8d46874bfc8f05490e","datavalue":{"value":{"amount":"+0.8983232378959656","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":"Q2819637$8BC05912-0381-4BBE-B1CB-A809184CD92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e52e8bc51ea1f4615e2392167acb0348fe7eda2d","datavalue":{"value":{"entity-type":"item","numeric-id":1186711,"id":"Q1186711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec9e9d42fd33181f4a82577818ef886bcee66c6a","datavalue":{"value":{"amount":"+0.7926157116889954","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":"Q2819637$46526535-F435-4895-84BB-85DF455F91B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1754944585052517f4b79f940a35c1ca372c0c42","datavalue":{"value":{"entity-type":"item","numeric-id":5899515,"id":"Q5899515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a909df3f1d3f4d61cdf22c47bd91fd348c947728","datavalue":{"value":{"amount":"+0.7883769869804382","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":"Q2819637$9FF9EA96-C28A-493F-9822-7C0EE985AC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46be6fd79d8dc42a189bf918f06958e33bc6109a","datavalue":{"value":{"entity-type":"item","numeric-id":4810199,"id":"Q4810199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3e516f0557fb01c99954842d28ef6bd0b39efa6","datavalue":{"value":{"amount":"+0.7653751969337463","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":"Q2819637$7B496E09-4794-4092-8D3A-BAE92CB113C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_effective_implementation_of_a_symbolic-numeric_cylindrical_algebraic_decomposition_for_optimization_problems"}}}}}