{"entities":{"Q685861":{"pageid":687710,"ns":120,"title":"Item:Q685861","lastrevid":42642477,"modified":"2025-07-07T15:10:43Z","type":"item","id":"Q685861","labels":{"en":{"language":"en","value":"Loop invariants in floating point algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 425522"}},"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":"Q685861$E18A9553-E350-42CE-A7E1-517EF31BD19B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a390b8d67dd2d255d98d4b6a84631d0310c3d31d","datavalue":{"value":{"text":"Loop invariants in floating point algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685861$5648709F-2AF6-4D3E-B56F-86FF2908F9AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3818d38abb2405e8bccf613ef0829d3a66931c25","datavalue":{"value":"0779.65028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685861$9D97A196-C49E-4E4A-B917-F9449C9D23E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b786d434b249e1ba568d6b476a3b04f279f0bd3","datavalue":{"value":"10.1007/BF02243815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685861$CF844605-6E0B-478A-B9EC-277D7E64CEE6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba490b83ff4ccc575f8e1ad95a2e742f98dadaa2","datavalue":{"value":{"entity-type":"item","numeric-id":685860,"id":"Q685860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685861$5697B3F9-FC28-431D-881C-B74A7AAE6FAE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b79ece58f33b59758a066cb6b9ee149bab3a2c9a","datavalue":{"value":{"entity-type":"item","numeric-id":167642,"id":"Q167642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685861$95499C4A-6DFD-4312-BE38-1B77F4975F40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"754b3b51d809379c8c8e6b0470743f1e863a6c78","datavalue":{"value":{"time":"+1993-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685861$D4120A68-9FDD-475D-9FAF-FB88530DC00D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"224133dd68a4f3b66ddf7d50fd627018c06684e4","datavalue":{"value":"65G50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685861$07917298-3CAC-4B28-8B0A-D88E7EF5B886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4d2aa49789d35e35613e1a84ce4788bfee1559e6","datavalue":{"value":"65G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685861$BAE2008C-5F4E-48FD-BAB9-B8A8DA33A02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685861$BBCED8B1-73B3-4D9A-A454-C4EC0B0D78AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd252d211deb82e75793f6fb5050d5d56b452ebd","datavalue":{"value":"425522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685861$60C0B001-764B-4FC5-B886-5286C1328430","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9804789d201cf2bf0be9509e31222c810b61717b","datavalue":{"value":"floating point algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q685861$2F5754AC-A513-4C09-A698-8A5A91EB004B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed7abaebf13b2cb919f0dd0a68646b96dcfb42d1","datavalue":{"value":"result verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q685861$1E8F402C-83BD-4A4D-AC17-4FDC207F37FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64a9b37509b10265450c5b31dcb7eafe0b5ed4e4","datavalue":{"value":"directing roundings","type":"string"},"datatype":"string"},"type":"statement","id":"Q685861$0FEDBEA9-F0F1-4E0D-861C-05E4C791DC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac749072aa78aa044097d1a27ed036296e220a72","datavalue":{"value":"enclosure sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q685861$6DE1667B-B141-49EA-A728-3FC62692CA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d15e11ee89ec32e1f94dbc57ca7ee2d016f71c9","datavalue":{"value":"loop conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q685861$FBF43F54-C000-4BB7-881D-F226A58FA9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c6b234052d577bbfc0605fdbf112f40bb1c4228","datavalue":{"value":"loop invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q685861$71561309-65D6-4F46-B4DF-150D97604D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0406bcaba2e6336b18a1bb54d386b956e4bec793","datavalue":{"value":"numerical algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q685861$2CD17852-14D7-495C-A417-B1D8C569D5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a25257e49de1a6c28a4f945e09bf33659728705","datavalue":{"value":"rounding errors","type":"string"},"datatype":"string"},"type":"statement","id":"Q685861$F80A8E27-3F0E-4B1C-A658-10589A2A8CA0","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":"Q685861$AF35BD45-9DE3-4E56-8A35-1B17C63569DE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d096ad35c32662be4596601668d001e2923907a5","datavalue":{"value":{"entity-type":"item","numeric-id":3345690,"id":"Q3345690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685861$B74FAB07-54FE-4DE0-A18E-7B9A682081CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac63bb951bd0e8a61ad219b7e42777807041f72c","datavalue":{"value":{"entity-type":"item","numeric-id":3783489,"id":"Q3783489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685861$9C088109-BDAE-4E07-BBD4-CD8F1ECEA8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47b8c90d45ee285590b1a168a8503851fe5b134","datavalue":{"value":{"entity-type":"item","numeric-id":3925859,"id":"Q3925859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685861$EF8FC024-E03E-4239-8954-310FAA57E272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685861$926DD9BA-E006-4412-A638-DC6DAFED96CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4561df7d3c9b88757e5af235ee52355d997c9fa","datavalue":{"value":{"entity-type":"item","numeric-id":4111031,"id":"Q4111031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685861$BDFD690C-2D32-4548-AA7D-B62562D60987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"897b0076ac17421ac22c073770bd60a8d2d03111","datavalue":{"value":{"entity-type":"item","numeric-id":3683422,"id":"Q3683422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685861$6353992B-D8D5-46E9-A6D5-1000DEEDF9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3560f3982fada4b7138be073fdc7a3d10e17d3d","datavalue":{"value":{"entity-type":"item","numeric-id":2641076,"id":"Q2641076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685861$1E61B2F2-5C97-43DF-801A-86C85FBC7F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5585dd9b1aa663de137ae7c61b3fff3739d3a193","datavalue":{"value":{"entity-type":"item","numeric-id":3340032,"id":"Q3340032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685861$E3CAA2A7-244A-4711-9B39-AE7A03231210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a05af9e4e0bb49f1feed52227468ecee4a242db2","datavalue":{"value":{"entity-type":"item","numeric-id":5582326,"id":"Q5582326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685861$021A6CBD-03E5-4E49-9090-7AC23DF46CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f549f0b235eb96d0999bd8bdb97a07ebf294225","datavalue":{"value":{"entity-type":"item","numeric-id":3993438,"id":"Q3993438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685861$1166B54C-5327-4091-90F3-71C0B5EAEA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d0f40612567eb3c4338b5bf29ae6d0e125fe7fe","datavalue":{"value":{"entity-type":"item","numeric-id":3948528,"id":"Q3948528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685861$D6315B5C-8F16-4E7B-B807-B33689333FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69dae1db15c796fa28c403d33e2f43092743cba4","datavalue":{"value":{"entity-type":"item","numeric-id":2526600,"id":"Q2526600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685861$0984CD8A-7F8D-45A4-A1BB-32A9AF4588B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f390bfdbfa438133e93d8843b859656c452e8cf9","datavalue":{"value":{"entity-type":"item","numeric-id":4082942,"id":"Q4082942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685861$6343786A-6164-4274-A3F4-74C29938E52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f94c156853ca830b5bf8382af5346f92b2395a38","datavalue":{"value":{"entity-type":"item","numeric-id":4011815,"id":"Q4011815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685861$049CD2BD-FF80-4019-876E-BA948164C355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e78b7a6350eba7ef33b062ec695d667e0294ffc6","datavalue":{"value":{"entity-type":"item","numeric-id":5245092,"id":"Q5245092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685861$D8E24480-D275-4C06-AA44-A51F8076353A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c1aa9475622f03a2f4744ca34e25184c555f14a","datavalue":{"value":{"entity-type":"item","numeric-id":2233532,"id":"Q2233532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"763e680b63ee6b87ea3e6df471c1a306e85dafa0","datavalue":{"value":{"amount":"+0.8566371","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":"Q685861$AB7C3B53-BA20-4AF3-B94C-4C4949941A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f244ef7a0c312aa0d79f670cfb9068f7d0a09ff8","datavalue":{"value":{"entity-type":"item","numeric-id":5716901,"id":"Q5716901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca3fc3a726159f2dff19c2e0215e4a9878bcb1e1","datavalue":{"value":{"amount":"+0.84908164","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":"Q685861$E86F1492-B2D7-4208-9DB6-D1DD5D8BB45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba1bc2b0a6b8bf93ac1fe6849c365d2ed0978b0f","datavalue":{"value":{"entity-type":"item","numeric-id":5457451,"id":"Q5457451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0074227922dc0ab22c956b1ab78c0c6a6a500726","datavalue":{"value":{"amount":"+0.8470363","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":"Q685861$5BEBBF41-5FD9-4F76-87A9-F0E9849430A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b94c01cd18d6403d2f48321e57b93a16d34b8618","datavalue":{"value":{"entity-type":"item","numeric-id":5493379,"id":"Q5493379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"366e725ea67f8be7255df67a4aaa090c17bb8be8","datavalue":{"value":{"amount":"+0.8456476","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":"Q685861$F8750699-A27E-4455-A92E-87BF9D024779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3947d7c3dfbfa78eae21f3742afaf9fbddaf7b28","datavalue":{"value":{"entity-type":"item","numeric-id":5132335,"id":"Q5132335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"349668d90e93b8c5a5b746449761335dbe82149b","datavalue":{"value":{"amount":"+0.84307337","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":"Q685861$39802C1D-3336-44F0-A1B2-1C15E64F133D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5a2d71083bc3bcc883f4371bec2b0ba4abad37b","datavalue":{"value":{"entity-type":"item","numeric-id":1116287,"id":"Q1116287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52b3b64a890af778e6ff25520860f99bd12da690","datavalue":{"value":{"amount":"+0.842831","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":"Q685861$437D724A-FEA7-4211-A69F-371319A3B252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecf08f9e6eae6c33e54be636f8491d559294d6d6","datavalue":{"value":{"entity-type":"item","numeric-id":3004678,"id":"Q3004678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b802ecffef8fcbbb332346d0e77996cc89349ce","datavalue":{"value":{"amount":"+0.8427572","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":"Q685861$08A0D218-93F7-4346-8185-6A612D6315FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b4c49013c8f101edac7bdf4b94906608d2c51f7","datavalue":{"value":{"entity-type":"item","numeric-id":5132334,"id":"Q5132334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc0ec6473125eed190cb9edcf85b0ad03c963d61","datavalue":{"value":{"amount":"+0.8415708","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":"Q685861$D7E7757E-4200-4AE6-ACE9-FAFFB5AA66E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e71babca2092aae9c25daab5cd7b9c3f6e00e14","datavalue":{"value":{"entity-type":"item","numeric-id":3033331,"id":"Q3033331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"117079121e5bd4415d04646c133391009c214074","datavalue":{"value":{"amount":"+0.84125304","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":"Q685861$0A803CE9-43A7-409C-8EBB-C6108241DDBA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:685861","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:685861"}}}}}