{"entities":{"Q43932":{"pageid":43988,"ns":120,"title":"Item:Q43932","lastrevid":105428279,"modified":"2026-10-09T10:09:27Z","type":"item","id":"Q43932","labels":{"en":{"language":"en","value":"IEEE_Floating_Point"}},"descriptions":{"en":{"language":"en","value":"AFP entry IEEE_Floating_Point"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"f52aa945aeb8b3d8550817270a9185deabd8a4b7","datavalue":{"value":"32221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43932$19A54078-CEB1-461E-B73E-F2F18B61A88C","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43932$A73DEC8F-EE40-4101-9473-83352623466B","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"78282cf0a179e59decab1ae6f2c346bc49a497dc","datavalue":{"value":"https://www.isa-afp.org/entries/IEEE_Floating_Point.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q43932$973550C5-0F90-4169-BEC9-B32918AA36AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a104733b1e30d91f56342777dc887a3edbb9e05f","datavalue":{"value":"65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43932$47842BE5-40F4-46B4-8608-0AF093B9B9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43932$B0663E4B-DD7A-43D9-BDCA-4EE5C5A73641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43932$94025B1B-0634-4AB6-B50A-49826B647AE7","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43932$3443D80D-8A9C-4379-BAA4-5B97B5B015EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"27b35591f9a1d87570b3e9ffb19e51ff7cd09a28","datavalue":{"value":{"entity-type":"item","numeric-id":40544,"id":"Q40544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43932$D4AC5BDB-0486-4FFA-877F-7DC4E360E3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"95e5f1158f96f22279bdd9d9c26433e98a490641","datavalue":{"value":{"entity-type":"item","numeric-id":21498,"id":"Q21498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43932$394BE157-81D0-44AD-92C1-9120FC211B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fd1c0b3f068cc22555c5a8c14d4ac959e115ce60","datavalue":{"value":{"entity-type":"item","numeric-id":25201,"id":"Q25201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43932$B27CAC74-F408-42E4-A638-80CE71029DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4eea1e5549472c93f3282a38917960fdec6b61a1","datavalue":{"value":{"entity-type":"item","numeric-id":24733,"id":"Q24733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43932$CBC692CC-3BAF-41F9-BE90-715E0D95C61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f04f31c89e971a466739b17d1b0a4f1fdb9c0c1e","datavalue":{"value":{"entity-type":"item","numeric-id":26493,"id":"Q26493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43932$9168A22C-78F5-481E-8434-45392B30BD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7ea0a87649edd4cae39bef36b6b305a729532abf","datavalue":{"value":{"entity-type":"item","numeric-id":39832,"id":"Q39832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43932$F83988E5-FEB2-40BC-A72D-4D0A7AFD68B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7343f563fd02ee3f7d39ccb038f5c1c6c726769a","datavalue":{"value":{"entity-type":"item","numeric-id":20799,"id":"Q20799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43932$51BA8F44-089E-4C2B-87E0-049D44DAAA30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ab75a27745b95bbc51eed60e2ef7157b7c449125","datavalue":{"value":{"entity-type":"item","numeric-id":33768,"id":"Q33768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43932$FFDB0942-34DE-4CCD-8090-26A40C3DA34C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ccca80b6de24b80a4ce2a4ab4e48d31e9686f36a","datavalue":{"value":{"entity-type":"item","numeric-id":40262,"id":"Q40262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43932$C495093F-FE57-4432-B87A-88D2508B2BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f57e49294646f8e693c0de606c6b939c4c4d234a","datavalue":{"value":{"entity-type":"item","numeric-id":40965,"id":"Q40965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43932$412C6CEE-E8A9-4DAC-843C-D4EA4957E299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2e072a738543502cb1df91e8cb89fd6f06eabadf","datavalue":{"value":{"entity-type":"item","numeric-id":17043,"id":"Q17043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43932$E1141DF8-ACE8-4179-9BE5-D7A9B74D0813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43932$5816D52D-88A4-4111-AC25-D4003EA53A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1d9a241ea62c19819316dc010d562c6313b3903b","datavalue":{"value":{"entity-type":"item","numeric-id":25228,"id":"Q25228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43932$A1368756-75BE-49E6-AAE0-5C85E423FE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"dbfb5e33d8cb9dbe814515b007e55b6104c2d79a","datavalue":{"value":{"entity-type":"item","numeric-id":24996,"id":"Q24996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43932$D440E0E4-AE7B-4C38-A2C7-3B8D0C04B180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8533330b9fa0c1f7979d4af1d0e8bdba3ffc811c","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43932$CACFF818-375B-41C0-B43E-A6E3F80FDE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fcb89138f2cc9d0f178811b072e7512c5b2ed77c","datavalue":{"value":{"entity-type":"item","numeric-id":16194,"id":"Q16194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43932$69F96A74-3F00-4F49-8F42-E87C35784E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b82152c1528c5be7e2040d1abd74977f4fe51817","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43932$3A908D19-7544-4D9E-AF8F-5523A493C32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43932$A60C395B-A562-4095-B96D-0F24115BC857","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1b520dde113b884b9225f1682c7599ab07f6c11","datavalue":{"value":"https://isa-afp.org/entries/IEEE_Floating_Point.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q43932$C17C56A4-7CD0-45CE-96A5-4F0B272B1F27","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"949d6e50e884d68054377c48b7c51b007ddcd0af","datavalue":{"value":"Lei Yu","type":"string"},"datatype":"string"},"type":"statement","id":"Q43932$A40E0F8C-2B49-4079-8990-1F92752E3B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"7367b16d2a7a3d3a354751cf4004ad9db8d21825","datavalue":{"value":"Fabian Hellauer","type":"string"},"datatype":"string"},"type":"statement","id":"Q43932$652DBB7B-BC11-4425-A838-4BF17B8D907B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"283f1bfcca6dad06181e4c5e3bf9d823639da8ad","datavalue":{"value":"Fabian Immler","type":"string"},"datatype":"string"},"type":"statement","id":"Q43932$4EF7D46C-05AF-4AB4-8188-95B2ABDEC278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"2f854883aaf7cde2ebd962b9b518c74b730cb624","datavalue":{"value":"Tjark Weber","type":"string"},"datatype":"string"},"type":"statement","id":"Q43932$F55C83C0-19B7-4869-9063-5A05AFB7BC50","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f076b95504e538dff39b53a6faa3c4857ac54ee7","datavalue":{"value":"This development provides a formal model of IEEE-754 floating-point arithmetic. This formalization, including formal specification of the standard and proofs of important properties of floating-point arithmetic, forms the foundation for verifying programs with floating-point computation. There is also a code generation setup for floats so that we can execute programs using this formalization in functional programming languages.","type":"string"},"datatype":"string"},"type":"statement","id":"Q43932$75297D04-B400-4308-B165-AABD7CE6B5D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53ebd2cd986420605b596820b0e5afec9571c8d2","datavalue":{"value":{"time":"+2013-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q43932$8C1D3A46-7F95-4C51-96B2-1A4DA6B3020F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e30909f57838684f60230f6bb136ffad01b93725","datavalue":{"value":{"text":"A Formal Model of IEEE Floating Point Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q43932$6D7D5D18-7E0B-49C2-B724-A3B0C849B85B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43932$F4D130CE-7D10-4800-AC34-ABD28A952751","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43932$1001C198-5E9B-4082-950D-6A75A7B49A32","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"e63516e58241acf42ac71681fd6610456ac84f3f","datavalue":{"value":{"entity-type":"item","numeric-id":7361376,"id":"Q7361376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43932$08CC71AF-A1D6-4026-A41D-DDE4D7C9210B","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"ef7bddd24a035fe32f48fd95ea6033928a9b8e67","datavalue":{"value":{"entity-type":"item","numeric-id":7360788,"id":"Q7360788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43932$90C05F87-59A8-479C-BF63-3838657078E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"IEEE Floating Point","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/IEEE_Floating_Point"}}}}}