{"entities":{"Q1102949":{"pageid":1113701,"ns":120,"title":"Item:Q1102949","lastrevid":69646812,"modified":"2026-04-13T08:26:23Z","type":"item","id":"Q1102949","labels":{"en":{"language":"en","value":"Recursion theorems and effective domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4051600"}},"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":"Q1102949$2A99BAFD-8EDB-4182-B731-28936FA63513","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db226edd523a864a4568df3d48e5d0798eb214aa","datavalue":{"value":{"text":"Recursion theorems and effective domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1102949$4A1903B1-F0B8-411D-90BC-7CF922754D53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30794fb109ed68d549cf0708b3657ef972a2822e","datavalue":{"value":"0645.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102949$D15FC93A-EF92-49D0-90A9-253D9DBFB23C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03f6dcb67042f67b75e5960fb273aa503d3d51db","datavalue":{"value":"10.1016/0168-0072(88)90029-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102949$11F5A25F-6FE2-4237-835A-01D5A6732129","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d74e8b3f7f8cfe57ff367cf9d08a41a139dc9d7","datavalue":{"value":{"entity-type":"item","numeric-id":1102948,"id":"Q1102948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102949$54DCF933-15C0-40A9-99A3-663B967A9C63","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":"Q1102949$2917E439-6824-49AE-8DD9-B12DF1055819","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1102949$12A9EF57-E4AB-4A6D-97B4-27C122A5FABA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b8b9ddc8cdca266df6ab731d85e33ed66d3b31a8","datavalue":{"value":"It is observed that generalizations of the first and the second recursion theorems hold true on effective domains. Similar to the situation in classical recursive function theory [see \\textit{H. Rogers} jun., Theory of recursive functions and effective computability (1967; Zbl 0183.014), pp. 196-199] it is proved that the second recursion theorem is strictly more general than the first one. The proofs are based on the numeration theory of Ershov and Mal'tsev.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102949$366CFC1B-B0FC-4B54-9BDF-11D46D01AC76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102949$3CAE08D4-BDDB-46A7-B029-E84E9CCDBCCD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"820ab3066feb4275eca580a9dd6cb7e83e066fab","datavalue":{"value":"4051600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102949$02EA6E7E-CDAE-41C9-B0A3-B419A2B2FDD2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a874de5fdc5eeecb422f561084462c8e330b89a9","datavalue":{"value":"recursion theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102949$1AFBE917-561E-43D4-B211-199C6D7F4F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"429d54a25c33aa63019beba453afc89a8859dec9","datavalue":{"value":"effective domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102949$B11CC745-6158-4952-86A2-B8BA1D82DE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15cbbcb26aea71ca927877f3454a9f99ee2b37db","datavalue":{"value":"numeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102949$9932A64A-CB1B-4292-8419-F42C0DD943F0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2fc8522c6547fe483c0d1ae4eec1b8d9306e5db1","datavalue":{"value":{"entity-type":"item","numeric-id":290243,"id":"Q290243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102949$0354DE03-299B-450C-9EE4-06D5DF713EBC","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":"Q1102949$AA3D6F7D-4C35-434B-BDB2-504D4424FAC2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6956f9f64b771eb126a069485516d1255df0b7b6","datavalue":{"value":"https://doi.org/10.1016/0168-0072(88)90029-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1102949$35CD5182-296B-4772-BF74-18999B207374","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c4afa372b8bdc71b6076af03479a49479ef5f96b","datavalue":{"value":"W2045355785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102949$B6D8BF05-F157-43A1-A54F-E6809A2BD042","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84fc7188193dcc24094147cdb1f19183b0e45997","datavalue":{"value":{"entity-type":"item","numeric-id":4047540,"id":"Q4047540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102949$CE441F5D-96E5-4433-AF6B-D7F2F02A331A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6452450bcc9d58f3467a1463aad43bdb776205e3","datavalue":{"value":{"entity-type":"item","numeric-id":3230369,"id":"Q3230369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102949$8015C8FD-AB8C-4BDE-A15F-6F30F7326C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e129a2d157f11eb104b6683d0c548da586ae805","datavalue":{"value":{"entity-type":"item","numeric-id":5823276,"id":"Q5823276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102949$B8FF1371-35DA-4BA4-8F95-1831A6285A19","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":"Q1102949$50FFC53D-F300-49EB-A1A0-C7F63DED6DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102949$770575BE-205C-434A-A087-B55E813F0721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1881e7d81113f02f630dc8c0e9ebd93f5498b158","datavalue":{"value":{"entity-type":"item","numeric-id":4724615,"id":"Q4724615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102949$684E0EF0-20E9-4997-BDEE-18CBE3330358","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"655cc213e70df7ea251e5d2094d00691cdbbf410","datavalue":{"value":{"entity-type":"item","numeric-id":4724615,"id":"Q4724615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e1f81448013ca9e75fd2feb233ab3f2fca0cf10","datavalue":{"value":{"amount":"+0.7605811357498169","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":"Q1102949$4557EE37-9A3B-463E-A319-668CA6012AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d95c0f0ce9d2048c5957e761d399bb7c562b99b","datavalue":{"value":{"entity-type":"item","numeric-id":3183595,"id":"Q3183595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b46f10994f615b15497d0484362476ad99db5d05","datavalue":{"value":{"amount":"+0.7316429018974304","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":"Q1102949$EA66BFE1-7219-4B4D-B14A-907684C0227E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb27730da3e5c3941bedbdaa51fe848230431b80","datavalue":{"value":{"entity-type":"item","numeric-id":3161629,"id":"Q3161629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fa1b9bd79a546e19d226b0a5fc4c71672a69d39","datavalue":{"value":{"amount":"+0.7174900770187378","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":"Q1102949$F73692F7-E57E-4F39-AA71-B297B1999FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b415d5d5dbda6d007230d0a8fb966e2e38235efb","datavalue":{"value":{"entity-type":"item","numeric-id":3455838,"id":"Q3455838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b595ada3d826848f9f9dc95dc7050faf0b1ab972","datavalue":{"value":{"amount":"+0.7126035094261169","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":"Q1102949$632F8317-EBCD-4736-B461-C428A2A3D758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31ab8a41091c4ad97fec5faaf5077e36b893c621","datavalue":{"value":{"entity-type":"item","numeric-id":3714066,"id":"Q3714066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc379788ff06a8e045927a762d26e6b7f72071c7","datavalue":{"value":{"amount":"+0.7114126086235046","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":"Q1102949$2EA35100-8942-4677-8C54-D52023F35FE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Recursion theorems and effective domains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Recursion_theorems_and_effective_domains"}}}}}