{"entities":{"Q6487299":{"pageid":14066068,"ns":120,"title":"Item:Q6487299","lastrevid":103367774,"modified":"2026-06-06T07:14:38Z","type":"item","id":"Q6487299","labels":{"en":{"language":"en","value":"Synthesis of\u00a0Rigorous Floating-Point Predicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628090"}},"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":"Q6487299$D975BE1B-14B5-46D8-974F-308B110C93A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20ddce1c6ad5194f3f8e24f0851a7895fa1974d0","datavalue":{"value":{"text":"Synthesis of\u00a0Rigorous Floating-Point Predicates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487299$BDE75391-ACEE-406F-941F-BB305FD61A9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6bf4542929fbd13aa3f71c8303c2d4c89b0325cc","datavalue":{"value":"1514.6804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487299$94CF39D8-7FB3-43B0-A4B8-C694C3F82727","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1bc25607b8fa965fefbaef7e3c4b705d7ffe0bbb","datavalue":{"value":"10.1007/978-3-031-15077-7_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487299$B2387F57-8A5E-421B-958F-5F1B5B72A0A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3bd9219fd9e5471b0029cd74c4b04fcd4b0cf8f","datavalue":{"value":{"entity-type":"item","numeric-id":1741327,"id":"Q1741327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487299$F9FFCCE2-59D8-41D5-A5C1-CBBE348B44BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7096ccdf0afcb58873c8656bf2b263e9c7d6ef6","datavalue":{"value":{"entity-type":"item","numeric-id":2283583,"id":"Q2283583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487299$4C1F0C01-75FC-4001-9E6C-879B3F98CA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5936e07529b1cd1d86f1bc9441c17eb5417be31e","datavalue":{"value":{"entity-type":"item","numeric-id":6485519,"id":"Q6485519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487299$4B06FFD4-A29C-44BC-8852-7A6A4CD5CC8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6487299$DFF47A1A-7EE1-4F05-808C-563850365D98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487299$13D15D35-B297-4D01-B442-FF67249303D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"224133dd68a4f3b66ddf7d50fd627018c06684e4","datavalue":{"value":"65G50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487299$2BA42D99-E583-45DC-A87E-DD70C4C5E3B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8110a6e52364b7108ea53a61b0c9db606fa12e1","datavalue":{"value":"7628090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487299$4E2581A0-0428-4872-A27B-10E7CFDACB28","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":"Q6487299$45A2595B-C76C-43A1-952C-94A6C3526316","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b7a0315848ee1f1753a02ae02370764c351b1a4","datavalue":{"value":{"entity-type":"item","numeric-id":5929320,"id":"Q5929320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487299$96F39598-016F-4C2C-8FBF-C4952211C23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b020a91ffd3c81f18a1e5e555d90c0a605e24a18","datavalue":{"value":{"entity-type":"item","numeric-id":5408419,"id":"Q5408419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487299$D480B2FD-2383-47F3-8E37-768DDD0FF14C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e10366aa14b4f4cc11a9a253b0c3ce76fb85ca","datavalue":{"value":{"entity-type":"item","numeric-id":2549229,"id":"Q2549229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487299$EE699619-9BDC-474D-A971-C98F994ADCA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa03fdd53c1b9f8eb1141c56fc2bb4afc212b013","datavalue":{"value":{"entity-type":"item","numeric-id":1821034,"id":"Q1821034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487299$C718C039-6E07-4424-A862-894BCFF85E1F","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":"Q6487299$0FDE7A22-3BFA-4CA5-87E7-4450F8ADD596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd333a14761d936248a6cc9568d1dfc2304894d","datavalue":{"value":{"entity-type":"item","numeric-id":5178011,"id":"Q5178011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487299$F29B120C-9054-4FEA-85B1-3D90E25A3D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08972496f8d06b458c2cad3d9db4a9e4afb31659","datavalue":{"value":{"entity-type":"item","numeric-id":1380822,"id":"Q1380822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487299$605DA4B9-D907-41F7-92A7-DFA2EB2FFFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc6eb40f53a6a840ff4c22ca7d5bbe012d2de958","datavalue":{"value":{"entity-type":"item","numeric-id":3296349,"id":"Q3296349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487299$14E0433F-F6FF-40A1-8E8E-9551FE4A905A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8be7d031f8cc6aca2c091854837ffd1e20b0a28a","datavalue":{"value":{"entity-type":"item","numeric-id":5899158,"id":"Q5899158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dff559e807f2f3921f863579b802ebd8188074c","datavalue":{"value":{"amount":"+0.89932716","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":"Q6487299$E0F20EF0-04D2-4D1B-BB4D-107A4758A22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"693844e8eae80a91abc67434d7d59fe9c34b67c5","datavalue":{"value":{"entity-type":"item","numeric-id":4011800,"id":"Q4011800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb47e8116ef6931b23805d0bca01dc754e1e275d","datavalue":{"value":{"amount":"+0.898109","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":"Q6487299$5DA99C48-DDC1-4D4B-99CE-79D035C7127D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab31d5912cadbbfefc841f45e39fc28cb02cf95c","datavalue":{"value":{"entity-type":"item","numeric-id":5747756,"id":"Q5747756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"190f1b46e79ad0ea2bab895f395f29350d2fe17d","datavalue":{"value":{"amount":"+0.8843222","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":"Q6487299$BCE51E33-79E5-4F3A-B6A7-3E36E7179D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3f9e9873cfe4644b6583f05111df3e873bf45d8","datavalue":{"value":{"entity-type":"item","numeric-id":5274886,"id":"Q5274886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"166f46bf4762cf93fd7500ca41bfcb9aa3534538","datavalue":{"value":{"amount":"+0.8803709","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":"Q6487299$3878F066-6C04-4192-81DD-18354979A170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39543e823be30e37369ab04509198db83e3988ed","datavalue":{"value":{"entity-type":"item","numeric-id":2352505,"id":"Q2352505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c415ce2a1e7aa503949d58e25b3530c2ce3df4b5","datavalue":{"value":{"amount":"+0.87892294","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":"Q6487299$AF46CD18-068B-4456-9507-BFCD3B5A3A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03b5ffac8228f96899facabdcd2995f7ed2829ca","datavalue":{"value":{"entity-type":"item","numeric-id":4738356,"id":"Q4738356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a51006fe7112a9acaf81c61cca6c0790a89cf9c4","datavalue":{"value":{"amount":"+0.8788144","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":"Q6487299$19EEB227-0C22-4B88-9953-93FD41C9A450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"176d321a2fcf39f9eef6ed7d3f3a309356665ecb","datavalue":{"value":{"entity-type":"item","numeric-id":2890535,"id":"Q2890535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2e8fc5f683d35cf30261a715615d9c8c9d8fd22","datavalue":{"value":{"amount":"+0.8784708","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":"Q6487299$CFA09CD5-1EDC-42FE-9A25-3CC50489D2C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c0a7246e2ab8b654f1f1341fa182f57bb8f4f91","datavalue":{"value":{"entity-type":"item","numeric-id":2164244,"id":"Q2164244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b45b3d5c298dede2d5fd6b5f3da20933fad8110","datavalue":{"value":{"amount":"+0.8753731","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":"Q6487299$2F298562-6C1C-4BEC-A9FC-2A80F7431F4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synthesis of Rigorous Floating-Point Predicates","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Synthesis_of_Rigorous_Floating-Point_Predicates"}}}}}