{"entities":{"Q7361869":{"pageid":31521146,"ns":120,"title":"Item:Q7361869","lastrevid":105369941,"modified":"2026-10-07T13:38:44Z","type":"item","id":"Q7361869","labels":{"en":{"language":"en","value":"A Formal Model of IEEE Floating Point Arithmetic"}},"descriptions":{"en":{"language":"en","value":"AFP entry IEEE_Floating_Point"}},"aliases":{},"claims":{"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":"Q7361869$C59D8967-023C-4B64-9988-D4A990FB15E5","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":"Q7361869$63BBF6BF-4CF8-45AE-A1C2-429778215464","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"949d6e50e884d68054377c48b7c51b007ddcd0af","datavalue":{"value":"Lei Yu","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361869$68A2369E-3637-4DF2-BCAC-0C298423078B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"7367b16d2a7a3d3a354751cf4004ad9db8d21825","datavalue":{"value":"Fabian Hellauer","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361869$99735EEE-82C7-4D56-A3DD-E6E1948F5FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"283f1bfcca6dad06181e4c5e3bf9d823639da8ad","datavalue":{"value":"Fabian Immler","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361869$B78BB870-ED70-4C04-84F0-D08D239AC370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"2f854883aaf7cde2ebd962b9b518c74b730cb624","datavalue":{"value":"Tjark Weber","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361869$20B9ECA0-B990-490E-9447-71AAC6CF6D5E","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":"Q7361869$99022FA6-08DB-4DB4-8509-D16BAB5FDBE6","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":"Q7361869$17BC35A7-CB7B-4432-99B4-C430528F0BBC","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":"Q7361869$7AE67D8E-D721-42B3-8F4F-B922452B659E","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":"Q7361869$349F7334-4D5F-452B-A5ED-1B1DEAC24064","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":"Q7361869$F7555E2F-BC35-4B52-9191-9882C18FCADB","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":"Q7361869$358FCB25-DEB5-45EE-A74A-76F237D72ADE","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":"Q7361869$B014115C-9B69-46B9-B4D8-9E1154A73701","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Formal Model of IEEE Floating Point Arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Formal_Model_of_IEEE_Floating_Point_Arithmetic"}}}}}