{"entities":{"Q1102947":{"pageid":1113699,"ns":120,"title":"Item:Q1102947","lastrevid":69646794,"modified":"2026-04-13T08:26:23Z","type":"item","id":"Q1102947","labels":{"en":{"language":"en","value":"Turing projectability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4051593"}},"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":"Q1102947$18718746-A028-4960-855B-7901F2A379FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a5bea0c54b017aa6719097568926a7fa32f2453","datavalue":{"value":{"text":"Turing projectability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1102947$A8F39301-84DB-4919-B765-E3C59DF43848","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a3a9452faad3e44c5dc278b0d05635c17b0e3a1","datavalue":{"value":"0645.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102947$B2F8B122-29B2-48EF-8E89-2BA842C83AA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9d4209135bf481b154ab5d0a5e11f6fc027d3b4","datavalue":{"value":{"entity-type":"item","numeric-id":218490,"id":"Q218490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102947$B4062C2D-0801-4DF0-BE6A-E3CCE72CB358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"407afe521926f9a9983f2a2b6e85a210783a9aa7","datavalue":{"value":{"entity-type":"item","numeric-id":1332146,"id":"Q1332146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102947$0A1FF026-8FA2-4AA0-9008-5973E9649286","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102947$E0C4A67A-D2CD-40F0-8757-D960DF9E4F10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1102947$70C1B917-DBFE-4EBE-A499-C5C18A90A5CE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9c29e0a8edd282c1a81e5dc9445f3c6a88aadd8c","datavalue":{"value":"A number-theoretic function f is called ``Turing projectable'' if there is a Turing computable function g such that for each fixed n, g(n,m) is constant for sufficiently large m, and \\(f(n)=\\lim_{m\\to \\infty}g(n,m)\\). Some elementary recursion-theoretic properties of this notion are derived, for example that the Turing projectable functions are exactly those recursive in the halting problem. Some of the properties considered are loosely connected to ``inductive logic'', where the problem of guessing an infinite sequence (or its law) from a finite initial segment arises.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102947$7CFF200B-8F53-46C3-A8A5-F1F51AA0DCD5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102947$65D139B5-B12D-4B67-BE81-9C383E2E38E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102947$B70368BA-2551-4E0C-9873-68038E31FEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102947$D1FECD59-87D4-4339-91E1-020AF4CF1C32","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b254705bb180183d2f0d1cbf732462e18224db33","datavalue":{"value":"4051593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102947$BE04AB9B-228E-4854-9DEC-D21870BE423F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938fde2a31a53aeb2248bb310f6d1480a15d3862","datavalue":{"value":"number-theoretic function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102947$6EBDF0F6-92BC-4EC9-B22C-C3F8648E5939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd2960c1f336f730edc1d51abdbda21c78aecacb","datavalue":{"value":"Turing computable function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102947$E0A2BBC9-8BEA-410A-B334-E7D256D66037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adf3cc67cc5b648f69e811f0e326aa339b16e1f5","datavalue":{"value":"Turing projectable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102947$D55A5A26-FBA3-4715-8385-755EF886F05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"942d01c41f83f0287b2b37d733bf57097d64092b","datavalue":{"value":"inductive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102947$E11F79FC-3EBE-4823-9D95-8A0D1475CEE4","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":"Q1102947$6CBE381E-E7BA-4CA6-8802-7CCFA658F7B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8776a85ee5d244a1be454a0fbd0140ad0a960779","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093637647","type":"string"},"datatype":"url"},"type":"statement","id":"Q1102947$9D6EE132-1E63-4762-8037-185AAD953A4B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9343aac33e809e2d336d02695d583adf9e922639","datavalue":{"value":"W4245927665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102947$35B6E0EB-2592-423B-BC75-8BAEFF209A52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35dfa80efb6adb7e1cb990df239eca1336b0dfbd","datavalue":{"value":"10.1305/NDJFL/1093637647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102947$913CC508-80FF-4AEB-BFC0-4FF250CFA50C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"739cbf82de74a1f2d069f5daa1254e7a11fdb18d","datavalue":{"value":{"entity-type":"item","numeric-id":4508548,"id":"Q4508548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b4a1d17c8b877c325c1bada19992bb8b20f578c","datavalue":{"value":{"amount":"+0.7305077910423279","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":"Q1102947$D4160A72-BE9A-4F24-9E53-AEC6C6B4406A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56f144317fe5f8cf9cd32777f48ddca641e30017","datavalue":{"value":{"entity-type":"item","numeric-id":3699678,"id":"Q3699678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cbf5a6ef446fcf30f2c3eff3330610e54541a5f","datavalue":{"value":{"amount":"+0.7151582837104797","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":"Q1102947$3D56023F-95F7-457E-897B-E1BBE926FE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"781960e16a395373f5246d7ca998b55276bc5503","datavalue":{"value":{"entity-type":"item","numeric-id":5271417,"id":"Q5271417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb4324c302ecc281bb61a5375299f60ddb615c7c","datavalue":{"value":{"amount":"+0.7001601457595825","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":"Q1102947$5CA25B2A-CD4C-445B-8C2E-6D8190F2607C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ab216bc5fd1ae7173ca7a2bc8ea05702c76162a","datavalue":{"value":{"entity-type":"item","numeric-id":3721834,"id":"Q3721834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c4068b115497fc38d57860c3a8fc283b1d53ab3","datavalue":{"value":{"amount":"+0.6987389326095581","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":"Q1102947$376E0907-5834-43DD-9CD7-04AD81FF2E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4ab3241e5e79f43c55c0a104720725a73eca364","datavalue":{"value":{"entity-type":"item","numeric-id":3370613,"id":"Q3370613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11dda4917533842a60919c795446ea7faf864c9b","datavalue":{"value":{"amount":"+0.6959952116012573","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":"Q1102947$C56E9B22-2FE5-48BA-8367-8EE444E5E803","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Turing projectability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Turing_projectability"}}}}}