{"entities":{"Q714620":{"pageid":716469,"ns":120,"title":"Item:Q714620","lastrevid":42659014,"modified":"2025-07-07T18:54:53Z","type":"item","id":"Q714620","labels":{"en":{"language":"en","value":"The world's shortest correct exact real arithmetic program?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6092841"}},"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":"Q714620$5132E50D-CE05-49D2-985F-EF66B0F62EF0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"104d8ef7b568452685936e9b39874a7ebb5398a4","datavalue":{"value":{"text":"The world's shortest correct exact real arithmetic program?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q714620$6EB60F33-9FD6-4580-A14E-B670170871C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3547dc6445e5251b4b9b46c564a8ce149c662dbc","datavalue":{"value":"1386.68150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714620$EB22DB6E-603A-43CA-B9EE-FB4E2AF24E72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7191134f319418d58727fd4a71fc323f51bc3b02","datavalue":{"value":{"entity-type":"item","numeric-id":714619,"id":"Q714619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714620$0091B764-8AC6-4841-944A-A36118F80CD3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714620$E686CCD7-4F7F-493B-B798-B7DB696CEFF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"627a9c6691e92dc7a2f0927bf16af5db49918284","datavalue":{"value":{"time":"+2012-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q714620$ED424C17-DE0C-4DC0-85D9-4B867B0BDF63","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"978411bbbf87577dc1873097dbdc0314a3234501","datavalue":{"value":"The difference between double precision floating point and exact real number computation is well described on the fourth page of the paper. When computing \\texttt{sin(1e200*pi)}, the former results in a value near 1, whereas the latter gives correctly the exact result of 0. Exact real number arithmetic is difficult, algorithms are often more subtle than their traditional counterparts and not always studied to the same extent.  The application of formal methods in exact real number computation puts the reliability of these algorithms on a new level. In this paper the author presents what is supposed to be the world's shortest correct exact real arithmetic program. Correct means here concretely that the program is verified using the PVS system. The choice of system is discussed comparing it to Coq and Isabelle/HOL. PVS is used mainly since it contains libraries related to the work and since it is a non-constructive system. In further sections the representation of exact real numbers is presented, then issues are discussed of how to compute sin, cos, and log as Taylor series (after the functions are transformed so that the arguments are moved into an area where these series converge fast). The PVS proof consists of 500 theorems and over 60000 lines of code. The appendix contains in three pages the verified Haskell program.","type":"string"},"datatype":"string"},"type":"statement","id":"Q714620$D02AE39C-8CF6-4E6C-849C-3F87D1BB9858","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"80e987276e122a41f9b91b8b2fac713fac5a8dbb","datavalue":{"value":{"entity-type":"item","numeric-id":504392,"id":"Q504392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714620$DD4809B3-92DD-430A-BCAD-B78251FAF3AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714620$4AC97CBF-E00A-444B-B765-0665508E76F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7552bdbce121bf883055f4f08f72933da7729068","datavalue":{"value":"65G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714620$7417BF23-28AD-4EE7-9B32-220584E970D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714620$43505408-E640-43CD-AB1F-B377D35861DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad97a626c8c3c3262a11b394dd51789ffc950c39","datavalue":{"value":"6092841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714620$7617621E-6474-4702-8671-8FE125F62400","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a750407036b37c9b3abd18e15b0b3c77ba88a22","datavalue":{"value":"computable reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q714620$1F41D83B-74BD-479C-B150-FA67B02F81E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c68e78acfd8da85726644b8041d98f4d34edab34","datavalue":{"value":"exact real arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q714620$45764CBD-6593-4D59-9066-E50DF15BE6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940efae7ca985ca50dfde820ae89474e72d365df","datavalue":{"value":"Haskell","type":"string"},"datatype":"string"},"type":"statement","id":"Q714620$FE5A80BC-1C61-4708-9D36-3048F177E25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q714620$431B712C-8355-41A1-A073-467E1F54AF44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3d3d0d2409011411be91984a4137a1c90ca04ff","datavalue":{"value":"PVS","type":"string"},"datatype":"string"},"type":"statement","id":"Q714620$8BDDEAF0-115C-40F0-821D-CB35EDA5CF28","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714620$6EAF5B12-E82A-485E-8EA6-DBE289360054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714620$365EC608-4DDE-4CD5-BB21-D56236CEECDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714620$655D13E5-DFEC-4FFC-9DDE-29A49F0032D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714620$B114D550-B399-473D-A270-9C0ED8F30034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714620$333D2CB9-B7C0-4B64-9EDD-D7DA3189B535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5138aa8b5d1aa4fce219e8bf51cff1589867ec5","datavalue":{"value":{"entity-type":"item","numeric-id":20769,"id":"Q20769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714620$4A84E661-346E-4F51-A83D-8324A710A815","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":"Q714620$02A373BB-3D8F-4F30-AAC4-7D5DDE7D0D56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e48bd15e5e88deeeb3c3c237fda161e39a49f43","datavalue":{"value":"https://doi.org/10.1016/j.ic.2011.09.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q714620$E7313318-010F-403C-8F8F-8549DE32F4ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f364604345005a39f8b1cda2307bfd19955e96f","datavalue":{"value":"W1975365077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714620$9B304DE7-F552-432B-83E9-1C53AAE8C623","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"339c967f1da0c61f0e43584c53f54f57e979d609","datavalue":{"value":{"entity-type":"item","numeric-id":4484330,"id":"Q4484330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714620$9C6094BE-11CF-4348-A19B-B2AB1B4E04EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd2069c6dced9deacdb5a8b239962591f3239c4e","datavalue":{"value":{"entity-type":"item","numeric-id":4918049,"id":"Q4918049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714620$A6A1CA83-E33A-401D-9936-2031F7F9A38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"370a7a9f2f12fff9703ef7acb9b288b6aa8adb3b","datavalue":{"value":{"entity-type":"item","numeric-id":4531979,"id":"Q4531979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714620$6B4B89EB-37AE-4222-BCF4-AA6F522906D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"584c7a9a835c28d4ba3d73747c45581adc6618fd","datavalue":{"value":{"entity-type":"item","numeric-id":5308359,"id":"Q5308359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714620$B58E9ED7-B53D-4BAA-961C-6B4DE6C0859E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bbafb4c632b6a6b9de7527d8aee97aca0cf6440","datavalue":{"value":{"entity-type":"item","numeric-id":1853641,"id":"Q1853641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714620$69DB4816-5752-46F7-8F7C-10BF322B1995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63518aa5bee41c52a75c467c20ddd44994fae3d1","datavalue":{"value":{"entity-type":"item","numeric-id":4373854,"id":"Q4373854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714620$84B1B546-C38F-4EAD-AC1D-3ED0E870D43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f30365d42caf6766e6692a155b036d7f93a051e","datavalue":{"value":{"entity-type":"item","numeric-id":4531992,"id":"Q4531992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714620$79D3E577-1953-49BB-8640-A0D2BD8ECA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb047bff53960ca5a5ac7c15b57d3ebd2369ca12","datavalue":{"value":{"entity-type":"item","numeric-id":5717063,"id":"Q5717063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714620$E0156FB7-F492-4253-97DC-CA5D8FB2EC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714620$A1CA0BBD-E975-4071-9C89-1B5913089DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"def2c931176027a2e91972d8f217f89dea0b484e","datavalue":{"value":{"entity-type":"item","numeric-id":3994907,"id":"Q3994907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714620$C0024D9E-1D52-42BA-A3B2-177A1B885D79","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e54823212d3385c89c1a3c310048ab68e57e0459","datavalue":{"value":"10.1016/J.IC.2011.09.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714620$BF0AE0A9-47F3-4C75-B821-A6BF558BDD65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84cc33258b3ac39d09f926d22f71e44159046283","datavalue":{"value":{"entity-type":"item","numeric-id":5740678,"id":"Q5740678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58973cd88f358313ac903657ec1048c6b9deab4d","datavalue":{"value":{"amount":"+0.80692476","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":"Q714620$BAC4EF18-4C4B-4684-AB30-F6701D24A1DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"325cd853494fdbf5de7636715bb6827dc671afe5","datavalue":{"value":{"entity-type":"item","numeric-id":3765236,"id":"Q3765236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"badb48c000038c2d1d84d4f3a67fbf37002c4dea","datavalue":{"value":{"amount":"+0.78586626","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":"Q714620$679F8386-EAA3-40DD-BEA5-666614AA486A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8bdcec78021c79ab34a4191eda80e4c98d8ba40","datavalue":{"value":{"entity-type":"item","numeric-id":4532001,"id":"Q4532001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"050fcc0d9963ba40aa4f3927727730e8d26ad348","datavalue":{"value":{"amount":"+0.77888954","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":"Q714620$1C9BCBF1-0B8A-4B43-9655-B82F6025DAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b02367157a566d53e7d26cb124bfa14c7623c01a","datavalue":{"value":{"entity-type":"item","numeric-id":2847781,"id":"Q2847781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51cece2422f87a8bc6f16ace9281ec7884a4c480","datavalue":{"value":{"amount":"+0.7736209","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":"Q714620$38192436-738C-400A-95A3-27173B12CC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d93184323b25f8cf549364d04d765260ce21bec4","datavalue":{"value":{"entity-type":"item","numeric-id":817858,"id":"Q817858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc6cbdfb323834c597f9c9913630c0cbb19d41e9","datavalue":{"value":{"amount":"+0.7731719","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":"Q714620$E269C99C-0E61-43C9-83EF-878BDF4364BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2da600c5ef73eb49cd1aca2d33312234c648c8ed","datavalue":{"value":{"entity-type":"item","numeric-id":5425455,"id":"Q5425455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee050d2c5100bfca163feaf9317ba09e6ca90adc","datavalue":{"value":{"amount":"+0.771784","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":"Q714620$5A123E2B-8DD1-4372-B309-179834275413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a15a471f7738a1b9392baf200b6dd58995712b84","datavalue":{"value":{"entity-type":"item","numeric-id":1015372,"id":"Q1015372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90fae0010030eb5570d121f91605aed70f1a294e","datavalue":{"value":{"amount":"+0.7717672","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":"Q714620$772AB36C-5AC1-4E71-897B-B12EEA95A424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39ca5152399e557cbb11b9035c0044e31edfa201","datavalue":{"value":{"entity-type":"item","numeric-id":4425674,"id":"Q4425674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93efae4ab8212352406548b07684850553f491b9","datavalue":{"value":{"amount":"+0.7669855","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":"Q714620$BDB7ECC8-4912-4D7F-8905-F863394320C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4896daa018d49a30cf1d2ad820e5a85d549aa5b","datavalue":{"value":{"entity-type":"item","numeric-id":3431545,"id":"Q3431545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45bcadd689c6bbe6268ed0ee83ed77d7da7b3a08","datavalue":{"value":{"amount":"+0.7635784","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":"Q714620$29E780C3-869A-451E-90AA-4DFB8A5AD66D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:714620","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:714620"}}}}}