{"entities":{"Q2843005":{"pageid":2853725,"ns":120,"title":"Item:Q2843005","lastrevid":58024236,"modified":"2026-04-03T12:11:35Z","type":"item","id":"Q2843005","labels":{"en":{"language":"en","value":"Certification of bounds of non-linear functions: the templates method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6197174"}},"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":"Q2843005$38730267-5191-43C0-932C-716FAB8E54B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4f58a974a5a64f6569c9cb3dc8937bdea3dd22b","datavalue":{"value":{"text":"Certification of Bounds of Non-linear Functions: The Templates Method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2843005$5E19B507-2C26-4165-8241-78133B807F38","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3638434535f918d5b341142997b5cc4bb3aa705b","datavalue":{"value":"1390.68570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843005$B608B49A-2BC3-4D7B-8851-508596BDE848","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"149178267d063012462c6050c3378723f41d906b","datavalue":{"value":"10.1007/978-3-642-39320-4_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843005$8AD2B884-F63D-4B50-BF32-43FE93AED157","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65e933ea87aef097da70304e73218e0ff9af4a74","datavalue":{"value":{"entity-type":"item","numeric-id":517788,"id":"Q517788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843005$A9C80955-C6C3-44FA-B9B7-40C95EFE858A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e298a50abdd4dae72108aced252284ab65651b78","datavalue":{"value":{"entity-type":"item","numeric-id":255785,"id":"Q255785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843005$7F11CC77-5D6D-4115-89ED-89A4CE6E5075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b62b6c8397a0700877c5276503954cd22b360c76","datavalue":{"value":{"entity-type":"item","numeric-id":1733313,"id":"Q1733313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843005$C3954C21-12F2-4771-9A31-FD7C21E7A366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f69fec18e304e301a38c349c8b21d1a76ec69093","datavalue":{"value":{"entity-type":"item","numeric-id":1322846,"id":"Q1322846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843005$E869D83B-FD78-4561-B4F0-E29C16F07D8E","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":"Q2843005$1B73AFC2-5B1F-4BB6-86A2-2E9ADB36AB95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"381d46b885a4d4a1524f419ca9a0dc18cd8f863b","datavalue":{"value":{"time":"+2013-08-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2843005$E41809BB-BC90-41CF-9CAB-FB3256866DE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fee19eb53ea69bf7055171cbd5601f3dc835f8b7","datavalue":{"value":"https://arxiv.org/abs/1307.3231","type":"string"},"datatype":"url"},"type":"statement","id":"Q2843005$18C59715-E380-40CB-8C49-E4B0EE74F011","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843005$95FBC7FC-A2BE-4155-BD2B-EE5F939A3CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"495845c8213cf842ac820948f1353b4cef3062a2","datavalue":{"value":"11E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843005$2BB19598-9C08-4B1D-B787-0B95D04A6FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"94a258fd6e09d2d582bb6c52c7992ac55d0da749","datavalue":{"value":"14P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843005$5A59062C-B654-425F-B111-ADDF8AF1B628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"843de71235f44a800ae389e1734df6bb7650efec","datavalue":{"value":"65K10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843005$8A74DF34-C4C3-43F1-B419-B31E79FD3472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843005$529B3B7E-D800-4FEB-AE1E-77D0574C6FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"747ca2a29edc80ef77db4b4376cee27cb80d39e3","datavalue":{"value":"90C22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843005$888514C7-9988-4438-B504-044B2D6A556A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"52de7d4bf5a27d5ad252804eec58396bb3e40c44","datavalue":{"value":"90C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843005$043BAF66-23CE-49B8-8500-745B2CD59F63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1f4afae24ae1eb487b5db8fea94ece8c68ffa58","datavalue":{"value":"6197174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843005$367CD445-D65F-46AA-9CE6-93865A7B9080","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3631f0153fbd1c80c17d2ae2d9ab4753ecc0674c","datavalue":{"value":"polynomial optimization problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2843005$E08D89D7-D7FA-47A9-A378-52795280BF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"424429e181455cb0f396912878f6d4958164436c","datavalue":{"value":"hybrid symbolic-numeric certification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2843005$E42A260D-A079-4759-B14F-DF4A0705A090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c0145dbb175f229104a70deaeffc1099143a20d","datavalue":{"value":"semidefinite programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2843005$17256118-2C37-4279-A18E-CF2C42192FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"819f137f9ec626acba1c8947981be8a93c7821b2","datavalue":{"value":"transcendental functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2843005$A260CB9A-EF59-41F0-AF58-172D8FE0D598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e47a49f3cd576f1f669657d22c068dd41fe07b4","datavalue":{"value":"semialgebraic relaxations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2843005$5EC1875F-089D-42DB-B462-8AD61E83E19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35fb759f067af252e169b4138a179fd61f0bf92c","datavalue":{"value":"Flyspeck project","type":"string"},"datatype":"string"},"type":"statement","id":"Q2843005$F652E3DB-5A65-45D2-8FF4-0C5636E7DC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"890dcd5fc810a3da43f8f9f9de0679d40766c809","datavalue":{"value":"quadratic cuts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2843005$AC721588-5B94-4147-AA8A-74236D0B984D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c74343636266b12063c951e603e16db811f4bca","datavalue":{"value":"max-plus approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2843005$5FBCB48E-DEA9-4B07-9D21-6CED46B70FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0a3d39b70c1c342a1f4ec4339b979e0ce9529e6","datavalue":{"value":"templates method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2843005$771C0B51-3308-4E44-8FC7-2D1347EBFA33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a78675f0dcb3af511ac1d4dfa61901e828bcb8","datavalue":{"value":"proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q2843005$F8DB8824-56D5-4D6D-9940-392ABB315279","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf8fe40ec0751f683b8f31fdc6f7f38f8aa07409","datavalue":{"value":{"entity-type":"item","numeric-id":13328,"id":"Q13328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843005$D28BACEC-44E6-4E4A-A115-9BB03F52D8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa1b5117f82b2caaefcd7f93ecdd7e6ace6dd2d3","datavalue":{"value":{"entity-type":"item","numeric-id":20787,"id":"Q20787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843005$69423E15-9EEC-41D8-84B4-6D90CE0E2846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843005$0503D5EF-D774-4322-8F3B-A0EE2DA8C27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25cda708b442f01c795637ed697144406979b0cf","datavalue":{"value":{"entity-type":"item","numeric-id":16510,"id":"Q16510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843005$916D3D64-9CF7-4590-96D6-C06691D68C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"66eb045e037081b6f6e8499f9fef44d8fbb7e0b0","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843005$D789E4EB-9958-4E60-86AB-B873904B47D4","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":"Q2843005$8BA187CE-2060-4E04-BB30-4D208DDC8B39","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"972d40463721667a1eec597ef016959bbe7fe1d8","datavalue":{"value":"W3101257470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843005$6A1C1D8A-1CCA-41C0-A271-3D4495D76500","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b960e703bc230c6b47eae1ea55701393834829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5195260,"id":"Q5195260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a83357401a827f66c565dabb2c2207dcbd3a723e","datavalue":{"value":{"amount":"+0.879660427570343","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":"Q2843005$CE7D4A9F-A4B9-43D9-983B-6E5E60D6253A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba6d83c0db3538c328d3f606fd283e44e8a8ba36","datavalue":{"value":{"entity-type":"item","numeric-id":2349133,"id":"Q2349133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab577f5012b227b4c1974724bec6a1784d2f5083","datavalue":{"value":{"amount":"+0.8546192646026611","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":"Q2843005$4F518ED4-7B7E-4C14-ACE7-254A7C99EE88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea5ab2bb48d5628814ebc9bd41648047713624e4","datavalue":{"value":{"entity-type":"item","numeric-id":486027,"id":"Q486027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af9075da131f16552d58ce904bf0bc6553940fd6","datavalue":{"value":{"amount":"+0.8050233721733093","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":"Q2843005$00017FDF-04BC-43A6-B950-56BA1864CFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b0c07662a6b089ef44f8f6e6f85335389e35801","datavalue":{"value":{"entity-type":"item","numeric-id":2879141,"id":"Q2879141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d08ca7086004cae1128828d236d411dad85a2cf","datavalue":{"value":{"amount":"+0.777167558670044","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":"Q2843005$ED715196-5F6B-4813-9232-BB6296A48BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23fff9557502a6bf3585057c923ced75eae0a7a5","datavalue":{"value":{"entity-type":"item","numeric-id":3613424,"id":"Q3613424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3578befeab51b0bf4ef17c1eb61bc18e43ffb65","datavalue":{"value":{"amount":"+0.7611779570579529","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":"Q2843005$874C0943-413B-4ED1-AEAA-AFA3D942879E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2843005","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2843005"}}}}}