{"entities":{"Q1908701":{"pageid":1919443,"ns":120,"title":"Item:Q1908701","lastrevid":73731900,"modified":"2026-04-14T17:04:43Z","type":"item","id":"Q1908701","labels":{"en":{"language":"en","value":"ET and an infinitary Church's thesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 851692"}},"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":"Q1908701$D030A7D1-CF48-4393-A829-BD43D83CFD33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29dcbfc7c2abfa6aafc9d016136742396079225b","datavalue":{"value":{"text":"ET and an infinitary Church's thesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1908701$53E3AE7E-60BC-4C17-9C05-29EC02345BC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a6dabccbc46eac83958729b8952fbd947dd6ac9","datavalue":{"value":"0852.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908701$13BA76C5-FE30-4ABF-A015-1B5A070423BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21046c2d8b64cb5371be9cc192f75e6bc9fc6383","datavalue":{"value":"10.1007/BF03024371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908701$B83F56DD-6514-4E13-ACB6-350408FB4E04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03ab54c55d5f7d2cccd86073d20c35e83c654c3d","datavalue":{"value":{"entity-type":"item","numeric-id":766527,"id":"Q766527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908701$6EFF19EB-BC6E-453F-B34F-9BD5018730E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7fb1fb9e3613de38b550373bd0384fba28a5a775","datavalue":{"value":{"entity-type":"item","numeric-id":215534,"id":"Q215534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908701$FDFD1A8C-F69C-45AB-AAE8-D84D466874D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c56b32a11bb039652dc2aab78babd20f4bd9104","datavalue":{"value":{"time":"+1996-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1908701$2259D52A-9D03-4F63-B8B4-EB8854699F3C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"29c7038f2296188e4382f537f676575b1eff74e1","datavalue":{"value":"In an apparently amusing article, the author proposes an infinitary (and parallel) extension of Church's thesis to infinite sequences of integers. There is no mention of either the Blum-Shub-Smale model, nor the higher type recursion of Kleene.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908701$5D4AA677-F5AC-4C65-91E2-AB66907C1938","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908701$32097049-72BF-4F1F-9526-6325F56DE9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908701$71FA6A1C-FB04-4460-BFBB-E895F9CB6D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"01a1b45694dfefe880bb22297b3fce0ed3379f1b","datavalue":{"value":"00A08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908701$8A334040-D79A-4997-A738-09BAFDDC7834","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09350d6297b654fc0dc670f54eeabbfac878f07b","datavalue":{"value":"851692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908701$D8504F8A-CF40-4B82-A978-E698F2F96434","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c1948b7583ccb1a917fb323440a37754e7284e9","datavalue":{"value":"extension of Church's thesis to infinite sequences of integers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908701$817C7EA8-7299-4B30-952C-E10F46D935AA","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":"Q1908701$AAEC40FE-4B80-4CE9-88EA-35E6AE1A70F7","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":"Q1908701$E429A58C-40E9-4B2A-9C90-CE2D17737EC3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb7e675291b261ebecc12028efc5914ed7de2bd4","datavalue":{"value":{"entity-type":"item","numeric-id":5566513,"id":"Q5566513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908701$35116372-2287-4607-A3E1-518BCE90A829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6db44461333ef5e5aae7abb248658a05e60ef41","datavalue":{"value":{"entity-type":"item","numeric-id":3247126,"id":"Q3247126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908701$EB102362-CA39-4427-A516-4071509A6E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9e3315defaaeb85449a5e5413937e1e50ee2f54","datavalue":{"value":{"entity-type":"item","numeric-id":3669395,"id":"Q3669395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908701$0D4798ED-AE14-4DA7-A389-4E2E38285646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33df3bbf37d10172a73ff9a6acfca59785e91505","datavalue":{"value":{"entity-type":"item","numeric-id":4212472,"id":"Q4212472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908701$3F941876-4F23-4F12-A2CB-A31689126AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad88392bb0c33213293373feab0dae70187df57","datavalue":{"value":{"entity-type":"item","numeric-id":4207876,"id":"Q4207876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908701$6BC1F142-A97E-411C-B75B-62B381BF405F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89adaffcc39037314ae505e004a467d8304b4a9a","datavalue":{"value":{"entity-type":"item","numeric-id":1109758,"id":"Q1109758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908701$E56F578C-AE9A-409C-9EDC-2F53E89C011A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a68c609c29c64fdb5eb519cf1c9f6cb223d7a17b","datavalue":{"value":{"entity-type":"item","numeric-id":1105577,"id":"Q1105577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908701$FC72E586-F12E-47AF-A7C3-355765B8EEDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52f8755c99779d476d1d4876ebbf4443a9da1493","datavalue":{"value":{"entity-type":"item","numeric-id":1103597,"id":"Q1103597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908701$42FEFA32-AE6C-4691-8401-C77F482F9385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82da2224f14e03ddf985d14a87269f3e0107f66c","datavalue":{"value":{"entity-type":"item","numeric-id":5597507,"id":"Q5597507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908701$12A5DB20-42BA-49B5-9588-A77669BDE16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c62a14b79728c3dab007d93195d9ab9f0a2bb8","datavalue":{"value":{"entity-type":"item","numeric-id":5625117,"id":"Q5625117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908701$B1B7873F-093B-41A6-B31B-72CE8ADEFDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a20c135acd13ad1774724221697fd7946592e3ba","datavalue":{"value":{"entity-type":"item","numeric-id":5729599,"id":"Q5729599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908701$5F8F2C05-2F6F-446A-B29D-54614ACF94AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64608c5582bd6a5c3e515af6432fed0c02658b0d","datavalue":{"value":{"entity-type":"item","numeric-id":1149428,"id":"Q1149428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908701$503D6691-71CC-44D3-A489-8A458FAF9ED7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8923b370adfbccd6096fe7a4b7d837f3187e983","datavalue":{"value":{"entity-type":"item","numeric-id":3128605,"id":"Q3128605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80d6e5cfa06e1c13b0c7e6b5238a9d4eb992acb8","datavalue":{"value":{"amount":"+0.9876698","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":"Q1908701$C32C3485-FE25-458F-B5B8-B0AD8E28528F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983e49f6d5482e2e90ee26b0c6097e59c543b060","datavalue":{"value":{"entity-type":"item","numeric-id":5445169,"id":"Q5445169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a6206a75d71182295b3cdfc389989c541127e84","datavalue":{"value":{"amount":"+0.87622064","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":"Q1908701$B04566D7-7E08-4D29-908F-D4CE782D71B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73dbb85cf043e128ca7432e2d879b6e0ac937a2d","datavalue":{"value":{"entity-type":"item","numeric-id":3129153,"id":"Q3129153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dae28e2d1d533b6ff00489592464972d3db9b7a7","datavalue":{"value":{"amount":"+0.7973447","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":"Q1908701$B16AEBA8-8CCB-4479-9ECC-E517D7E2C09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6ac4fa9240c052e894ddf6ae1731712be724738","datavalue":{"value":{"entity-type":"item","numeric-id":2997664,"id":"Q2997664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4070cde7b8c3401ecea13a50cbfad56995adc25f","datavalue":{"value":{"amount":"+0.79726946","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":"Q1908701$9F03412D-A7CC-4373-B005-58E42ABAC959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aa7839bf6485024968517469bb878376fd05bd2","datavalue":{"value":{"entity-type":"item","numeric-id":3295819,"id":"Q3295819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c8667305e9be6b30dedcfa46903ff701977024e","datavalue":{"value":{"amount":"+0.78768927","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":"Q1908701$11497FB2-A34D-4FA5-9F59-E445CCB2817D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c27805a406d9b1ef5102bfe82e01e413e21bafc","datavalue":{"value":{"entity-type":"item","numeric-id":4123284,"id":"Q4123284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75c4eaf64b71852b75b03da41a08d2345c9678c6","datavalue":{"value":{"amount":"+0.78219396","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":"Q1908701$BA803629-F304-4E51-895F-1FA6CE8D51B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12d39b35a9d769285d4961f62654ff6fd461244b","datavalue":{"value":{"entity-type":"item","numeric-id":5493756,"id":"Q5493756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57d376398577b77987a018ba1ceb8b3b9b77cfbc","datavalue":{"value":{"amount":"+0.77825844","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":"Q1908701$3D72156A-4E46-499C-B741-14D2D57B0366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea4986211237e5cc04dc33bdfb075ca0405fdd58","datavalue":{"value":{"entity-type":"item","numeric-id":4224761,"id":"Q4224761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"affde6f9d88fa97dca6b816b6c13e7eb122f5b78","datavalue":{"value":{"amount":"+0.7768147","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":"Q1908701$DB6391A1-5488-4A80-9678-E46EDFCB9863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c06593637b8e4354deb42340fd98c586d2c01ba","datavalue":{"value":{"entity-type":"item","numeric-id":5493753,"id":"Q5493753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83e35735d3e23282d8fb5630f7094c7a795307be","datavalue":{"value":{"amount":"+0.77512157","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":"Q1908701$87F73B13-5923-4F8C-A18D-21594966E31E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d9fd151acb7a251cf68b53f5a813aec6132e134","datavalue":{"value":{"entity-type":"item","numeric-id":3734400,"id":"Q3734400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"836c22fcb64f954a2853d4205bf82a2334f523c5","datavalue":{"value":{"amount":"+0.774717","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":"Q1908701$26FC3654-8A9E-4536-8169-733EF4655F79","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ET and an infinitary Church's thesis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/ET_and_an_infinitary_Church%27s_thesis"}}}}}