{"entities":{"Q1305507":{"pageid":1316257,"ns":120,"title":"Item:Q1305507","lastrevid":68415720,"modified":"2026-04-12T23:33:41Z","type":"item","id":"Q1305507","labels":{"en":{"language":"en","value":"Recursion theory and complexity. Proceedings of the Kazan '97 workshop, Kazan, Russia, July 14--19, 1997"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1346460"}},"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":"Q1305507$7553FF86-197F-4AA4-A46B-6645E74ED91C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d813cadd3ea1c0c6d083203d5e1e7aaf6d33ebc","datavalue":{"value":{"text":"Recursion theory and complexity. Proceedings of the Kazan '97 workshop, Kazan, Russia, July 14--19, 1997","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1305507$82CCD7D4-0C8A-478C-B0ED-CDE344DA4F76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f40d46bed87d705bc45ef4b0f8eeaf6fcd8941fc","datavalue":{"value":"0923.00014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305507$7E1D3231-8C60-4FBE-83C1-1404CD59475C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8d2ee178750168c2dcc19dc5cb73b8d8c6c8772f","datavalue":{"value":{"entity-type":"item","numeric-id":219155,"id":"Q219155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1305507$748441AA-7F42-4B7B-96D4-4320F8E73A6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"731546a283254539a298569c79a55f8744c07659","datavalue":{"value":{"time":"+1999-10-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1305507$56C4A8F1-F9FC-499E-992B-28DF8DF58AD6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7ccf9ab4f387935e24b26b046df70e0e9e0dced7","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{Ashaev, Igor V.}, Priority method in generalized computability, 1-13 [Zbl 0944.03041]  \\textit{Cenzer, Douglas; Remmel, Jeffrey B.}, Polynomial-time versus computable Boolean algebras, 15-53 [Zbl 0948.03039]  \\textit{Downey, Rodney G.; Lempp, Steffen}, The proof-theoretic strength of the Dushnik-Miller theorem for countable linear orders, 55-57 [Zbl 0951.03053]  \\textit{Harizanov, Valentina S.}, Effectively nowhere simple relations on computable structures, 59-70 [Zbl 0944.03038]  \\textit{Hinman, Peter G.}, Jump traces with large gaps, 71-80 [Zbl 0951.03038]  \\textit{Ishmukhametov, Shamil}, Weak recursive degrees and a problem of Spector, 81-87 [Zbl 0951.03036]  \\textit{Korovin, K. V.}, Compositions of permutations and algorithmic reducibilities, 89-95 [Zbl 0944.03036]  \\textit{Korovina, M. V.; Kudinov, O. V.}, Some properties of majorant-computability, 97-114 [Zbl 0944.03042]  \\textit{Morozov, A. S.}, Hyperarithmetical functions and algebraicity, 115-130 [Zbl 0942.03046]  \\textit{Shlapentokh, Alexandra}, Weak presentations of fields not extendible to recursive presentations, 131-155 [Zbl 0944.03039]  \\textit{Shore, Richard; Sorbi, Andrea}, Jumps of \\(\\Sigma_2^0\\)-high e-degrees and properly \\(\\Sigma_2^0\\) e-degrees, 157-172 [Zbl 0949.03036]  \\textit{Solon, Boris}, Enumeration reducibility and the problem of the nontotal property of e-degrees, 173-191 [Zbl 0944.03037]  \\textit{Solovyev, V.}, Algebras of recursive functions, 193-214 [Zbl 0954.03040]  \\textit{Yang, Yue}, \\(\\Sigma_2\\) induction and cuppable degrees, 215-228 [Zbl 0951.03035]  Open problems. I: d. r. e. and \\(n\\)-r. e. degrees. II: e-degrees. III: Recursive model theory. IV: Global questions about degree structures and the lattice of computably enumerable sets, 229-233 [Zbl 0938.03546]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305507$E4564108-6AF8-40B5-A9CD-865605A023D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305507$CA547EF1-D9E5-4390-B706-FE11C094E695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305507$A22B22EB-6928-454D-B777-90AA96B89661","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8a1410beb6ff99bfbadf8fdc24fe89231bdd5bd","datavalue":{"value":"1346460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1305507$5588B714-D3E7-4E77-BF1D-E0DC499AF32D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d21d1afefed0e3bd3d97ef2e2a503d5484d69819","datavalue":{"value":"Recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305507$24F2CB9C-B0AC-478F-9646-C7BD2EBF7656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5206d4dce6a163eafa029a63a1fb2a44925dc13","datavalue":{"value":"Complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305507$FD4AFCBA-E036-4C51-8D27-0711560C1C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305507$CD6072F8-1195-42AB-A26B-EF40CDCF4FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305507$231CDF34-89AA-4AB4-B43D-FD8B585C7C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dce9c1f77ef6158c857dd536914bee06ff89355","datavalue":{"value":"Kazan (Russia)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1305507$0678EAED-3B3C-4832-AA82-36BE47E6BF77","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":"Q1305507$68BB342A-3974-48DC-96BC-1A359DE5BAFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Recursion theory and complexity. Proceedings of the Kazan '97 workshop, Kazan, Russia, July 14--19, 1997","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Recursion_theory_and_complexity._Proceedings_of_the_Kazan_%2797_workshop,_Kazan,_Russia,_July_14--19,_1997"}}}}}