{"entities":{"Q1799086":{"pageid":1809828,"ns":120,"title":"Item:Q1799086","lastrevid":68987202,"modified":"2026-04-13T03:33:29Z","type":"item","id":"Q1799086","labels":{"en":{"language":"en","value":"Exploring approximations for floating-point arithmetic using UppSAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6958103"}},"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":"Q1799086$B163EFE5-A01A-4D5B-94B8-796A98890934","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb2ce1e339f94c341e1efaad15732b08d53b8555","datavalue":{"value":{"text":"Exploring approximations for floating-point arithmetic using UppSAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1799086$DB573CE2-7D5C-484C-BD06-55CB49A55291","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79cf341671648f8d6a2724fa9f5780a6c0fa71d6","datavalue":{"value":"10.1007/978-3-319-94205-6_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799086$25E55749-4E72-4C34-B435-4C2A961507FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e43976b8c9ad662157777e51c8a66ba423076571","datavalue":{"value":{"entity-type":"item","numeric-id":1799083,"id":"Q1799083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799086$D50E35AE-40B5-4FBD-A040-6585E0C8F16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ed4fbb2aa7f1cb1d6373378c85c273bf8475085","datavalue":{"value":{"entity-type":"item","numeric-id":1799084,"id":"Q1799084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799086$00DB32D4-99A5-4E5C-99E5-93A948183508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ada47f60430f7f43a9dd2d117ab9ea6a873d3dba","datavalue":{"value":{"entity-type":"item","numeric-id":1799085,"id":"Q1799085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799086$8E718332-7446-4887-8642-B9DCB7A6FB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c0a4237c509f19dceb169b6d7b433af280d355b","datavalue":{"value":{"entity-type":"item","numeric-id":300416,"id":"Q300416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799086$89011511-101F-4C9F-BB55-9F3438DC7E4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1799086$74AA8462-BDAB-4C11-B1CF-8E450B0EE344","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb7bb907dfd50cd9fa9ad601598c3926831b0d2b","datavalue":{"value":"https://arxiv.org/abs/1711.08859","type":"string"},"datatype":"url"},"type":"statement","id":"Q1799086$4177F069-82B4-4648-B4C2-EEBA02C35189","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799086$3D9BB0CA-B617-465E-B563-5FBE020D2316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799086$FC81F987-19C0-4CCD-8303-55DE4EC03B27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32aafa476ac0936d5ab7b8d5a87d9e664ea9ed7b","datavalue":{"value":"6958103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799086$FF975F77-358B-47B8-ACCE-B15F79F97685","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42950e8602f0bf155e8f0e40e68f674e5831f7bb","datavalue":{"value":{"entity-type":"item","numeric-id":21550,"id":"Q21550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799086$D74E3441-B6CA-4D23-AC97-CB2FD5088688","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":"Q1799086$FFFBC5EB-FAAC-4F19-9488-0DD0471D5FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799086$F25965B0-D5D3-406F-B54F-1C75D460831D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e04aa926dc79457d313fa39599d20474b6244f84","datavalue":{"value":{"entity-type":"item","numeric-id":38020,"id":"Q38020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799086$C0BFE1EC-3D06-4F26-9381-40B53335A0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d2e8bc2567c9ab7a42df5a324edd3155c3a9d73f","datavalue":{"value":{"entity-type":"item","numeric-id":38021,"id":"Q38021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799086$DC3AC38B-8DDA-45BD-984C-11DA341D9425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b49d24dd527b7d568ea1deeecc25ee859c8be5a0","datavalue":{"value":{"entity-type":"item","numeric-id":38022,"id":"Q38022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799086$AF48B0AA-FE33-4ED5-B1AF-F5ADAB83CDC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86f3dd89cea99e36ca0370b5d16e0fd864711e2c","datavalue":{"value":{"entity-type":"item","numeric-id":17037,"id":"Q17037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799086$DF5B2D64-72AD-43DF-9114-4DE7AE06A31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799086$424FAA94-8A8E-4242-89EA-55DBD58A13C6","rank":"normal"},{"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":"Q1799086$46216F55-CBD3-469B-85BD-9656A1A38C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d2f61eeddf1828d82b7393c95d22003b9c58afa3","datavalue":{"value":{"entity-type":"item","numeric-id":19210,"id":"Q19210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799086$C68C6510-6BB6-4B39-B633-5997EB8FB5F8","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":"Q1799086$3AC57EC7-5649-48C6-B577-812E3D720189","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"afb7784b88a33c5aa623560440dde477dfe346cb","datavalue":{"value":"W2963355442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799086$6AD836F4-710E-4FB8-9DA1-A53934CB763B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7ce04c5cee989fc4a5c97d45376f90927eb0e94","datavalue":{"value":{"entity-type":"item","numeric-id":2362497,"id":"Q2362497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c935cdb3c9fc24fe88653672d928e94782b5e2ea","datavalue":{"value":{"amount":"+0.7941506505012512","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":"Q1799086$BC73F0CF-91A9-46C6-8BB1-AB13688E4670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae543d3164609a478eaf3c26694eec20cce9b473","datavalue":{"value":{"entity-type":"item","numeric-id":479837,"id":"Q479837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c0a19e705e6e587d24bbce04e5c845c864a1d38","datavalue":{"value":{"amount":"+0.7612082958221436","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":"Q1799086$FD4C490B-1244-4948-BA14-E7CD32FDD994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2afe5589118ca0165d639df6d1196851bf294c6","datavalue":{"value":{"entity-type":"item","numeric-id":3192205,"id":"Q3192205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d04c5f86dd0ab5f5169ccf4f8813323ffe724681","datavalue":{"value":{"amount":"+0.7554774284362793","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":"Q1799086$32526C49-6CCE-47B3-AF5C-0DB3500B33C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a95aaea7a91a11e558a80cfd0d298e5e5edec5b3","datavalue":{"value":{"entity-type":"item","numeric-id":3636881,"id":"Q3636881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6c9b5621cfe7a5eec368d031138e53d5bcb477e","datavalue":{"value":{"amount":"+0.740260899066925","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":"Q1799086$208315FF-E91E-46B2-8DB2-D3C3EB5B52C6","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":"3e72035a49ab8d5bc06e41b294525e4ecd6e5e98","datavalue":{"value":{"amount":"+0.7320381999015808","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":"Q1799086$3A1761E6-F292-4007-BA70-8BA547131116","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exploring approximations for floating-point arithmetic using UppSAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Exploring_approximations_for_floating-point_arithmetic_using_UppSAT"}}}}}