{"entities":{"Q751655":{"pageid":753504,"ns":120,"title":"Item:Q751655","lastrevid":49440559,"modified":"2026-01-07T04:04:54Z","type":"item","id":"Q751655","labels":{"en":{"language":"en","value":"Real numbers, continued fractions and complexity classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4177051"}},"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":"Q751655$76E67549-791C-494B-A2D2-EEE2A7250F49","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b054fae814f84b8c3593d1fbccc4e3a423930113","datavalue":{"value":{"text":"Real numbers, continued fractions and complexity classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q751655$8459118F-150C-462D-B2F1-D885A6FFEE9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a089a7b36f381f3326ff65f44905eae49f14d5d7","datavalue":{"value":"0715.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751655$0622E3FE-DA4A-4EAF-91A6-C172F1CC6BEA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f01a5f55eef6836d729bd5d16b573439bd090f4","datavalue":{"value":"10.1016/0168-0072(90)90052-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751655$2930FDFE-BBE5-4DB7-9289-642C53F51691","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62990496b159b66b82b055af21e358eaa5bd341a","datavalue":{"value":{"entity-type":"item","numeric-id":751654,"id":"Q751654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751655$5B53D6D5-F9DE-4522-AFF0-DA4FD18E9393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"034f9a5ed642447d20b564d6effa648f9746422b","datavalue":{"value":{"entity-type":"item","numeric-id":208823,"id":"Q208823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751655$55FF034A-DBDF-47F1-8880-01CB05F116AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751655$3C5685D2-05D8-47C5-B890-214FCD1BB7D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q751655$0F99DF39-C078-49CE-AAF3-638A66A5D15B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fe7fea91a25b35f36c18470f043ef45e36f19d79","datavalue":{"value":"Some representations of real numbers (including Cauchy sequences of rationals, Dedekind cuts and variants, and continued fractions) are studied from both the viewpoint of recursive functionals and of complexity theory. Complexity arguments are used also to make explicit the impossibility of obtaining some functions as recursive functionals. It is also shown that representations of real numbers that are equivalent from the viewpoint of recursive functionals are clearly different from the viewpoint of complexity. Continued fractions are studied in a more detailed way. The authors claim that Cauchy sequences of rationals are ``the unique representation of real numbers suitable for the ordinary calculus''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q751655$6E7B27C8-AD18-47B7-B209-4124A9E290EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751655$84A3299A-E2DE-420E-A392-3D814586DDE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751655$3F97B16B-B4BB-48E1-9480-CCEC8253A661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a20cd59c273c000bfa7322d339734d32b8ecc250","datavalue":{"value":"26E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751655$C4C22400-957A-4633-B537-1812B54D4810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"223fe586607c60b0738504f3419a7d40d2a118fe","datavalue":{"value":"11A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751655$7CBCB009-868C-45D7-9B2C-357D176B66D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6d37dea0441540e97e1fcfd4bf492d562e6a5f6","datavalue":{"value":"4177051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751655$B1A1584E-13C8-45BB-87E7-7F6AAEDFC474","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d27310ad27c653cc392dcfdd9264d0fa58e35498","datavalue":{"value":"representations of real numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q751655$8D9314DE-FA90-4050-8FD7-7C2B09B04C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f69aac6217ec447b3caf9044468f8bd58f19f26b","datavalue":{"value":"Cauchy sequences of rationals","type":"string"},"datatype":"string"},"type":"statement","id":"Q751655$0BA531B8-2AF8-4043-B0F1-A93265C0AE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d31326ef71090eaccf00aa802cf01d71d143cf2","datavalue":{"value":"Dedekind cuts","type":"string"},"datatype":"string"},"type":"statement","id":"Q751655$1C000F7B-5400-4BF8-8402-099435747CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ad86bb53b74d37af3a4d36e8a96c2c4376ac4b1","datavalue":{"value":"continued fractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q751655$8ADD5D10-5378-499C-A8F3-9006300253AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18d1b7a2c28e77906da4104fb636290a5dcfcc3d","datavalue":{"value":"recursive functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q751655$E10764BA-4F61-48DF-9BBD-6B7C9C4E5A40","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2c917304d9c01e4bbf6d8faabe9ae443bb0caeb0","datavalue":{"value":{"entity-type":"item","numeric-id":587951,"id":"Q587951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751655$F357D3C4-2423-477D-8C18-3FF467BE475F","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":"Q751655$7FA84C5B-4029-44E8-AEB6-002DD73B1F36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"611275068400a8305ebb60db2fac08e69fabc466","datavalue":{"value":"https://doi.org/10.1016/0168-0072(90)90052-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q751655$1ABEECC7-8013-4113-BDBA-7C7FE1E8E001","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e1fc8a1d44f86589bac1985b5ed42cbf24389c2e","datavalue":{"value":"W1995082015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751655$6D8D1B64-D004-451E-928D-917301CA9050","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9103b31e571a5334a4ddeb70bc94abb8a7ca4b3f","datavalue":{"value":{"entity-type":"item","numeric-id":5727752,"id":"Q5727752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751655$58717096-C909-456D-999C-C84B65836FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751655$CB2C87AD-A226-4B7D-9205-C3DB4A515D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"895886e691d85b3f1fd2f8a6af1b9616a7323e79","datavalue":{"value":{"entity-type":"item","numeric-id":3310597,"id":"Q3310597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751655$9D1E2766-248B-493F-992A-8443EAD3DC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"193cf6c7cde084772dc5539f93132aac6459305e","datavalue":{"value":{"entity-type":"item","numeric-id":1096628,"id":"Q1096628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751655$50D691EB-25BA-44EE-935A-38CDC567D1B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"239ce8ec4e3b9429fec71841f77bb740f1b8c95d","datavalue":{"value":{"entity-type":"item","numeric-id":5831321,"id":"Q5831321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751655$512B44ED-B909-44DB-9A8F-BF28A6E3BF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"415562146fbaff5b960315e26de77cc1d8d1ddd9","datavalue":{"value":{"entity-type":"item","numeric-id":1161770,"id":"Q1161770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751655$5416BEAE-A24E-4C82-B200-F53DFDDAACCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b9b6e1876a7ef6a8d3ae40b917b0c350a8b4db","datavalue":{"value":{"entity-type":"item","numeric-id":5790901,"id":"Q5790901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751655$D5AEE4ED-96F5-4CB0-A5BE-BAAF1518D548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1613a6ff5ac7b010de5ba58e55ebd9cdec3d5273","datavalue":{"value":{"entity-type":"item","numeric-id":5765445,"id":"Q5765445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751655$9E770C0E-4FDB-4AE9-8C2D-51BE0983FBF4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7f072feacc62b5172600d95e4a117c63f887b058","datavalue":{"value":"Q127554402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751655$9FABDF5C-1926-45B9-AA6D-C8DBB056E457","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c08eabd3a751fa49bead2c16bd019055df5eacfa","datavalue":{"value":{"entity-type":"item","numeric-id":3469103,"id":"Q3469103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6305fc72a7174abc74e7ebec62bcd54c797b2ec","datavalue":{"value":{"amount":"+0.9172772765159608","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q751655$38B86C50-2031-48BF-BA23-8070E3434964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7bdbece4053abd8528f1281820a40188f06c68b","datavalue":{"value":{"entity-type":"item","numeric-id":1814099,"id":"Q1814099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96646afa844e305069442b37842fa2ef700287df","datavalue":{"value":{"amount":"+0.8996803760528564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q751655$02E0C1A5-F0A6-4C87-8FEB-D4ABDF2F9E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f94131404f4a017fee70a7b2c3bb5cce61bc2c1","datavalue":{"value":{"entity-type":"item","numeric-id":1096627,"id":"Q1096627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d350144ed4c56938e68efc0a6f95dffd74855eb2","datavalue":{"value":{"amount":"+0.8366782069206238","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q751655$0C8FACE6-3698-44E0-8CB3-F9DD119D35F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78e5fa8c88d9b695af601b2553117212d49c2bd9","datavalue":{"value":{"entity-type":"item","numeric-id":3021709,"id":"Q3021709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"142ebf61bb5858f5c9d34d7b75d08ac7accc46d8","datavalue":{"value":{"amount":"+0.8139186501502991","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q751655$11A8BC3A-8742-42FA-9349-87FC81A2F3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2196cf68c61254fd96a08359829f17e60f77a59b","datavalue":{"value":{"entity-type":"item","numeric-id":1201155,"id":"Q1201155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"464e15822109d1b3998031463ba1484e2ebe61d9","datavalue":{"value":{"amount":"+0.813096821308136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q751655$C0F2DE7D-3311-49E5-B157-1A6748A2B63F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:751655","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:751655"}}}}}