{"entities":{"Q4571480":{"pageid":6601069,"ns":120,"title":"Item:Q4571480","lastrevid":41151741,"modified":"2025-04-18T12:57:16Z","type":"item","id":"Q4571480","labels":{"en":{"language":"en","value":"A mechanically checked proof of the AMD5/sub K/86/sup TM/ floating-point division program"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6899609"}},"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":"Q4571480$41B60A6E-21B8-4C0C-858D-BCB79FB1710F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0616b11d28ef7892b3ee11b56b4558266c259c7","datavalue":{"value":{"text":"A mechanically checked proof of the AMD5/sub K/86/sup TM/ floating-point division program","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4571480$7143E2F8-6935-4A72-A428-721506ADAC67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b096f9e97db53fa157925832486886547bb88e42","datavalue":{"value":"1392.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571480$CDA698AF-E49A-4430-9695-946E192F7BFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9738390ac0fd816695884226f5227916ac0208fb","datavalue":{"value":"10.1109/12.713311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571480$EE5F895A-B417-4467-A5C3-3A337315CEB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0d384413a2d1b8185eb46b74e5b2c74244e0aac","datavalue":{"value":{"entity-type":"item","numeric-id":928667,"id":"Q928667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571480$0954E70C-B0D9-4D9D-8BED-238257B05258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e369aca92dfb1c875e7c1e1785a1da6029b4c21","datavalue":{"value":{"entity-type":"item","numeric-id":1916985,"id":"Q1916985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571480$205C36AD-FC1C-4CFD-8E70-D46747116696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6bbab2ea230ef82cf7d72bee404dd827d5aaeed","datavalue":{"value":{"entity-type":"item","numeric-id":230814,"id":"Q230814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571480$8E598C72-450E-4211-8CD6-E5D42E9BF563","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb95ba1181f89055fe808aa2c36bea9d3930d0fc","datavalue":{"value":{"entity-type":"item","numeric-id":80442,"id":"Q80442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571480$7AB514C6-6754-44B0-BA88-0BD743CDEBD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20fc1ac084e12d18c0e5ff948cffdf2d3bf183d6","datavalue":{"value":{"time":"+2018-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4571480$D23F29B4-DDCE-4FF1-931B-36DA0F119A91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571480$A35C919D-75E7-4663-AEB4-8AECE728EB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a61c1214f17b12b67364674d8143dbdd872c34c1","datavalue":{"value":"65Y04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571480$B4477A22-E036-4F1C-A1DB-DDAD4799B117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571480$52AFF211-6CAD-47B6-88B2-C11C7C894774","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42d1e83d5befe938fe7f0bcf6d0338df5f4aff8c","datavalue":{"value":"6899609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571480$66C37EE4-03A3-4F00-BD95-730901AA15DA","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":"Q4571480$A7F8A2F5-B77D-413C-A4E2-8D051B7C0AC2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03dc85f73e4e2ca57ddbbd15154170f865390464","datavalue":{"value":"https://doi.org/10.1109/12.713311","type":"string"},"datatype":"url"},"type":"statement","id":"Q4571480$BE183258-A84F-4889-9C91-10682AEC6A80","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a8a99d3b52f5dd6b5bdf524b7763386b883772ae","datavalue":{"value":"W2108776769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571480$7D19982D-D4C8-40D3-8248-81CC02730828","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c10ff3528cba28f6ca45b4502afe1e842a6322e4","datavalue":{"value":"Q55967722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571480$0F4D4D64-3C41-49DA-B534-1749ED8C3102","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0adab14be603a93bde827af0da3bc9888b83cc92","datavalue":{"value":{"entity-type":"item","numeric-id":4230664,"id":"Q4230664"},"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":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4571480$00238563-2945-4C38-B0D9-5FAE57CC9517","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":"4467911c24f107e62e8bb1d1a27f17c29ddc6b55","datavalue":{"value":{"amount":"+0.8811031","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4571480$EF56B6D9-33F9-4A28-8F47-AF1927AD735F","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":"c13939dc64c27edd8072cfb71c5d3355b1a16d49","datavalue":{"value":{"amount":"+0.850115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4571480$E60F3678-FFC2-45AC-BADD-3894464EA8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53c7de51ab2f6fb2f10aa9f51ef440b5e3c932f4","datavalue":{"value":{"entity-type":"item","numeric-id":1314510,"id":"Q1314510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c485b223699dbd113a1425dc77b445dabd8aa04","datavalue":{"value":{"amount":"+0.8313322","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4571480$03FA60C6-243B-4373-9BFE-289470690070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13e649264ee8c5f77323097969c0d9813410c2c8","datavalue":{"value":{"entity-type":"item","numeric-id":2754046,"id":"Q2754046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93835bc77e48dc0c129c26da9dd29ffb6eea584c","datavalue":{"value":{"amount":"+0.8304153","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4571480$EB9779DA-3F6F-4868-AEF1-A20489C1C499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab31d5912cadbbfefc841f45e39fc28cb02cf95c","datavalue":{"value":{"entity-type":"item","numeric-id":5747756,"id":"Q5747756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3951524af75c04879349d81f04f9a893315d1575","datavalue":{"value":{"amount":"+0.828774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4571480$4270D744-A99F-476A-AE18-73515565DDFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8be7d031f8cc6aca2c091854837ffd1e20b0a28a","datavalue":{"value":{"entity-type":"item","numeric-id":5899158,"id":"Q5899158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8216190b2a82482ad162086d9db498767e655087","datavalue":{"value":{"amount":"+0.8255915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4571480$CC58FB1A-6630-4803-B658-D5A12DCE996F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4571480","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4571480"}}}}}