{"entities":{"Q6156639":{"pageid":13291188,"ns":120,"title":"Item:Q6156639","lastrevid":58737804,"modified":"2026-04-06T13:07:53Z","type":"item","id":"Q6156639","labels":{"en":{"language":"en","value":"Finding normal binary floating-point factors efficiently"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7695714"}},"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":"Q6156639$71080D20-A8B5-4D7C-84A0-1759AEEE05EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29feb1744d8e364ea9d84ca5d6543cd9549b7545","datavalue":{"value":{"text":"Finding normal binary floating-point factors efficiently","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6156639$B13A661D-EEAD-4B9B-89A4-BFC26AB301E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d5ae4938573c71a7ba99395e461ed9c33621e21","datavalue":{"value":{"entity-type":"item","numeric-id":2327234,"id":"Q2327234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156639$87983F4E-D360-45C6-9143-8A597B9E1722","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":"Q6156639$6E17BFE5-D341-4C1D-9928-87C27AA32EF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e078913baaf6e58e465be4601d94b7e1928c7c65","datavalue":{"value":{"time":"+2023-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6156639$A92E3D7C-F4E1-4330-BAA8-0919FBB91C0C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cfe8f29260b6c9188faef97eb3be21174cb1ab45","datavalue":{"value":"https://arxiv.org/abs/2106.05631","type":"string"},"datatype":"url"},"type":"statement","id":"Q6156639$B9F7B869-DB91-481A-9AC8-A875CC65FE74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156639$8CF84B44-CDCF-49D2-B997-674905324FC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4e5a371cf5062567e434a956c1d5856d077c4f4","datavalue":{"value":"7695714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156639$CAA16A40-94A3-41DF-965B-8B805B48A7C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7fa11cc6ae3dec2b3aaba3f0c2fbd95aa2f664e","datavalue":{"value":"floating-point equation solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156639$F92A5C1A-EB4B-4531-A3F3-59B12C37E286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"083c5cf11fe79b458bd21f0a386a3864f20d870a","datavalue":{"value":"interval multiplication","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156639$9C36BEFF-CD80-4EAA-A1FE-B1A9CB12F09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156639$AEE6911A-DD0B-42FE-A2DC-1DABEDC540EB","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":"Q6156639$A26353AF-C479-4F15-ADF7-EE796B47314F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d77f278598cc127803ddd7e12cf6274ca45f4572","datavalue":{"value":"W4319315398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156639$8AC590DF-AB1B-4C74-8BB7-59B2E3E939D3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"74bdbcdbf745748727a8ad6d1c3dd7317d156d69","datavalue":{"value":{"entity-type":"item","numeric-id":2806863,"id":"Q2806863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156639$1FBAC116-C4A1-4F7A-9BB3-3DB704482ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ab1fb3b741de6ad15a6cf3e725ed00bb86921b6","datavalue":{"value":{"entity-type":"item","numeric-id":5274886,"id":"Q5274886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156639$9592F788-4E23-40DA-B788-1EA3EE0603D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2940d495eb2b669794d95ca8ddbb03437430e8b","datavalue":{"value":{"entity-type":"item","numeric-id":4790659,"id":"Q4790659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156639$241E19E4-918D-47B6-9A00-C6C550883663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ea65857c6c049fdc48aed336cd6c70e162f8ae0","datavalue":{"value":{"entity-type":"item","numeric-id":2299211,"id":"Q2299211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156639$90AF117C-6E31-48C8-A1AD-8AC2F28BAD14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf7714191b9ce3c9811ef44b12140b4c3293eae2","datavalue":{"value":{"entity-type":"item","numeric-id":3024872,"id":"Q3024872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156639$636B71F9-4C44-42F6-B5E3-29359390DFA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbadfde9c7a92f9ea143c4168d91416e4773fbef","datavalue":{"value":{"entity-type":"item","numeric-id":5899158,"id":"Q5899158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156639$2BD91492-364E-4526-847E-F526C97F805B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e42ebb62d851c647649de59148613dbc5ee0b68","datavalue":{"value":{"entity-type":"item","numeric-id":816201,"id":"Q816201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156639$740ADA8B-E73A-4F9F-BE9D-61FE2B2F37D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e7d5ae19ceb74486133d17c8479ae773e6fd29f","datavalue":{"value":{"entity-type":"item","numeric-id":2520685,"id":"Q2520685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156639$04D5B13E-2046-424B-9CE9-A601FEE1FAC3","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":"Q6156639$A455A74B-F779-4D04-80ED-62E7C56E0E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"188db94fd9c26525c0ae702cb56edad629ab92ca","datavalue":{"value":{"entity-type":"item","numeric-id":4609588,"id":"Q4609588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156639$9E2BBC20-434D-4FDD-BE8B-18473AEBAABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32a89a983fb03b95f29a4dd8d8dbfee04649210b","datavalue":{"value":{"entity-type":"item","numeric-id":5189669,"id":"Q5189669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156639$B05FE2F6-128E-44B2-A632-8D80980D778D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cdf4457c3297d4ac9d739f668f8c272df9e137d0","datavalue":{"value":"10.1007/S10817-023-09659-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156639$48DE77F3-2530-428F-B44A-C1AE91B28DE3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48db83a941ae15d1e86450b72c4966908bc479b7","datavalue":{"value":{"entity-type":"item","numeric-id":3324923,"id":"Q3324923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dee10afebc95b69b3fc5233c991d8a2893512ee2","datavalue":{"value":{"amount":"+0.83833873","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":"Q6156639$574CEAE2-DCEA-4DE0-81A2-C0D72C5A6BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67c668f26b5d52f152d620142efaf14f15041244","datavalue":{"value":{"entity-type":"item","numeric-id":2051782,"id":"Q2051782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"940057e4162c61d5cf0dd230200c527afa1eccb1","datavalue":{"value":{"amount":"+0.82407236","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":"Q6156639$2913E008-324F-4465-B0EB-7E7FB4645CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3aa7f2059d6256ef43a4767a2e55902a2374562","datavalue":{"value":{"entity-type":"item","numeric-id":2807815,"id":"Q2807815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ed400017f187ec5b5b01be5398e1ad74daa5e06","datavalue":{"value":{"amount":"+0.817626","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":"Q6156639$8CFBC3E9-9B7E-489E-91C3-234325AB477A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce943875560f17659d2f0774b002202d3c6cf53d","datavalue":{"value":{"entity-type":"item","numeric-id":2862533,"id":"Q2862533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61b49d1cd2f6526d11b1aa98ab32c709cb1648b1","datavalue":{"value":{"amount":"+0.81498116","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":"Q6156639$3131EB02-9AC1-4D0F-B2BF-06EA3C03B094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cdecf6242a959268a6554fa3b54ba047b319642","datavalue":{"value":{"entity-type":"item","numeric-id":3898556,"id":"Q3898556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2827ac86ab8b42c0827b818bb32aab02271c881","datavalue":{"value":{"amount":"+0.81297684","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":"Q6156639$8A8C9FEA-15DD-4D59-87C7-D8D0141A3B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3947d7c3dfbfa78eae21f3742afaf9fbddaf7b28","datavalue":{"value":{"entity-type":"item","numeric-id":5132335,"id":"Q5132335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cf636bd07820db4ded895e7ba8c42e66bf19f8e","datavalue":{"value":{"amount":"+0.811592","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":"Q6156639$535B5356-01C6-4C19-885D-5A48B59E5DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ff57d1cde898492ae3fdae5d98ce2802ae569e1","datavalue":{"value":{"entity-type":"item","numeric-id":4336291,"id":"Q4336291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4eb64d1d54699773de5bc89169c7a51d58b327d","datavalue":{"value":{"amount":"+0.8093908","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":"Q6156639$766B475B-56FA-47A4-BF71-74B961F8F689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4a25c19fc84f31f0516314930966fb972d18b2a","datavalue":{"value":{"entity-type":"item","numeric-id":3994201,"id":"Q3994201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07ce80ad82a4c6473756cd5d411961143da0367f","datavalue":{"value":{"amount":"+0.80818534","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":"Q6156639$562C37A3-9629-4E1E-AE61-FCC682020C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f09c4a3dcc9eb6575b1a0e2aef05c460aca0b8d","datavalue":{"value":{"entity-type":"item","numeric-id":6060390,"id":"Q6060390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a25b5f58269c2402dae4894989ece121b4654c7","datavalue":{"value":{"amount":"+0.8068656","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":"Q6156639$84596389-05A6-44C7-94CA-924240DE71F3","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156639$FE2BFFF7-F938-46EB-8D72-55B976138811","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6156639","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6156639"}}}}}