{"entities":{"Q5066604":{"pageid":7096180,"ns":120,"title":"Item:Q5066604","lastrevid":36784540,"modified":"2024-07-28T10:47:14Z","type":"item","id":"Q5066604","labels":{"en":{"language":"en","value":"Formalization of Double-Word Arithmetic, and Comments on \u201cTight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic\u201d"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7500134"}},"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":"Q5066604$7AAF50D3-DC74-4824-86E3-53895485AD73","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1693111ea111bdaea70b9172b3eb8b464dcda0c4","datavalue":{"value":{"text":"Formalization of Double-Word Arithmetic, and Comments on \u201cTight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic\u201d","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5066604$0CE88E85-127A-4C2B-83E4-0295E1B8C127","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08321f318eb463bdd65b4611908c563e59793520","datavalue":{"value":"10.1145/3484514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5066604$5DCD21E3-1723-446F-93E3-387CB2EF9779","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81a226bb8cb4f6ca735813db79e1c23942b1542c","datavalue":{"value":{"entity-type":"item","numeric-id":342872,"id":"Q342872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5066604$2A26B23E-60B4-4631-8BAC-E96FB42DDF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14de6399ed68b8e9b6c4461a695ee55ff6b12be4","datavalue":{"value":{"entity-type":"item","numeric-id":928669,"id":"Q928669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5066604$36706837-C3CC-4072-AAA0-9B872053CFCC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cbfb8631d06c22a12a4e6e761fbdc5e214034300","datavalue":{"value":{"entity-type":"item","numeric-id":62119,"id":"Q62119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5066604$FE3EB32A-BFC3-4108-9B74-08D46D8A6888","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dbe6dc352e4adb221184dbd4f9ee875a707dab8d","datavalue":{"value":{"time":"+2022-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5066604$344E77D5-E01E-4E37-A8EE-0C0376BE9944","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51d647e27b28911428d1e10e901ad03eba3d6a07","datavalue":{"value":"65-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5066604$036C16C0-8739-403B-9011-79138F5FE554","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d33cf1876049278973b3be58c862eadae87c5e4a","datavalue":{"value":"7500134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5066604$0B41935F-4C58-4E23-AC60-233BCDC5E50E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00216556e27ad3bbc2d642874d0693b52d5f53d1","datavalue":{"value":"floating-point arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5066604$7CE4A5F8-718A-4E76-9D1C-AC310B58E693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0727ac87de47ae26257831f654ead4ab00f4a67f","datavalue":{"value":"double-word arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5066604$57D96DB3-3C52-4DCC-91ED-920A4BBCB2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb5a34d2fbff1dedfd6297f14fc388f70ab3fe5a","datavalue":{"value":"double-double arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5066604$4A0565D5-41BA-423B-8911-A248110F8094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5ef51b89dbf72f7181f6b41896d9233a3e6b1ce","datavalue":{"value":"formalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5066604$66E35672-D520-43E0-85DF-D462DD84C5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a78675f0dcb3af511ac1d4dfa61901e828bcb8","datavalue":{"value":"proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q5066604$ACA05763-530C-4B70-A1D2-4631BFADC568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"587abfb10815bcb97839de12d5d9baff5f03e40b","datavalue":{"value":"coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q5066604$AAA6B042-3AA0-4078-A4B2-82B6B9725E87","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"18ef4aa3ce0c612f2025df1291a8ac9487975633","datavalue":{"value":"Q113309853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5066604$BEC50500-8EEE-4D7F-B7E7-BD7C1B18CBA9","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":"Q5066604$32CC4A72-FA6E-4A7F-9E96-AD3C530EBC74","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a64eca64f10d6231ac9925025a806d92d5a1687","datavalue":{"value":"https://doi.org/10.1145/3484514","type":"string"},"datatype":"url"},"type":"statement","id":"Q5066604$E16CD286-E8EE-49CC-93B3-8A5348C8F486","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fda82205c012a39bd12df93f2803110f0b98af81","datavalue":{"value":"W4213324292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5066604$94E5B87F-1F55-4710-AA5A-20DA171D8085","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6088134b435dad2c73dd6160b51b58bfb3122a79","datavalue":{"value":{"entity-type":"item","numeric-id":2352505,"id":"Q2352505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5066604$92EF2A29-2B89-43E5-B439-40A7F4C5E3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc90f519741959885c97856c7164fc497d5566b1","datavalue":{"value":{"entity-type":"item","numeric-id":2973239,"id":"Q2973239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5066604$0671151B-AA53-4F4C-831E-C2B359CFAA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ab1fb3b741de6ad15a6cf3e725ed00bb86921b6","datavalue":{"value":{"entity-type":"item","numeric-id":5274886,"id":"Q5274886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5066604$3152B58F-E009-4EDE-A7A2-BF0497B77184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2940d495eb2b669794d95ca8ddbb03437430e8b","datavalue":{"value":{"entity-type":"item","numeric-id":4790659,"id":"Q4790659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5066604$C568EFC9-66E5-403B-B936-006BE0D6942A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e10366aa14b4f4cc11a9a253b0c3ce76fb85ca","datavalue":{"value":{"entity-type":"item","numeric-id":2549229,"id":"Q2549229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5066604$E07DC4F8-7DED-4A5D-A822-4AF8AB296C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77c9d5a575b9e1cb1a369c580951e34943f4cf11","datavalue":{"value":{"entity-type":"item","numeric-id":4600709,"id":"Q4600709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5066604$B2DF7E77-943B-46A1-A4C0-173D8C52EBF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccc6ca213c7eba58b9e091e49053029cb5164755","datavalue":{"value":{"entity-type":"item","numeric-id":4581373,"id":"Q4581373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5066604$FD66E9B9-DA8A-429E-950A-2BE91E3EC4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28afd2fcb541e36a9b490796fab49ed4b5aabc61","datavalue":{"value":{"entity-type":"item","numeric-id":2819222,"id":"Q2819222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5066604$39E8CB5B-992C-4046-8E07-F44274D3289E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"354743a0150c2505524747689903fce2fa318856","datavalue":{"value":{"entity-type":"item","numeric-id":4344097,"id":"Q4344097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5066604$356C08F1-57F8-49CF-B5BB-75402880FAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62f5098e7a23e9d8acf5a7a078afcf698b84aa67","datavalue":{"value":{"entity-type":"item","numeric-id":5461236,"id":"Q5461236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5066604$F77A7F27-FAF7-4EAD-9F48-9F52AFA8487A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98138980df53423c6ebdb27048e3d572db23b08f","datavalue":{"value":{"entity-type":"item","numeric-id":5339762,"id":"Q5339762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5066604$445A625E-E60B-4FB2-B0E9-C99B66F253AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f72f65644d666e389907b7173225cdf0065502fd","datavalue":{"value":{"entity-type":"item","numeric-id":4571480,"id":"Q4571480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5066604$04D8ED00-1CBD-4123-88CF-0116AB0BD993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d077f7417b2812e541ae3d63f2b9abb351153146","datavalue":{"value":{"entity-type":"item","numeric-id":3629031,"id":"Q3629031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5066604$6CC3FE52-F314-4899-8AA7-1941C2433B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c24f57952c7536021f024c74a37c16065b48107","datavalue":{"value":{"entity-type":"item","numeric-id":5461047,"id":"Q5461047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5066604$055EA142-8E6B-4ED2-903D-93456F185C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac6818aeffdaf8415a5a7f081a2da5ee7312891d","datavalue":{"value":{"entity-type":"item","numeric-id":5693174,"id":"Q5693174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5066604$79FD5EE3-4704-47A4-B981-E8E0A721DA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08972496f8d06b458c2cad3d9db4a9e4afb31659","datavalue":{"value":{"entity-type":"item","numeric-id":1380822,"id":"Q1380822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5066604$3D2C6FEF-876F-47C0-8331-AB125944D418","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5066604","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5066604"}}}}}