{"entities":{"Q2989081":{"pageid":2999805,"ns":120,"title":"Item:Q2989081","lastrevid":45206305,"modified":"2025-12-02T15:17:03Z","type":"item","id":"Q2989081","labels":{"en":{"language":"en","value":"Certification of bounds on expressions involving rounded operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721758"}},"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":"Q2989081$1312C609-BB83-4D40-9270-4718DA0043F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5a10115c311d3bcc6c4b2834e376326b7b29446","datavalue":{"value":{"text":"Certification of bounds on expressions involving rounded operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2989081$CC3111C2-3CE4-4BF6-BC24-098125E27992","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a7e44a0cf5f64935f9a92e954d8d92676ed6365","datavalue":{"value":"1364.68328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2989081$9075A11F-BFED-4B31-9BBC-D8C0CAF6AEA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12fe3e1c9d5f437053146e3ef51bc6cb3912f86b","datavalue":{"value":"10.1145/1644001.1644003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2989081$AA861E21-702C-479B-A7D7-B87585A4E627","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e4bb1bcba17b5515e2d35cbb4d1ce0ea0c5c513","datavalue":{"value":{"entity-type":"item","numeric-id":1371153,"id":"Q1371153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2989081$22E2480F-1EC4-4302-BE1A-A82D39D1CF0F","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":"Q2989081$1E8FD14E-1A95-4E41-8E44-78A6E052B3DD","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":"Q2989081$71850C1F-51C4-4343-A2B2-C403CCF1B9EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2989081$37458A9E-9FE1-43C2-8E91-0E5431146717","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2989081$4434E1F3-FA63-46A6-8EC0-ECCE494667CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde5a4fbe64a00aecf96d44aa53174002a5dae04","datavalue":{"value":"65G40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2989081$11E68C4E-A7F7-4C14-BA68-78242A10C139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2989081$FAEC2E93-16DF-410E-9DF6-83108DE8E6B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41241ad51db1c418d8ce5e58e1c80c70a03595c4","datavalue":{"value":"6721758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2989081$22EACD6F-C756-44BA-BB7E-A8851926EB5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2989081$9DFD8197-98D8-4D43-A461-133E6BB8E0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f84fe68137b3e80abe7b1b59ab1284490e222e2","datavalue":{"value":"forward error analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2989081$E87BAA4F-2703-4DA5-AEAF-4C8CC531DAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"104686f3a3b63f31fa6c79f5f0116fe39fff0a7f","datavalue":{"value":"HOL Light","type":"string"},"datatype":"string"},"type":"statement","id":"Q2989081$85C95098-939F-4B5B-9CB6-58DB91DCB8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3d3d0d2409011411be91984a4137a1c90ca04ff","datavalue":{"value":"PVS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2989081$B290187F-3456-48C2-BCCE-939EA31ABC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c58c1e3ce130b703ddcb3f7dc04fb1ba224adb9","datavalue":{"value":"dyadic fraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2989081$3EC419F5-E68C-49E1-AC23-E5C3E5AB0833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f632f4e0a5cfab23758463f1559679989e4a63a","datavalue":{"value":"floating point","type":"string"},"datatype":"string"},"type":"statement","id":"Q2989081$B3C2F740-04B2-4ECF-8D79-ED5C7CE6F2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b44e0460de8b89a3695e54806f9b749b49a67a49","datavalue":{"value":"interval arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2989081$5523980B-44E9-436C-83A1-35660FDEFAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4481517714437ff63c836d4b49f0e1b5127461c1","datavalue":{"value":"proof obligation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2989081$506446C0-AB68-439E-A582-E1041FFEDDB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2989081$FA1F9484-3C6C-4ABD-9278-6216F79A0620","rank":"normal"}],"P1463":[{"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":"Q2989081$EE7DDAE8-DBC4-4CC6-9B56-DE457680FAD4","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":"Q2989081$09B35509-5BB7-4207-92E6-D284DA704293","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":"Q2989081$F22C4FFC-7B3E-46EF-BDF6-0D8EDA4B279C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23b3e362bbe4a1a03139950055cfcf7473619615","datavalue":{"value":"https://doi.org/10.1145/1644001.1644003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2989081$BE79FB72-B802-4469-9479-103A8E7870C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae9f82ce955cc85250f7186041ea80a2dca9ae25","datavalue":{"value":"W1999470254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2989081$2048C26A-A769-40F7-8868-B2A43E4B0935","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"855ef94d62dc474b1a0f387070ed4d607411beb4","datavalue":{"value":"Q113310518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2989081$B736B4A9-74C9-4529-B6C4-78CCDC5DC2F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7d29074c973b41c55c63187341b9e396ebba19c","datavalue":{"value":{"entity-type":"item","numeric-id":3133585,"id":"Q3133585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62effe9db1ed778071c0ecaed063bf37e7e4e8b8","datavalue":{"value":{"amount":"+0.85230905","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":"Q2989081$D8D31E02-C026-4565-AAEF-91E26C9130B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3c5be4093a9615e242e65bc35249a54984dcef2","datavalue":{"value":{"entity-type":"item","numeric-id":2189630,"id":"Q2189630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d3851567b11eeac13915f0d0d112e08ba346e49","datavalue":{"value":{"amount":"+0.84493035","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":"Q2989081$D441F4EC-2F30-473C-939E-A0A69E255A6D","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":"1b1e7bc6affa2ec97a7a79d9f61e9ab142ed554a","datavalue":{"value":{"amount":"+0.8404693","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":"Q2989081$84CCED42-5BF7-451F-91C5-098C722895DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2161a6de1a39105a0bb53c6d83f59f4db6cb5c5f","datavalue":{"value":{"entity-type":"item","numeric-id":1397303,"id":"Q1397303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aef17b61e93507a03cf4a2aedf58a8f304107368","datavalue":{"value":{"amount":"+0.8352983","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":"Q2989081$749564F6-D411-4C5B-8C2E-BB0B61954C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de677b2d9a6828f8309c0d660fd0a8bc88ea64ea","datavalue":{"value":{"entity-type":"item","numeric-id":5956445,"id":"Q5956445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd3d8f16f7d4333a1bbef607be168e8ca5d9c22b","datavalue":{"value":{"amount":"+0.8268473","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":"Q2989081$FF60AC46-0E2C-4297-BC72-3CC23A06CB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e54949ea8b0a2b6d839f4b9d264ca82ac38768f4","datavalue":{"value":{"entity-type":"item","numeric-id":4885353,"id":"Q4885353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b8a4c6eb5b0517a0c6942c09d0e0d46ea6cc41c","datavalue":{"value":{"amount":"+0.8252958","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":"Q2989081$48646074-444A-470B-A9C1-3D339AF0FF1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"429975022c7cddd9b0ac0aae5bb357d959d08b86","datavalue":{"value":{"entity-type":"item","numeric-id":3541683,"id":"Q3541683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05d5ff71d08d008194a753cb16d90d400cf238a5","datavalue":{"value":{"amount":"+0.82165176","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":"Q2989081$2AD593F6-5591-41A4-A7D6-C3B7E173F4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ebb8d44c0a094054ea81e81a907df226ae0cf18","datavalue":{"value":{"entity-type":"item","numeric-id":5475998,"id":"Q5475998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01121c2b4f5a1ab3deefe430bce27f44e30e2a75","datavalue":{"value":{"amount":"+0.8212026","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":"Q2989081$39ADC7C1-D6DD-4924-8C55-685E63E6579E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f74f839ce3d06e181a79a6ac68826d01e18ffe4","datavalue":{"value":{"entity-type":"item","numeric-id":5746799,"id":"Q5746799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"895f3e992a0f5530c21620ab19bbe3033a69cc8a","datavalue":{"value":{"amount":"+0.8196154","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":"Q2989081$6D092263-E449-4EC0-A2A3-415BB254776A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d529d3226cc579d1b7347df80306b4e95cf75909","datavalue":{"value":{"entity-type":"item","numeric-id":5961152,"id":"Q5961152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d7938e4719cc524f544c9f6097ea440ec498f76","datavalue":{"value":{"amount":"+0.81860816","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":"Q2989081$5310F0FE-BD29-4D1C-BE07-638B295BD8AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2989081","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2989081"}}}}}