{"entities":{"Q3431545":{"pageid":3442248,"ns":120,"title":"Item:Q3431545","lastrevid":50070478,"modified":"2026-01-12T21:07:17Z","type":"item","id":"Q3431545","labels":{"en":{"language":"en","value":"RealLib: An efficient implementation of exact real arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5141861"}},"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":"Q3431545$10A67FA8-440D-4CC6-A7E5-53E33B2E9C51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5190cd688b414bb6af88ee28687322467c42e8ea","datavalue":{"value":{"text":"RealLib: An efficient implementation of exact real arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3431545$C7AABC0C-F43D-401E-B86C-96D90636D6FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"388370ffed1a030c8ce430b8976b4efc1bbcbeb3","datavalue":{"value":"1112.65137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431545$8361F357-667C-4B73-993E-46FCAD65B185","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8cd5518d2f7330e3a854f5be400937b51ae6c6f","datavalue":{"value":"10.1017/S0960129506005822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431545$2E40A7F9-719E-4347-A7C1-D64965FF64DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"957c62cd0665cf4182d4afc4248b97d3985f177d","datavalue":{"value":{"entity-type":"item","numeric-id":864438,"id":"Q864438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431545$A13921DC-EDEA-4012-AC47-8FED1B089FC1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431545$5C03F33B-B5B2-4D32-9F6A-367EED948889","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7292d3fb6db56ab08a1fa83d1880ef48c7943d2","datavalue":{"value":{"time":"+2007-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3431545$09714F03-D7BB-4E5B-A6A7-25CA9BA89603","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4844ecc2838b02f08a426d6ddfea94d07252b432","datavalue":{"value":"65Y15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431545$B0AA64B1-1CCB-49F4-BC63-D2AC12653721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4d2aa49789d35e35613e1a84ce4788bfee1559e6","datavalue":{"value":"65G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431545$0517D57B-201F-4F47-B34A-19BBBD4673BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee2eb6b9ce34703fceb24fa631a1feabbb4e67b1","datavalue":{"value":"5141861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431545$734E4BA3-BE1F-47BD-A164-039B410409BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d74cb5419439f42eb1ba8891c8722bd3702922d","datavalue":{"value":"numerical examples","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431545$764DA1C8-9945-41AA-9D61-329B9576825F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7196b2204be2538c78f58f9c2c9bb469bdf56be2","datavalue":{"value":"finite arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431545$19E0497A-54B6-4AAE-AE06-6C011CABFB54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94deb710066ae81d99d1b6b36d70a0205a03af85","datavalue":{"value":"RealLib package","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431545$43A87709-B909-4E5B-A5CD-2C70A483FF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"835131e4dd2e75ff42292f98b8fe4a520be3af83","datavalue":{"value":"exact real number computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431545$A47F7460-5D1A-4B72-B612-ECAA39A501DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7d7cfae62e3a4ac3a44ce89ad37757a974078fe","datavalue":{"value":"hardware floating point","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431545$5EFC13DB-115A-41CE-8A3B-4BBA9EAB606A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3852b35a0bd132878a9192adc9c7239cdf4b4678","datavalue":{"value":{"entity-type":"item","numeric-id":18056,"id":"Q18056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431545$BD3432C9-96ED-4CC0-B28F-BC12F66E8585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"52786b92850f8ee6f1f427fdbdd1a03fde406bc6","datavalue":{"value":{"entity-type":"item","numeric-id":18055,"id":"Q18055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431545$389D1877-5F15-4099-B129-4BD2358B86C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"07150badc6e49511f2acaf6ede660455e62be918","datavalue":{"value":{"entity-type":"item","numeric-id":17036,"id":"Q17036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431545$EA4E25B3-1D6B-4469-94C0-4C520E14602B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5138aa8b5d1aa4fce219e8bf51cff1589867ec5","datavalue":{"value":{"entity-type":"item","numeric-id":20769,"id":"Q20769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431545$C4004C8E-BFAC-40E1-B99D-B35357B9CE6D","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":"Q3431545$7335503F-99AF-4AA8-9735-132332FBABFD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"745b9d56f6cc3715451f130501f005505d8ea261","datavalue":{"value":{"entity-type":"item","numeric-id":817863,"id":"Q817863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bef4790382783f42452071c786b9712d99c5ce0d","datavalue":{"value":{"amount":"+0.8342617154121399","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":"Q3431545$14AFAB0F-1B99-4D89-AD91-0F7FC343CE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"030dddcfe9a51622da92c432e7dcddd17d2f5e63","datavalue":{"value":{"entity-type":"item","numeric-id":4531992,"id":"Q4531992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b418cd0d89f7530e3d526a46944851e32f9867a1","datavalue":{"value":{"amount":"+0.807526171207428","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":"Q3431545$1D2EC513-9FF5-477C-82C0-7A50546083DE","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":"c457eef94a49945e2e8a6d654d5e50efd8f66120","datavalue":{"value":{"amount":"+0.8068503737449646","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":"Q3431545$12940D45-D2D7-4514-9C2F-E85C4172AF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2da600c5ef73eb49cd1aca2d33312234c648c8ed","datavalue":{"value":{"entity-type":"item","numeric-id":5425455,"id":"Q5425455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3950769c46e2b64889a7f3cd8d2647e1a480da54","datavalue":{"value":{"amount":"+0.7846819758415222","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":"Q3431545$9BE9ED2C-CC7F-4E0B-979C-09865EF4CEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd8570b53c061bb8e760410299465c633b887606","datavalue":{"value":{"entity-type":"item","numeric-id":5200110,"id":"Q5200110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d21333c74a1204ca972b64f613d23917c858403c","datavalue":{"value":{"amount":"+0.784608781337738","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":"Q3431545$7E376EF6-D08E-4362-BD22-AED0D26F468C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3431545","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3431545"}}}}}