{"entities":{"Q4230664":{"pageid":6260265,"ns":120,"title":"Item:Q4230664","lastrevid":40707368,"modified":"2025-04-04T10:31:43Z","type":"item","id":"Q4230664","labels":{"en":{"language":"en","value":"A Mechanically Checked Proof of IEEE Compliance of the Floating Point Multiplication, Division and Square Root Algorithms of the AMD-K7<sup>\u2122</sup> Processor"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1249441"}},"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":"Q4230664$E3684A08-D7C1-4C62-881E-B54665098B18","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a9b15db219b06dea9e33d29fa942d170e9a2b7b","datavalue":{"value":{"text":"A Mechanically Checked Proof of IEEE Compliance of the Floating Point Multiplication, Division and Square Root Algorithms of the AMD-K7<sup>\u2122</sup> Processor","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4230664$5852E19D-FCCF-4D1D-8A63-8074321D07AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"480c861b2af54d431b471744cc1f349dad5b1ca9","datavalue":{"value":"0910.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4230664$341E4968-2CDC-45ED-8025-18F25AE7CA20","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c6692d950d247ed15fd47938d276422577792f0","datavalue":{"value":"10.1112/S1461157000000176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4230664$60E6676D-30F4-4C5E-888B-EFE61151ED36","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74ab161205b2632de50aff2567915fa99648a937","datavalue":{"value":{"entity-type":"item","numeric-id":1187852,"id":"Q1187852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4230664$3CB7B1B6-03C6-4035-8D4D-660F5FB0F702","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"997f8e81aafe849f90a25017f3ed07a2b1feb16c","datavalue":{"value":{"entity-type":"item","numeric-id":2709391,"id":"Q2709391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4230664$B95F5ED1-1831-4480-BE88-401AEDEDC6FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a024f6181bd7b474d392ae445eb00fa96a8b8c5f","datavalue":{"value":{"time":"+1999-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4230664$2D17F415-DA36-4B73-8AEB-9D2EB4E84741","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ce1da1ef9a479f2236fe188fb9bab2b5e51615b","datavalue":{"value":"http://www.lms.ac.uk/jcm/1/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4230664$1E4EFC40-A17D-4760-B80F-C22F444D7B5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4230664$D29F4342-BB42-49C7-A196-8D480EE4D982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4230664$725FC8F4-6255-4CE4-AACE-938ECFC54592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"34a168fb3a5d9a7cf8cac2cdc24ae08d3f435434","datavalue":{"value":"65Y99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4230664$F4557D43-0622-406E-8366-1A717EEC470F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aee1ee08f6b412d0ef82398fb4a1310fa936e3b0","datavalue":{"value":"1249441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4230664$57D236A4-6708-4201-9F33-8B10D8F1EEFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bf1026dd76385239cfeba282a35ceb80a033962","datavalue":{"value":"formal hardware verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4230664$80EA73C5-A4F0-4E94-ABAA-1C079683144F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4230664$DCA9CBDF-78E7-4B6D-AC7D-E1480C77F958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4230664$A14B7F9A-D079-4420-8CD5-EC6FA0A517E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8f057223c758d6b8295ecbdef4842faac2ccb72","datavalue":{"value":{"entity-type":"item","numeric-id":19253,"id":"Q19253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4230664$515D9182-3F80-4659-967F-32E54EAE0866","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":"Q4230664$8DF9A6DE-9F0A-4387-97DB-0A86296AE6F8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7536e92384e11ec3ce8637ede805331f9e036d8","datavalue":{"value":{"entity-type":"item","numeric-id":3997095,"id":"Q3997095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4230664$83B46DFE-CCCD-4083-93CD-C7F63BC2ECFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca4ae8315d2e25a6cd895d444d6e5c5494f118e3","datavalue":{"value":{"entity-type":"item","numeric-id":1203115,"id":"Q1203115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4230664$7CC9AE87-FD27-42E1-AB76-B2D798CE5F6B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"041055d055916b8f85565afb7c7111387f1a6a30","datavalue":{"value":"W2099571283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4230664$7E577E4E-AE43-4543-B722-064890D69715","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26cc5a94a2950bdcade849bf5f27b1484a611b22","datavalue":{"value":{"entity-type":"item","numeric-id":4571480,"id":"Q4571480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2031136b3013d771180bb18527e524a486619b36","datavalue":{"value":{"amount":"+0.8877177","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4230664$84D823CD-F4C8-4A9A-8A7F-9D9989EC09BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e08d4c1b4a36ec698bdc3aa8756e9e8896d4ff","datavalue":{"value":{"entity-type":"item","numeric-id":4787230,"id":"Q4787230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69a58353e9e37f275586862328754e1e33f20b79","datavalue":{"value":{"amount":"+0.8421165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4230664$59E9B479-3602-4DBE-A11E-4076D74DA6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"634865f6354839c52530abb008d3913b47aec7f9","datavalue":{"value":{"entity-type":"item","numeric-id":2152274,"id":"Q2152274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2db633914d993900f3be00e16d425571c32d1aa3","datavalue":{"value":{"amount":"+0.82947254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4230664$35FACC32-A3F9-493D-8404-19517863C6B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4042647b40b7232d9e5d270d53453de771416c9","datavalue":{"value":{"entity-type":"item","numeric-id":5159259,"id":"Q5159259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d2c646b00239719b970e3b5f662bed36553f9b4","datavalue":{"value":{"amount":"+0.82260364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4230664$2BF2770D-749B-4075-B926-51E10A436758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60aaa4c94df7f4a0de8e974ffcb0803c57de242a","datavalue":{"value":{"entity-type":"item","numeric-id":5280627,"id":"Q5280627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f19b4e7c7399367a8d1e3aaf6b289d5a550809c2","datavalue":{"value":{"amount":"+0.8089652","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4230664$8EB82B42-1A04-4225-AA4F-A8EAD4FF14D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ab5af0b01032fe41b463bb1909a4831e2c66566","datavalue":{"value":{"entity-type":"item","numeric-id":816201,"id":"Q816201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92bd3f96ba078c1e1b0d8123933d658c1e2a316c","datavalue":{"value":{"amount":"+0.80610734","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4230664$9CF31BF9-B6A9-40CD-9C91-0D67AEA2C8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7e7fb217c914e638e4f5584326c05b02f37a783","datavalue":{"value":{"entity-type":"item","numeric-id":4787242,"id":"Q4787242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92bd3f96ba078c1e1b0d8123933d658c1e2a316c","datavalue":{"value":{"amount":"+0.80610734","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4230664$64D3F2B2-A0EE-49B6-98CB-60EA835EACFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4230664","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4230664"}}}}}