{"entities":{"Q6599993":{"pageid":14211150,"ns":120,"title":"Item:Q6599993","lastrevid":40584395,"modified":"2025-03-07T09:45:14Z","type":"item","id":"Q6599993","labels":{"en":{"language":"en","value":"Accurate calculation of Euclidean norms using double-word arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7908563"}},"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":"Q6599993$35A47A6B-AEE4-4F50-BFB3-6000979B6695","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d62cd671458d732e485b3bb77d0d3221979af6e5","datavalue":{"value":{"text":"Accurate calculation of Euclidean norms using double-word arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6599993$47EE13A6-B02B-458D-A33E-EBDF96E44DAD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1148eeec0c1b47f12fe2d00846f7462d45e85b7","datavalue":{"value":"10.1145/3568672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6599993$152CD81D-CE9B-489C-9193-9D913BE567B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5d6107104c61904f297bc4d4ee442c30371839d","datavalue":{"value":{"entity-type":"item","numeric-id":891787,"id":"Q891787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599993$7F77C55C-A95F-4B68-8D7D-C4E8F1242534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5995b233ce78fd6282cef4111d6d36c053087d9","datavalue":{"value":{"entity-type":"item","numeric-id":342871,"id":"Q342871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599993$1417432F-773D-40C7-AAD7-CF7ED5F98ECB","rank":"normal"},{"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":"Q6599993$11636F16-75D8-43BC-BE60-F8EECE53B60F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6af4461e172bb6b988b460a2b0dbab514c97dc7","datavalue":{"value":{"entity-type":"item","numeric-id":1656727,"id":"Q1656727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599993$A994CCD5-F736-424E-9E92-B123F4FFB873","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":"Q6599993$1C10A2E0-A07F-4BBE-B163-4EBA4B096E18","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":"Q6599993$AB502253-A801-46BD-B878-91580283E625","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74b4fed82336f4fd3de28daa42f3cd971eb88d0d","datavalue":{"value":{"time":"+2024-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6599993$2F4F036B-94D9-4465-828A-5A772891BB01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51d647e27b28911428d1e10e901ad03eba3d6a07","datavalue":{"value":"65-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6599993$688F5043-8A74-43A2-AD10-7172581866CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1267cfae220d977ee56346a465e1aa9df0b9b78","datavalue":{"value":"7908563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6599993$BE95D440-621D-462D-95D4-87969FC1BB10","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00216556e27ad3bbc2d642874d0693b52d5f53d1","datavalue":{"value":"floating-point arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6599993$493F867B-8D23-406F-BADC-77C00FF7CF98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c9e30a7260a6416cdc41bf2b08e1d76928a1192","datavalue":{"value":"Euclidean norms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6599993$4AB833D2-88D3-4722-8A8B-FC7BD0F46320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0727ac87de47ae26257831f654ead4ab00f4a67f","datavalue":{"value":"double-word arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6599993$FED2338A-DC80-4AD4-B1DF-3761E02DA322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb5a34d2fbff1dedfd6297f14fc388f70ab3fe5a","datavalue":{"value":"double-double arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6599993$3BB3AFDC-695E-4D4E-9024-2C852833BC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dda5f58d54876bd01862800f88ef737a2f8c5be","datavalue":{"value":"overflow","type":"string"},"datatype":"string"},"type":"statement","id":"Q6599993$2851EF2F-EAD1-458B-94CA-A8167B89E6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edfd270a688269aaa5a060c1cac56f11b8351d93","datavalue":{"value":"underflow","type":"string"},"datatype":"string"},"type":"statement","id":"Q6599993$5661CE55-3411-4B19-94A1-3BB78F5F931E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"547f684c6ab915e4e4950be394638dd4164952b1","datavalue":{"value":"square-root","type":"string"},"datatype":"string"},"type":"statement","id":"Q6599993$0D62431C-468F-40FB-AC8E-F98E9D413921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5ef51b89dbf72f7181f6b41896d9233a3e6b1ce","datavalue":{"value":"formalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6599993$9340B8EF-3BB8-4310-ADB3-7463732662C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a78675f0dcb3af511ac1d4dfa61901e828bcb8","datavalue":{"value":"proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q6599993$55A9FAE5-289A-4A27-B079-73BF7F67366B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"587abfb10815bcb97839de12d5d9baff5f03e40b","datavalue":{"value":"coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q6599993$24BFF97C-D009-483B-91AC-5AED3EBC08FE","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":"Q6599993$FA9B4AD0-7BED-464A-982C-3922BFC64FBE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6b0de3dc09c2cb4d6fd6362a8769023ef26a1bc4","datavalue":{"value":"Q131113284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6599993$0FF0FD25-8274-4739-9B6E-98D9636185E4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad1e2a81ee270920cc9051346fcafe9e85d55c4f","datavalue":{"value":{"entity-type":"item","numeric-id":4581367,"id":"Q4581367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599993$DFDE8274-769F-4F14-AF4F-C2A191D1BBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c8105a5af4655ff4f902fb343adbc7124713e0a","datavalue":{"value":{"entity-type":"item","numeric-id":4600847,"id":"Q4600847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599993$0B765969-7087-46B7-90D9-BB3433AD5EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599993$FCE77BF6-9C57-4C30-AD61-756E387491B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c214a3c96979cb096a196f02f867292b1cb61c79","datavalue":{"value":{"entity-type":"item","numeric-id":4581354,"id":"Q4581354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599993$7D3211DD-764C-4714-9761-710CE324DC78","rank":"normal"},{"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":"Q6599993$56431142-1A00-430A-8A14-14AB2EC29E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a3c1a074aca04b512a5ad2d818c90b8d5038c35","datavalue":{"value":{"entity-type":"item","numeric-id":3389883,"id":"Q3389883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599993$8A4F51A1-60F8-41EC-B818-A32AE4641DFA","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":"Q6599993$CFAA03B6-B9EA-457A-BDE6-17A5FDF76794","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":"Q6599993$3448CF11-50F7-46E8-8A3D-0756B28C180E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f88c0983065f80cad2835761ff52e12e7a51f903","datavalue":{"value":{"entity-type":"item","numeric-id":5025225,"id":"Q5025225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599993$5DBDB934-B83E-44F0-84C1-BF779C696837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1f5aafd3f3059714459fe0ca3aa5a5bbf8cd0d1","datavalue":{"value":{"entity-type":"item","numeric-id":3189688,"id":"Q3189688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599993$3D854326-C447-4CF1-9901-AF7BE097CF45","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":"Q6599993$4F0FB6AA-6155-46D7-A3C4-33DB301168FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96173320242c0ba50d21aed09ac84ef0ebde4661","datavalue":{"value":{"entity-type":"item","numeric-id":5886842,"id":"Q5886842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599993$6725BE2A-F462-4C88-A608-B5AE7502EACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48dd21bcea8d5434fb3284f2202f3fe18238053d","datavalue":{"value":{"entity-type":"item","numeric-id":2828148,"id":"Q2828148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599993$89E0FD60-6C7C-42A2-B501-141D9C292D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"560d15539f7c02970e6e2b15be8dfe2b39288bdf","datavalue":{"value":{"entity-type":"item","numeric-id":4581385,"id":"Q4581385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599993$D0AEACFB-988D-4278-84D4-7F2D788A17EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c9780e360c20a82366b97eb2acf9b054c360e7e","datavalue":{"value":{"entity-type":"item","numeric-id":4779477,"id":"Q4779477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599993$883C9D90-F109-4B55-A57C-E491645B4DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59491647fe38bcd23fd990061378de148a6c579a","datavalue":{"value":{"entity-type":"item","numeric-id":5238758,"id":"Q5238758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599993$BA1FAD74-E888-48DC-8BD7-3B43AC33B6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea390c379bc9c45456ea806fc40d92d22dde5499","datavalue":{"value":{"entity-type":"item","numeric-id":4371575,"id":"Q4371575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599993$D87ED469-DA8A-4D7D-98F8-49781145D416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4d8b60ee560a9a979b4c6c5519858a8d2185eeb","datavalue":{"value":{"entity-type":"item","numeric-id":5280634,"id":"Q5280634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599993$28C5D9BD-8184-49FD-8EBA-0A3FC6BB46EE","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":"Q6599993$A5F0CF64-C044-4DCB-974C-5B53117B5E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1d825eed85af9d954df0cd63b3406a30ce1b4c","datavalue":{"value":{"entity-type":"item","numeric-id":4589506,"id":"Q4589506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599993$B1945EF9-456A-4E19-BBDD-6B0914BC3DEC","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":"Q6599993$2174F8E6-CC46-411D-AC74-C6A51FFC99D8","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":"Q6599993$180B252A-BF69-4AB0-A8DA-2F3B036729DB","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":"Q6599993$57AE166A-0B20-4E3C-A760-AF7D40EC0FE7","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":"Q6599993$644610D3-D790-4C31-A88B-0094D86B8CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"188db94fd9c26525c0ae702cb56edad629ab92ca","datavalue":{"value":{"entity-type":"item","numeric-id":4609588,"id":"Q4609588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599993$832F9CDB-724C-4970-BFA8-252A6F0EB60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d11dce7887ab58a0013b54f5160a49ef66b6cdb","datavalue":{"value":{"entity-type":"item","numeric-id":5066604,"id":"Q5066604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599993$94376A04-C275-40F2-8B4D-33129098ECFA","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":"Q6599993$D276CDE9-75BC-41FC-93D7-B774BC0A17B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05f7b35da1cc5916c1267173b4cebb2641189479","datavalue":{"value":{"entity-type":"item","numeric-id":2411657,"id":"Q2411657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599993$44F7552B-B3D5-4D8F-9F6A-49F2CA645882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66e581e131027f22f008decb1e3a30d9ea9dbd7","datavalue":{"value":{"entity-type":"item","numeric-id":5132334,"id":"Q5132334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599993$F6324330-5CB3-4907-B843-7BA5E6345CF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6599993","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6599993"}}}}}