{"entities":{"Q331615":{"pageid":333382,"ns":120,"title":"Item:Q331615","lastrevid":61109754,"modified":"2026-04-10T21:14:35Z","type":"item","id":"Q331615","labels":{"en":{"language":"en","value":"Proving tight bounds on univariate expressions with elementary functions in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6644464"}},"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":"Q331615$B9158E22-3224-4A0A-82E2-5703850BAC24","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41524741ddda88afaeaff41a94f7bda0139e347f","datavalue":{"value":{"text":"Proving tight bounds on univariate expressions with elementary functions in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q331615$E3308D4F-38E5-4AA3-AF29-2560248E96A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"568f7b019ffc0d3e214ca0af695e5ffcc309b042","datavalue":{"value":"1386.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331615$46972831-B6C1-4387-93C4-0D6C8576A430","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"232dbbf2f85a77956592acb3d7bdc0a70d26a60f","datavalue":{"value":{"entity-type":"item","numeric-id":331613,"id":"Q331613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331615$78B96E8D-85C6-41F3-BF08-24950DFD958D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cbf89c19e1c3435f0c553619d3746d84ce08e7f","datavalue":{"value":{"entity-type":"item","numeric-id":331614,"id":"Q331614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331615$61959702-CDF8-4BFF-A531-206ACE196225","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331615$80559D81-1820-4587-80B8-31B7D4E7441D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3adf6ceedb6d880e3aaf819e51e828456bb3558d","datavalue":{"value":{"time":"+2016-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q331615$BA0A8D79-42D8-4AB8-9F74-A0EE969C4882","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e74ded7e6c4e8c58f311a6155cf8aba73b121108","datavalue":{"value":"https://hal.inria.fr/hal-01086460/file/article.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q331615$ED5B8168-53B7-4EF4-ADB8-7D32E134CA53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331615$7DA4FFE2-FCA4-4A68-B3F4-8841669F2653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b33c0c41cd7149a10ac86adf523cc72a1f17b274","datavalue":{"value":"41A58","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331615$91DECC9B-FFFC-4266-AFBF-25F6766BF52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"224133dd68a4f3b66ddf7d50fd627018c06684e4","datavalue":{"value":"65G50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331615$5B6601B9-3C83-41EE-9D22-E1F780D8F192","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a981f3863f798ece2a30c64257e892c5bc4dda7a","datavalue":{"value":"6644464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331615$C8B3FBF3-52E6-46D3-840A-73334C8CEA79","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b44e0460de8b89a3695e54806f9b749b49a67a49","datavalue":{"value":"interval arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q331615$6AFE00E0-D45E-47DF-903C-16C825EF5F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"326c300cf62efa849a7bdb94dd90663d744d9f5d","datavalue":{"value":"formal proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q331615$D746F523-74FF-4FA7-A4FD-FEE08FD806F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q331615$603B4BEE-515E-417F-9A37-A39ECF42E009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98456cd4cdf0db037b678749018452921ff9260b","datavalue":{"value":"Coq proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q331615$0A89CA20-98F1-4318-A4A3-5D72F34F9662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00216556e27ad3bbc2d642874d0693b52d5f53d1","datavalue":{"value":"floating-point arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q331615$6B50AA78-14AA-4076-A350-B9377833496F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56c71e46e79e03ad250b01addd277681d4c615b8","datavalue":{"value":"nonlinear arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q331615$8865D6BB-5F76-4840-ABAA-840E8CACC099","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":"Q331615$6C993B69-2E7D-4CFB-AD8E-547B38379AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331615$AA543E61-B8FE-4D68-A1E1-45FEF33D7CA4","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":"Q331615$9C652289-2551-4A3A-BE71-39380CF2F1E9","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":"Q331615$161FE2B1-ACF0-4F2F-BDAC-3EC4E178EFC3","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":"Q331615$A0D25376-3F9D-46B6-9A0D-E8E25A6298CE","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":"Q331615$36760F07-D107-4D9C-9CB2-F53C3AD21674","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41602f49df67fb92675dc7734d537cc7b607587b","datavalue":{"value":"W1915348541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331615$94C880BF-5D1C-4C6E-A913-2DE07199D0BE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a602a31ec5858953936704adacfb1f5bdcaed350","datavalue":{"value":{"entity-type":"item","numeric-id":972422,"id":"Q972422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331615$5FAF1653-A930-4EF4-B611-F581B9E6937C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"603d06f4cb801233b08f82a081b0bddd3c2e6cc6","datavalue":{"value":{"entity-type":"item","numeric-id":2843005,"id":"Q2843005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331615$767A1FAE-3C8F-4821-8066-9AD26A5EF5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4811f9d3d7db5db1fad3cb6ae2d4fac4173d257f","datavalue":{"value":{"entity-type":"item","numeric-id":2351165,"id":"Q2351165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331615$9B104E84-8D2C-4C36-9C31-E830E2F655B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b25000eac9f4e5206151e890d4c84e0e1d18ab57","datavalue":{"value":{"entity-type":"item","numeric-id":1849567,"id":"Q1849567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331615$60C4C642-7709-49A4-95D0-1BBF2EFB4CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eae5557ae6b6c21187393399fdd9e3af3ac1bd4","datavalue":{"value":{"entity-type":"item","numeric-id":633637,"id":"Q633637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331615$0F0BD81B-D54B-4630-84CD-415482CCF49B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6c3fa427a52c40e02eff4a4d5e2ca26f975aece","datavalue":{"value":{"entity-type":"item","numeric-id":5747851,"id":"Q5747851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331615$823C9102-319E-480D-95B0-8048C5DF6832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd51f0a26cf7ffc6f871ea5d6f0668421e06bb04","datavalue":{"value":{"entity-type":"item","numeric-id":4975017,"id":"Q4975017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331615$E6269F79-DAAE-45CE-A71B-68DCB665B3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38a6397f8b1a67b35a942cb0babbabd1a9b82bbf","datavalue":{"value":{"entity-type":"item","numeric-id":4808034,"id":"Q4808034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331615$34651AFD-6B0A-4197-B03A-1CE1ED3F02BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78fb026c7f4679de1f9e698ead828cb6959dff56","datavalue":{"value":{"entity-type":"item","numeric-id":3523169,"id":"Q3523169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331615$5129FB19-ECB3-4648-9DD7-E986025460D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a61099a476f9a57129d822e2de0c2a34fbb0d06","datavalue":{"value":{"entity-type":"item","numeric-id":3541683,"id":"Q3541683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331615$C56566D8-1A25-42ED-B6CD-CC1028CD7C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"509a43eb44a5715da8f270c1c80bdc0c926c6f04","datavalue":{"value":{"entity-type":"item","numeric-id":714617,"id":"Q714617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331615$47236360-8219-44DA-BA87-06666E025B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42edee989187062430fb95d373ff478e9c2e9ed8","datavalue":{"value":{"entity-type":"item","numeric-id":5566070,"id":"Q5566070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331615$67CFED14-650D-4432-878E-12EACE2DA71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d077f7417b2812e541ae3d63f2b9abb351153146","datavalue":{"value":{"entity-type":"item","numeric-id":3629031,"id":"Q3629031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331615$F73F58DC-BBDE-4E78-8081-90F5655C89CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"775a3e664594af8a07d69cb905f6232ef5ce7ebe","datavalue":{"value":{"entity-type":"item","numeric-id":4371618,"id":"Q4371618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331615$608C3F58-032D-47FC-8D22-2639BFA2B9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b5e01e6710ded913e1e078855663509c851855","datavalue":{"value":{"entity-type":"item","numeric-id":4371770,"id":"Q4371770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331615$C1D28636-35E9-4A64-9EF0-454DB19A99FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddef05923f1380cffc6986598a1c8def607ef205","datavalue":{"value":"10.1007/S10817-015-9350-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331615$09BECB13-2F17-43F6-8518-C7D18749D6E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1813dee6ade6ce3af2af73d2234b94398df48393","datavalue":{"value":{"entity-type":"item","numeric-id":5958299,"id":"Q5958299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b55d612ac5d042288f9f4534200a7a369cd78c4","datavalue":{"value":{"amount":"+0.86135185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q331615$832C5E0F-FA67-4EBB-BB53-46D616DB6400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd266fac46d1f0e4912cd14beb4ae60fc9970e0a","datavalue":{"value":{"entity-type":"item","numeric-id":5875440,"id":"Q5875440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23f0422198dfcc620ca2904aa717d1437bcb58d9","datavalue":{"value":{"amount":"+0.8597484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q331615$C61C7DAC-B668-4CFD-9AD4-C34A7744A038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1347d196fdd41ff8e8fcebd519bed37f956fdaa0","datavalue":{"value":{"entity-type":"item","numeric-id":6174524,"id":"Q6174524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e833a747b554a09141c4bf7947e5c566799b583","datavalue":{"value":{"amount":"+0.8572427","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q331615$B93ED2AB-FAB2-437B-9F8F-5CF6272BF7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce67b722c848150f825586e03f4e67750a7de47a","datavalue":{"value":{"entity-type":"item","numeric-id":5477659,"id":"Q5477659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e6a0d1dfcab87c20f9b0986c4020a9a82911bf2","datavalue":{"value":{"amount":"+0.85223675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q331615$208BD708-4CE3-4FDA-AE0E-8E47781CFA2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"680cdc14da318ed3393bb3d48b3d34f472d7583e","datavalue":{"value":{"entity-type":"item","numeric-id":5875441,"id":"Q5875441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"046b0b8eee5246b2ca6d041aca93a23381034d3c","datavalue":{"value":{"amount":"+0.8503883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q331615$AD42FB1A-3D70-4FD5-B1E3-475B945C6CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7a2ab1b64aefaad63434d35e63853f0e8c9ef14","datavalue":{"value":{"entity-type":"item","numeric-id":2849508,"id":"Q2849508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"087343f4510beee8a2205332278d14d31cbe4ec0","datavalue":{"value":{"amount":"+0.84916544","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q331615$F92FF0D8-957F-4EFF-BF2B-BD923B3025B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d7a49cbc127c73bb43f0247c4df4127a92b875","datavalue":{"value":{"entity-type":"item","numeric-id":2673304,"id":"Q2673304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3dcc2e9e4fd010ca072189a10773126fd02b64c","datavalue":{"value":{"amount":"+0.8483142","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q331615$FA3D0940-DB21-4309-9410-9B8CD4C42DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"409bf9f022d41bb5d5be4d103926e96736ec2b96","datavalue":{"value":{"entity-type":"item","numeric-id":3498456,"id":"Q3498456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14d4118e73964324330c47a3776d892b99cd7031","datavalue":{"value":{"amount":"+0.8478308","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q331615$26C578A7-477B-4D62-9F54-936F0E34C9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f6f497407874e3ab164c554c350f73fc98fdbd0","datavalue":{"value":{"entity-type":"item","numeric-id":4989018,"id":"Q4989018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7773117ef2224e4030555438dd5548f4388bb508","datavalue":{"value":{"amount":"+0.8436935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q331615$EB189F48-7F06-439A-99F2-278B3CA63E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"329f1adbc39f65eb0ddb334a90cf786ac108a9f3","datavalue":{"value":{"entity-type":"item","numeric-id":1687728,"id":"Q1687728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b0babe70e1546b70454d5a23facaed6e62618e4","datavalue":{"value":{"amount":"+0.84284997","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q331615$CF5D124B-D8B9-43E4-BE3E-6D9DABD2C1B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving tight bounds on univariate expressions with elementary functions in Coq","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proving_tight_bounds_on_univariate_expressions_with_elementary_functions_in_Coq"}}}}}