{"entities":{"Q5925970":{"pageid":8102772,"ns":120,"title":"Item:Q5925970","lastrevid":47583340,"modified":"2026-01-02T03:44:31Z","type":"item","id":"Q5925970","labels":{"en":{"language":"en","value":"Weakly computable real numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1574329"}},"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":"Q5925970$AE36112A-25BA-42B8-A31E-D7AE1F505C8B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3db9c755203a0ca5af08ef4c699293ccee19e513","datavalue":{"value":{"text":"Weakly computable real numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5925970$5FFA2310-7C35-4AD8-B550-2CE8ADFE0566","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08ac1620a1c2522a427ba1f92f01282098dadc48","datavalue":{"value":"0974.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5925970$8EFE3AD5-73EE-4B69-B230-4BBAA7CA41AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b09a388965329c926d542d4fdd3e9db9fa7e3d1","datavalue":{"value":{"entity-type":"item","numeric-id":162061,"id":"Q162061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925970$2573890E-3BF1-4873-B3B0-F583536CABAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b380035f688a74a9a8fbf02991d94c276a4d78e3","datavalue":{"value":{"entity-type":"item","numeric-id":162062,"id":"Q162062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925970$4B6DC04E-9080-41D8-82C5-06590D54E22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"94d21e63acd0d73e94ba5a79e94d5f0afadfd6e6","datavalue":{"value":{"entity-type":"item","numeric-id":162063,"id":"Q162063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925970$D91CF128-A189-41F4-A426-69F3B01FD0E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f728e963338f0590fef2609026707340c65ee9d2","datavalue":{"value":{"entity-type":"item","numeric-id":162057,"id":"Q162057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925970$609CABA5-0DD2-494C-9A73-CBDD8E91620D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e7044733408cd7fa759518d10aba229d93299ca","datavalue":{"value":{"time":"+2001-05-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":"Q5925970$09BB1EAB-6C36-4BE3-9BD1-7B8B885159D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"249c2c9f16bffcb567240cac000cede8f9c9eb2e","datavalue":{"value":"https://semanticscholar.org/paper/8dbff08eff07df1dd342b42b3f07d81238d351e2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5925970$67DA207A-4DC3-4B6D-A921-B768D11EEE74","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7d26feb41a9de7ab3e2ac23d30516d9bf7fae776","datavalue":{"value":"The authors look at Cauchy sequences converging to real numbers and their effectiveness. If one has a computable sequence of rationals monotonically increasing to a real \\(\\alpha\\) then the real is called left computable (or elsewhere, computably enumerable), (and similarly right computable). The real may not be computable as there is no guaranteed effective convergence ratio. If the sequence is not monotone then the real which is its limit is \\(\\Delta^0_2\\). The authors show that if we define a real to be d.c.e. when it is the arithmetic difference of two left computable reals, then this set forms a field, and hence the ``difference hierarchy'' for reals stops at two. It is also shown that the class of left or right computable reals, the class of d.c.e. reals, and the class of \\(\\Delta^0_2\\) reals are all distinct. In a later paper (Proceedings COCOON'01) functions based on the field of d.c.e reals are examined.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5925970$F4AC994F-A578-4ECB-823D-48EB7F9AD952","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8055ef4c08baf7aae068108b5a3771ed10ad54de","datavalue":{"value":{"entity-type":"item","numeric-id":247180,"id":"Q247180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925970$966D0EF1-6355-4F4E-AC89-C9DD76B6C6F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5925970$F5A544A7-C8B2-442F-B898-5C32A771A99C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60493e864c6a16d99f646046d9a2eae317b08443","datavalue":{"value":"1574329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5925970$39B4535C-BBF6-4560-BBD7-3359335F7953","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a750407036b37c9b3abd18e15b0b3c77ba88a22","datavalue":{"value":"computable reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q5925970$F463997C-220A-4424-94EA-58B577788910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce7184dac00bb9d80dd839f0c33cdcb29a31c02","datavalue":{"value":"Cauchy sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5925970$4E0C4D02-25E3-4448-AEEF-0F10A931344A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85918ee66ebcf09763791ae863677925ad8a5e8d","datavalue":{"value":"computable sequence of rationals","type":"string"},"datatype":"string"},"type":"statement","id":"Q5925970$BC95E4D7-59FC-4A8B-A911-9C6C52574ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a488c8c11d7baa23d846153d7e81903ab487406e","datavalue":{"value":"effective convergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5925970$7F5A4381-B99E-4A08-81D0-F89B08A908CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d37476fc006fe8b5bcb3f096f0a6658cba8b8ad1","datavalue":{"value":"field of d.c.e reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q5925970$E63AD78F-E4ED-4BF7-B9CA-7A855DA8493E","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":"Q5925970$7ECC7967-18D8-4825-AE18-BA50C6B89FBF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92d4e325b6bb0cab59b52db7672350e8c8168f4c","datavalue":{"value":"W2007775665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5925970$8FEA8B30-7D76-4DD8-8930-03A23E74F49C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df547c2d83e692cb81def7608f4e5fc65f94a33","datavalue":{"value":{"entity-type":"item","numeric-id":4128807,"id":"Q4128807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925970$C5A3AABA-72D5-44E7-8632-5ED95F45ABDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3dc601330af3fe61f5593cff8b790431e1a946e","datavalue":{"value":{"entity-type":"item","numeric-id":4381402,"id":"Q4381402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925970$8C61935E-AA2C-45EA-945E-D9CAD05FCC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c8c375a160d4ce865977095b1480488c1abc6b2","datavalue":{"value":{"entity-type":"item","numeric-id":5626633,"id":"Q5626633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925970$B944E1BE-0833-4B35-BCFD-5D759E5B635D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc9c27a5614ac0d8289aa5e8ba99f413eb9fb19d","datavalue":{"value":{"entity-type":"item","numeric-id":5661863,"id":"Q5661863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925970$E91FC049-B56D-4C58-BCAC-798359588168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbb4345013f8ef2397bf199269ba5db1a54ffffb","datavalue":{"value":{"entity-type":"item","numeric-id":3260571,"id":"Q3260571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925970$B9BFBA89-6B29-4721-A215-7C1D7DC19002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbef6bbbe60bfce0721481461ecfc4b8834e00f9","datavalue":{"value":{"entity-type":"item","numeric-id":5595155,"id":"Q5595155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925970$FB0B7B93-F8F9-40A1-88BF-4E7E6C7529DB","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":"Q5925970$1F626104-B640-4D8E-9192-95192D2E2E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4fe317c5be10da68874bd455e14f1406066dc22","datavalue":{"value":{"entity-type":"item","numeric-id":5608009,"id":"Q5608009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925970$050AABA7-0093-4F76-837B-79BAC42185FF","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":"Q5925970$CED6DAB4-A7F7-4B12-944A-7B035F1E7E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15d318228f65441ca495d80346830c66eb2424fb","datavalue":{"value":{"entity-type":"item","numeric-id":5805955,"id":"Q5805955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925970$E35ADF3A-A196-4C3D-988A-E5B18CA863D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925970$0399DF65-B182-47C7-973C-399C2763AFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edcfc8f162dce621803913f4363a765362e71d8","datavalue":{"value":{"entity-type":"item","numeric-id":3819052,"id":"Q3819052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925970$D2BF412C-6D27-4C20-A34C-713EAACCB83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2901f59e974bb3153a3f3ebe52d0c1cb384280a4","datavalue":{"value":{"entity-type":"item","numeric-id":2531924,"id":"Q2531924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925970$DC51B799-2137-4E59-BD80-74B0CA3DB15D","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":"Q5925970$149A5F5D-B2E5-4A59-82A1-80B868A53102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e8a62cd46463c62f9ff883109d60c4695ebc92","datavalue":{"value":{"entity-type":"item","numeric-id":4485693,"id":"Q4485693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925970$6D077D2F-BFC5-416C-A14D-82E3E5644101","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22bb1450026beb18e8b457bb38cf4822097a31aa","datavalue":{"value":"10.1006/JCOM.2000.0561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5925970$98BC228D-F01E-437E-9CC9-8830A516BE1D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aed3b2695d5798116fcd7c64e1b036f89098e9b5","datavalue":{"value":{"entity-type":"item","numeric-id":4461928,"id":"Q4461928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c991494a997a98294c0f99ee1554b73f01bead2","datavalue":{"value":{"amount":"+0.8677482008934021","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":"Q5925970$0D664453-5E1D-40E9-AA91-71776CA5D9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fa0c39c2deebed41c68128fd5c8b2b2458cfd01","datavalue":{"value":{"entity-type":"item","numeric-id":3159428,"id":"Q3159428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5db9e1989bfd874a66cfd83f52e60287769e071","datavalue":{"value":{"amount":"+0.8249215483665466","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":"Q5925970$D35D3C68-DA00-4567-9F12-CD7E7A777FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95c9d1b3f29c7d13425465b637d8047e80100658","datavalue":{"value":{"entity-type":"item","numeric-id":4530157,"id":"Q4530157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff6efe9fea2972db031ba2edd97cd1616cb9c8c7","datavalue":{"value":{"amount":"+0.8243920803070068","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":"Q5925970$A3CFBC4B-54A7-4685-890D-D0865794A04B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb50d49690ddefeaa3627fcf2fd0e482370b3e4c","datavalue":{"value":{"entity-type":"item","numeric-id":2179375,"id":"Q2179375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e7d4cd59588425e90b3230eab7ac855f534a3fd","datavalue":{"value":{"amount":"+0.8176741003990173","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":"Q5925970$E89F8525-C14C-4318-9C0C-1E5E9714369D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ba542469f3969ad6559c9a6d519541eaa639ad1","datavalue":{"value":{"entity-type":"item","numeric-id":5898855,"id":"Q5898855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1222344389e200fd735b3b1036ee4c0618a4f058","datavalue":{"value":{"amount":"+0.8076493740081787","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":"Q5925970$15A167C4-92E6-4C94-A4D5-57E96A7E62C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5925970","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5925970"}}}}}