{"entities":{"Q3133585":{"pageid":3144301,"ns":120,"title":"Item:Q3133585","lastrevid":58124550,"modified":"2026-04-03T22:03:00Z","type":"item","id":"Q3133585","labels":{"en":{"language":"en","value":"Certified roundoff error bounds using semidefinite programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6834137"}},"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":"Q3133585$25A0FF7B-A7E0-4145-97B8-2186832D19DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db5f849cae6c8a745c41706963dfb910b9fc26d9","datavalue":{"value":{"text":"Certified Roundoff Error Bounds Using Semidefinite Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3133585$ED66E331-1E35-4F98-9433-FE8C09E289A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31ef4a8b172c5be9100b2ba0379309f427e7840e","datavalue":{"value":"1380.65084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133585$F810C1CE-690B-47FC-8B8A-C5C24AF6DDFA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"410f1ddfa42289dac5c10bd0719995424abbe79e","datavalue":{"value":"10.1145/3015465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133585$C53FDA72-E37A-47C2-A18F-E5C3D08CBD87","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cbfb8631d06c22a12a4e6e761fbdc5e214034300","datavalue":{"value":{"entity-type":"item","numeric-id":62119,"id":"Q62119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133585$25D75AA1-004F-4E90-A216-2E9B5BD83222","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"677c90223eaa06e0b6fdeb399f15f769da14c07e","datavalue":{"value":{"time":"+2018-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3133585$0316CE38-4EB1-4C81-BB1C-0B0492B1681A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f669585695fa4debd7580a9752244a77d0535971","datavalue":{"value":"https://arxiv.org/abs/1507.03331","type":"string"},"datatype":"url"},"type":"statement","id":"Q3133585$6A981EDB-B961-4DA4-804A-1968AA9C2E80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"224133dd68a4f3b66ddf7d50fd627018c06684e4","datavalue":{"value":"65G50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133585$2B8EC8B6-E236-4669-8549-1BBBE9F6F088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"747ca2a29edc80ef77db4b4376cee27cb80d39e3","datavalue":{"value":"90C22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133585$ECA51E49-DD6E-47C9-897B-7DCED626717A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f52d769ebf0869c169596deb815784d0a446fe4b","datavalue":{"value":"6834137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133585$92FBF66E-1FCD-40A2-8AD1-3B2BC64A36E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b87ef4e28b9383ca86d224ec1b10f8a348f69930","datavalue":{"value":"correlation sparsity pattern","type":"string"},"datatype":"string"},"type":"statement","id":"Q3133585$9CD22430-9260-4AC8-95CD-5D4DE063394C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00216556e27ad3bbc2d642874d0693b52d5f53d1","datavalue":{"value":"floating-point arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3133585$8AECF8A2-5FD2-474D-A5AA-1455214A29D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3133585$A0454172-C387-4FFC-8CC8-3C400E8C792D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9aa437bbd3dbe6249a1c18556e84bd41e9c855e0","datavalue":{"value":"polynomial optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3133585$1A6541F3-306D-47B4-BD52-AF7C6E1D2479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a78675f0dcb3af511ac1d4dfa61901e828bcb8","datavalue":{"value":"proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q3133585$01BB4F3F-2E59-4B6A-8AB8-9E18744B5698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f237787501c995be6e02dbb80f15bd0810db1543","datavalue":{"value":"roundoff error","type":"string"},"datatype":"string"},"type":"statement","id":"Q3133585$0D67129A-4F9C-4CC8-954C-3CCE461F5A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c0145dbb175f229104a70deaeffc1099143a20d","datavalue":{"value":"semidefinite programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3133585$6C26EC23-AF3B-48C5-AD6A-6325880C56F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"819f137f9ec626acba1c8947981be8a93c7821b2","datavalue":{"value":"transcendental functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3133585$677CDF44-A89E-47B3-87EB-DB202CE0151A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"38bea4297d9f2f2e9764919709eca5e372065699","datavalue":{"value":{"entity-type":"item","numeric-id":12818,"id":"Q12818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133585$37468AB9-E3F3-4046-A0D5-545B8881A1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"158da24afbe213591d0e6fd66f4753b6faff89b9","datavalue":{"value":{"entity-type":"item","numeric-id":15807,"id":"Q15807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133585$B75B70EF-6F9C-4B10-B3BA-CF9D86F06040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133585$B0E219EC-BA1D-4A1D-92A5-756AE4395656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aa786b5c8269f6cf517ad0f032932817c0bb268f","datavalue":{"value":{"entity-type":"item","numeric-id":18875,"id":"Q18875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133585$358C7238-B13B-4F8C-8083-8F80CC306CDD","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":"Q3133585$DB57FD22-2CB4-4125-9A02-4E5B14CC24D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133585$3BBCE163-BB51-49B5-93E9-AD252D34F4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"88a65cb44d3853edc4ba88a0b9dabf2ca4220eb7","datavalue":{"value":{"entity-type":"item","numeric-id":16789,"id":"Q16789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133585$8A1959DE-11A4-45FC-9A17-941FF22B3899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dc9d0806f0b5ec51d591843e253f795fa06ed0fa","datavalue":{"value":{"entity-type":"item","numeric-id":13315,"id":"Q13315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133585$22BC8664-9015-4273-97EF-3A1BB58D059F","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":"Q3133585$AA989092-75E6-4E9A-83B8-20F4DB0C5CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133585$093906B0-8BE1-4A12-AC81-01233C550674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d2f61eeddf1828d82b7393c95d22003b9c58afa3","datavalue":{"value":{"entity-type":"item","numeric-id":19210,"id":"Q19210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133585$DDCBBF1A-9AA0-44BF-BA95-7BA46F14E045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"943f9777cfd981a133fe577759fc6dbff74796f0","datavalue":{"value":{"entity-type":"item","numeric-id":20786,"id":"Q20786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133585$5E5E83DE-32C7-40A1-AE35-31C1F6228FB3","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":"Q3133585$E571954F-71ED-47E7-8297-2B26C91A28B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dcfdbdcaaa60b6539e1426cb707a7f75b76dbb37","datavalue":{"value":"W2227234579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133585$2B45F514-6758-4BED-A32B-37A80C597566","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6f18a04eb025c1450711e90e09a963dbe1ad1d94","datavalue":{"value":"Q113310145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133585$34C2491F-7BF4-4690-9F47-57EA55ABB6BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0ad525a50f0595825ad69b4d6f9f3b9d1fd0ff3","datavalue":{"value":{"entity-type":"item","numeric-id":4611311,"id":"Q4611311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"698d8ca8f9618ad560aa63b0105e2f93e899d00e","datavalue":{"value":{"amount":"+0.8446296453475952","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":"Q3133585$C8C43A5C-C43A-4A3F-87D2-9C3071D30A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed2254fdaf4c0a3982cf0ec98205faa3e8c27f03","datavalue":{"value":{"entity-type":"item","numeric-id":5206960,"id":"Q5206960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da815e52cc3a15c08dc4493ab4a015bce632d486","datavalue":{"value":{"amount":"+0.7959392666816711","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":"Q3133585$88016287-8301-4FFC-9028-77C7E5661DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7642fb594176e5e7c2956ff33e151fddad3b0de5","datavalue":{"value":{"entity-type":"item","numeric-id":3296349,"id":"Q3296349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69a802736f3fb635dc212f412b4d1cb299467fd9","datavalue":{"value":{"amount":"+0.7948276400566101","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":"Q3133585$998FC16A-D5E7-4EA5-BDF2-89C5F9B2A991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"048a5185168387880ea81394bea60da809ec15b6","datavalue":{"value":{"entity-type":"item","numeric-id":2013318,"id":"Q2013318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8429a56a83c73075e77ebf78e3ab5d72dc8a13d","datavalue":{"value":{"amount":"+0.7743934392929077","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":"Q3133585$16B097F4-1710-4ACB-914F-A1C677867F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"524434f5e834988446c80bc40932d847b9e0cdcd","datavalue":{"value":{"entity-type":"item","numeric-id":832297,"id":"Q832297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e11c6d305345e32b59f96843c05cbb6eccf7bdd","datavalue":{"value":{"amount":"+0.7573162317276001","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":"Q3133585$71B170C6-AC51-43E7-BFD2-E2773B231D78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3133585","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3133585"}}}}}