{"entities":{"Q2639056":{"pageid":2649799,"ns":120,"title":"Item:Q2639056","lastrevid":49454983,"modified":"2026-01-07T04:45:15Z","type":"item","id":"Q2639056","labels":{"en":{"language":"en","value":"Iterated Kleene computability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4183405"}},"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":"Q2639056$C6DC3726-2176-442C-BEA1-7DE14CA2AC4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6eecf02bc8a093bb85e9c8c64fcd4a3c0715f77d","datavalue":{"value":{"text":"Iterated Kleene computability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2639056$5D28A645-F8D2-43F3-93D1-6C284FAFFFB0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34e7757ecfc2f3bbca6908ce8c426d5e27b57488","datavalue":{"value":"0718.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639056$F74684BC-1F05-470A-88C8-17A8B0A609CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a24db65f8eab0e4caab2faa57e786a78b8bb444c","datavalue":{"value":"10.1007/BF00970905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639056$72155F90-85F6-485D-9B8C-C6D1822A5C76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be84bf9e7790a1cbebd0281d4477d4d3722262bd","datavalue":{"value":{"entity-type":"item","numeric-id":793019,"id":"Q793019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639056$2B225B7B-54BA-4084-AF98-0C9D1AB346E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639056$324FDDED-A21E-4647-AC53-6A9DE736F0CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q2639056$EA85DEF5-3C31-4A3F-BFAC-63D48A90DBF2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"69af38f7d9d36309a17d571c6b107c82aaf083bd","datavalue":{"value":"The author continues his earlier investigations [Mat. Sb., Nov. Ser. 101, 21-43 (1976; Zbl 0342.02031); Algebra Logika 12, 3-21 (1973; Zbl 0291.02029)]. He defines enumerated transfinite sequences of oracles of a special type to define a class of ``algorithms'' admitting an infinite search. Each of these oracles is a fixed point of a monotone functional. The author shows that, in general, his oracles are not equivalent to those of \\textit{S. C. Kleene} [Trans. Am. Math. Soc. 91, 1-52 (1959; Zbl 0088.012)] while, under some conditions, they are.    For better understanding the reader must be familiar with two papers by \\textit{E. I. Nikiforova} [Vychisl. Sist. 107, 80-95 (1985; Zbl 0621.03032); Recursive hierarchies, regular by construction (Russian) (1986, unpublished)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639056$34B58311-0BA5-4FA0-BFA8-E2420D70635A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3fca415580115e1e0a74c69afb3a7d85b0c01d8d","datavalue":{"value":"03D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639056$29536898-D6F6-4BE6-BAAF-82250CE4C3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639056$4578983C-195F-4DDF-B00D-FAC49F72B8B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0ddf3fbf487931dc30b5855f2caae43109873ed","datavalue":{"value":"4183405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639056$ACE3888E-86C6-4ED1-9923-ACAEC59A1A01","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7586411acfc5ec58ca2ca2ad2ff0811a1149e5c3","datavalue":{"value":"superjump","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639056$A2E42391-B6B7-44C0-B3FB-A6A4E1FB341A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ec1dc52e6a7e8f886fe4b5eaae11e713ca82900","datavalue":{"value":"transfinite sequences of oracles","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639056$5C42D523-F92B-46F8-B8D8-8F9D0B4546A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"244d17f007a418eadc418ac3c37b2e6659c91209","datavalue":{"value":"monotone functional","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639056$000D8826-1335-4AFF-999E-967941EFE409","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":"Q2639056$05BADE65-CEE0-416F-9001-C0C9F02F817E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6dedac925d7813a42ab8642f70e88a61bbdbba8","datavalue":{"value":{"entity-type":"item","numeric-id":4109663,"id":"Q4109663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639056$CDC36002-B8DC-42F0-B42D-C01CCF96F855","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":"Q2639056$66CFB178-0522-4B95-A5E5-6628315A995A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"690eac6707df294089bbb4811045c174c4de9fef","datavalue":{"value":{"entity-type":"item","numeric-id":3260568,"id":"Q3260568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639056$ED54D303-E1CE-4794-90E9-8E6E1D864B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"264c1d74ad13cc00aab27913bdce74076dde6cd1","datavalue":{"value":{"entity-type":"item","numeric-id":3757909,"id":"Q3757909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639056$7BC252E4-F02C-4D3E-9171-549A48827468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"667e910f27ff5c22445da1c204ddf953a0f4dc2f","datavalue":{"value":{"entity-type":"item","numeric-id":1097877,"id":"Q1097877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639056$D00466D6-8CA9-4BEC-8D3C-3ADE9DD5E4A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31187a0a2663a4f8a5fdbd6d672cecd5fc2c84b8","datavalue":{"value":{"entity-type":"item","numeric-id":3842543,"id":"Q3842543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5836a53b057bfc10f550b08dd7bd43c7690c6196","datavalue":{"value":{"amount":"+0.8151224851608276","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":"Q2639056$79F4A748-1FF2-4B1A-B021-245D760FB4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ccaeada7be1fb9d45298552a4513912d7031d4c","datavalue":{"value":{"entity-type":"item","numeric-id":1097877,"id":"Q1097877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ef2c3338cab939804963a724e0a01d720e82874","datavalue":{"value":{"amount":"+0.8123311400413513","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":"Q2639056$E415F784-8BD2-4362-9787-C8BE73E92532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fc40cddb34d9a1f7371633cf7bc87799649f171","datavalue":{"value":{"entity-type":"item","numeric-id":1920764,"id":"Q1920764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ea3a0c7bbf513d37447e6964a4d13bea47123e2","datavalue":{"value":{"amount":"+0.795598566532135","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":"Q2639056$9F2F29DB-E766-44DA-AD82-091C586EF414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89d92e42dad132cd7ff6fa36e726161310f85437","datavalue":{"value":{"entity-type":"item","numeric-id":2277251,"id":"Q2277251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b70d6d7650de7f0fe55fe4b66921ba4d3599920b","datavalue":{"value":{"amount":"+0.7945655584335327","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":"Q2639056$25C36439-FEB4-42B7-9706-ACFB08608F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5bf62e7887061fc215f2c5110e8f620aa26d253","datavalue":{"value":{"entity-type":"item","numeric-id":3809784,"id":"Q3809784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82572be390fac118dccf1ad978dcdeef42b484b6","datavalue":{"value":{"amount":"+0.7736259698867798","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":"Q2639056$2B14600E-D734-4A53-B1D6-8548EA436734","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2639056","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2639056"}}}}}