{"entities":{"Q2879141":{"pageid":2889861,"ns":120,"title":"Item:Q2879141","lastrevid":58056837,"modified":"2026-04-03T15:27:39Z","type":"item","id":"Q2879141","labels":{"en":{"language":"en","value":"NLCertify: a tool for formal nonlinear optimization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6341330"}},"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":"Q2879141$C14D2351-34E4-45F3-8BED-57FC1D4C3617","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3241761f172c1ab3637814b60d086997ca1cb4f","datavalue":{"value":{"text":"NLCertify: A Tool for Formal Nonlinear Optimization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2879141$6B8F55C8-86E3-4C4C-A3B0-3DBC66141BA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dff5c30970f3440d3448096724f0ff69da5d4819","datavalue":{"value":"1434.68640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879141$F525D360-7AC2-4460-BBC4-E82B1BFE393D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89dbeeed3a31579950bdd2787ac74d0b042acf80","datavalue":{"value":"10.1007/978-3-662-44199-2_49","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879141$5CCB27F7-98E9-41A8-AAB5-EB1BD2744427","rank":"normal"}],"P16":[{"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":"Q2879141$0F9FD394-A758-4FEC-A0FA-EAEC2904DDB9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b4ac82364f0ef37674b402ad685753171835f31d","datavalue":{"value":{"entity-type":"item","numeric-id":2879087,"id":"Q2879087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879141$9D7E5524-FE85-4009-A937-C65F03F07E3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"565bc5987614f46e32dc98add32d630fe2eeb533","datavalue":{"value":{"time":"+2014-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2879141$8DB1D052-0C4E-4339-8B9B-B9A25B28D1E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7407571789d84e6295041facac493575c2d9ec7f","datavalue":{"value":"https://arxiv.org/abs/1405.5668","type":"string"},"datatype":"url"},"type":"statement","id":"Q2879141$8696F0F0-65A6-4E68-8AF4-2CC58EA30732","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879141$AA29BCCD-9E72-451E-BCDC-A2408AA0BC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4844ecc2838b02f08a426d6ddfea94d07252b432","datavalue":{"value":"65Y15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879141$CB532D72-E714-4214-B604-1F0B4A1F460D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1f929cf999ef42d4a67de7dc9f9eb2d1d7d5eb5","datavalue":{"value":"90-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879141$9A8ED5DD-C338-4A85-8426-3EBAE0C65AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c185497b2aed2a94dca4f9d2fd9159b029b2db54","datavalue":{"value":"90C24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879141$D4B1A59B-029C-4829-979A-E3CF8F2ADD0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"52de7d4bf5a27d5ad252804eec58396bb3e40c44","datavalue":{"value":"90C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879141$E3D69100-46E7-491F-8C4F-0A1395F47E81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"146f59b55123fc55af6b326144c45f38406840ca","datavalue":{"value":"6341330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879141$D461DB31-081F-4ABE-83D6-5C521B740665","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c129c9b5ba44d421b81b2d02a84b317ebf7f1f0a","datavalue":{"value":"formal nonlinear optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879141$721BA3DC-66D4-4E0B-99DD-4B6940EF3B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"424429e181455cb0f396912878f6d4958164436c","datavalue":{"value":"hybrid symbolic-numeric certification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879141$CE1E097D-23DC-4A8F-90F2-2E9191AE1B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a78675f0dcb3af511ac1d4dfa61901e828bcb8","datavalue":{"value":"proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879141$A3C26CD4-1E7F-4159-9416-D27D510A8803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83fb90eed463e991f37f2e99dcd479a8a753ac33","datavalue":{"value":"sparse SOS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879141$52E6AA82-D9E4-4F89-92AC-3A1D38F2D260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c74343636266b12063c951e603e16db811f4bca","datavalue":{"value":"max-plus approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879141$3C546CB0-E465-485B-91D2-E95F1E30035E","rank":"normal"}],"P1463":[{"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":"Q2879141$20A72ACB-4E78-477A-8251-528D8B025D14","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":"Q2879141$387B1F3F-85D7-4D57-B9D9-B865FA315DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"81c2c878a65e488e0db85653fd67f92faa6cdefe","datavalue":{"value":{"entity-type":"item","numeric-id":16522,"id":"Q16522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879141$B25A6254-F60E-4E2D-938A-05381211CFDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"83793d2d04b664d34057899871316417b4be46c8","datavalue":{"value":{"entity-type":"item","numeric-id":16766,"id":"Q16766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879141$023F5CD3-A4AD-4203-B8D0-9F42BF53850E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879141$9DA790F6-5986-4C38-9C19-50A63BDAB09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f9bbf188ef156cafdd1f437f30f2be51b2de2fec","datavalue":{"value":{"entity-type":"item","numeric-id":21828,"id":"Q21828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879141$3A06D134-64CF-42E1-A854-9D07F554D56F","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":"Q2879141$5666D0E8-9F64-4C7C-9277-58DEEA3E4E18","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c1810310cf0a47677cc9280cccfcb6150f914a4","datavalue":{"value":"W1787747790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879141$8939E205-1B9C-4314-AE49-99AD50235BF5","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":"5b55b6ba8a6a66be247125b9574198b0d0a90612","datavalue":{"value":{"amount":"+0.8139306902885437","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":"Q2879141$E168BADB-6808-44B0-B217-3D3E24321D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6477e78a4b5c9d616b60590d423028b9d9cee56","datavalue":{"value":{"entity-type":"item","numeric-id":2843005,"id":"Q2843005"},"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":"Q2879141$2A7EFBA6-7137-427B-B57A-90CBAABB0216","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":"53185dc22384eaf12bfe011eb93339ef79588eca","datavalue":{"value":{"amount":"+0.7569740414619446","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":"Q2879141$DA4F27E1-9F1B-48F5-BC9C-0E9470E65995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"182742501a7f465ed209df6b14f7bbd637382f2a","datavalue":{"value":{"entity-type":"item","numeric-id":4630308,"id":"Q4630308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"652e41ea6ae0aa1eb16f73d4c561a05fd888bc00","datavalue":{"value":{"amount":"+0.7469319701194763","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":"Q2879141$C26928FE-0B99-49E4-84B0-F580657B9B9D","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":"eac970a7839c116b5f9a971dc8a8dbfcf64937f5","datavalue":{"value":{"amount":"+0.744461715221405","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":"Q2879141$503AE2BC-34CA-4EE5-9D85-B224B7BD7656","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2879141","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2879141"}}}}}