{"entities":{"Q1779571":{"pageid":1790313,"ns":120,"title":"Item:Q1779571","lastrevid":48494173,"modified":"2026-01-05T00:16:43Z","type":"item","id":"Q1779571","labels":{"en":{"language":"en","value":"Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2173295"}},"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":"Q1779571$EB25D019-BF6A-4F30-8EA1-9591B7C7E979","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42654ac15fe913904d27a8299dfc93595d07fbfe","datavalue":{"value":{"text":"Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1779571$B541C1C6-F7CA-4690-83D3-C0CF29ECC790","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9053268434670afdf50ffc4b92090ceb2c30d23","datavalue":{"value":"1080.68519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1779571$D6F36222-3186-4B57-AC7A-972CF4664146","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779571$B881427B-6BC4-4E6B-8522-69E953F2D2A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e4d578b35a7e3b754503335b980ec15049161ec","datavalue":{"value":{"time":"+2005-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1779571$BD08A433-E9BC-42A1-BD16-52E744684C43","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d551b4bec4388cd8daa9ff61506aba18f30bfe32","datavalue":{"value":"https://hal.inria.fr/inria-00071850/file/RR-4737.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1779571$4CBC6A41-ED92-4F1F-B0B5-320F001739EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1779571$FB5ED420-00AF-48E5-9AE4-26BA27AF9EDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4db6079b49b78f19e4be9b270ced5f022403764","datavalue":{"value":"2173295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1779571$21693DAB-53C3-48D1-AE6B-786EA3A4720C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d50ceed9e5431c00dbe8f9b967e16a36d7121ce","datavalue":{"value":"Taylor model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1779571$FF220575-BB5C-40C2-89C1-86FCC0C5BF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e6fd19ee6423ac750acfeea419860e202534bd3","datavalue":{"value":"COSY software","type":"string"},"datatype":"string"},"type":"statement","id":"Q1779571$3E5599FC-2714-430F-BD5D-55F423A92822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"934f165b940df3dfe1eac1b2c6177c477b628412","datavalue":{"value":"Floating-point operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1779571$D3707467-E685-422D-B6CD-80A94A8A8827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06cad55c23fb50651db06eeaf48107039ee0efa7","datavalue":{"value":"Rounding error","type":"string"},"datatype":"string"},"type":"statement","id":"Q1779571$DAD2553A-65F2-4A43-8A6D-3AD247DC9869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4675c6646ff45e932f7e92c8a4a5da53d959bf23","datavalue":{"value":"Containment property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1779571$12250641-6499-4DF7-A71C-6D585D1E97EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e55513cfb410e65d3d7bfe1eb3a28614f1f7d0c3","datavalue":{"value":"Validated result","type":"string"},"datatype":"string"},"type":"statement","id":"Q1779571$B4C4CB23-84EF-45CC-9039-EEFB5A5235EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a463357bd117d3883a1056e72ef4146398ce2d7","datavalue":{"value":{"entity-type":"item","numeric-id":1365927,"id":"Q1365927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779571$989122E9-FFC6-4379-8C84-C9CFCB0233C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f53a2c2db410710046fe0e64731e00ea36e6485","datavalue":{"value":{"entity-type":"item","numeric-id":748257,"id":"Q748257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779571$F6557665-6275-4F1E-A582-118B6D92DD9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"edb3037d9240c3de5ec1eb8537af34ed404026f7","datavalue":{"value":{"entity-type":"item","numeric-id":229304,"id":"Q229304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779571$AC327D26-63AA-4075-BCF5-E92472F66F84","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9bbedeb8fff9bf5dbcadd59c3f5332134c82fe9a","datavalue":{"value":{"entity-type":"item","numeric-id":16987,"id":"Q16987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779571$534A1870-B766-46AD-A0A5-A377E9CD4839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8033a438966527ef6b35dabaf40907037a2165","datavalue":{"value":{"entity-type":"item","numeric-id":19728,"id":"Q19728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779571$774EB329-1BD9-4B83-9443-C9246B4D6271","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":"Q1779571$F8182066-5D04-4B55-ADFD-97EC7DE38ABE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"42802317c711dcc6b1b80edab99d3cad2097062c","datavalue":{"value":"W2009101896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1779571$251BB9F7-0A9B-4948-8354-52ADD4128280","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7f5ef9059546a72fc9cd8ab1ddffe261bd51ea0","datavalue":{"value":{"entity-type":"item","numeric-id":4003880,"id":"Q4003880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779571$3D6CFE80-1AD1-4E4C-9CE6-8F9E1AC42B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8df580f7ae1a886a00a12cf7c775c6157c5c7343","datavalue":{"value":{"entity-type":"item","numeric-id":5955427,"id":"Q5955427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779571$34A47070-A242-4D3D-92A7-17570AF2B06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"003e01e100d3e82c7c812db8c206c315bff90a63","datavalue":{"value":{"entity-type":"item","numeric-id":1276129,"id":"Q1276129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779571$2660CD67-05D9-45BA-BCAD-46EB7DCDFA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc8828d4f5cc9c109dee6bff80664950a991acd3","datavalue":{"value":{"entity-type":"item","numeric-id":1300081,"id":"Q1300081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779571$301DF1F9-244E-4C55-8A09-886869E76E56","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":"Q1779571$BBE8E056-E9B4-4070-B959-8AE1EF4A3FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c9780e360c20a82366b97eb2acf9b054c360e7e","datavalue":{"value":{"entity-type":"item","numeric-id":4779477,"id":"Q4779477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779571$7541D4BE-6484-4FD2-BF1D-5E789852C97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae3b296bd33b2fa951d3c7b2a0e9d05f53c8d48","datavalue":{"value":{"entity-type":"item","numeric-id":1604712,"id":"Q1604712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779571$F66BF88F-B094-4E39-BEAA-59311BB26DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd5909e4f053e672978ff920f813d8b9813b5e19","datavalue":{"value":{"entity-type":"item","numeric-id":1875382,"id":"Q1875382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779571$77EC7A41-C149-4469-8233-131242616F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c001dd397cb92a2c48ebf13d0157bcc10fabd150","datavalue":{"value":{"entity-type":"item","numeric-id":3998722,"id":"Q3998722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779571$E2B5FB4A-E1F8-4B68-B104-8D78F7796FD6","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":"Q1779571$0CCE906D-AD00-4896-ACFE-F57F0665DE96","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3fc3d607a2720060d9c23ff4bcff08630fae6bac","datavalue":{"value":"10.1016/J.JLAP.2004.07.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1779571$8578BB90-A44E-4D08-9703-F791ADE1672B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d8e1f579f44df36410786a605bec47169221708","datavalue":{"value":{"entity-type":"item","numeric-id":4808034,"id":"Q4808034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83d7efd9d29096ca040e2b17e23e5ac62774ac18","datavalue":{"value":{"amount":"+0.7944207191467285","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":"Q1779571$13B9CBD9-2909-4E71-AC57-9026F37C5D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d483bfc693d7a752502a161f018a27259f8628b","datavalue":{"value":{"entity-type":"item","numeric-id":5308345,"id":"Q5308345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69c3e21ee6ae1f3dd49de8a363e9a75a3317b8fc","datavalue":{"value":{"amount":"+0.7856241464614868","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":"Q1779571$7C7BDFA4-B06A-48D8-8C8A-345279F962CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6eb815eaf2883b41c45eff1eb763f09f1a08835","datavalue":{"value":{"entity-type":"item","numeric-id":4463457,"id":"Q4463457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7932dc1c757aa1b06f191176821cffc1931971be","datavalue":{"value":{"amount":"+0.7843411564826965","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":"Q1779571$9F870F50-21B5-421B-AD51-9227FFA6F271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9cba2b63a1968489018c2c3ebb62ad6d8865d38","datavalue":{"value":{"entity-type":"item","numeric-id":2807869,"id":"Q2807869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e233b8362606f8e0c25dad97efef85c92334654a","datavalue":{"value":{"amount":"+0.7826950550079346","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":"Q1779571$4194F7EF-9065-445F-99DD-2141B8D1CED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6adf9f7d89512f9cf437736be54a07420c0d689","datavalue":{"value":{"entity-type":"item","numeric-id":1675562,"id":"Q1675562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23d804ed4a98b901b079aafc393caf95da30e078","datavalue":{"value":{"amount":"+0.7439857721328735","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":"Q1779571$084BA705-4DF4-4850-8C17-F406479223C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1779571","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1779571"}}}}}