{"entities":{"Q2702283":{"pageid":2713028,"ns":120,"title":"Item:Q2702283","lastrevid":79121153,"modified":"2026-05-06T13:11:43Z","type":"item","id":"Q2702283","labels":{"en":{"language":"en","value":"The contribution of Polish logicians to recursion theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1574712"}},"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":"Q2702283$AD24F8E3-5FD2-4B71-A3CA-29CE275ED134","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0429753ed70a2b7e6a29e5391dcb656a58c9af8c","datavalue":{"value":"1018.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702283$3D25BAD4-0F03-4AC9-B62D-B6D81A599E2A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73b7c12287831deb20860a79625a376a1d2f442d","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2702283$D467573F-A5F2-4A1A-AC87-F19157CC6BAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"763e2fac54cd7102c0b681a36ae0f081948e4e0f","datavalue":{"value":{"time":"+2001-07-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":"Q2702283$6D48E6B5-8780-47D4-ADF0-C8B980F0FCCC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702283$0E65E9A8-BB64-4118-9E0A-7C948ED831DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"56528a547afad658a2bccf50696c0882526c82f7","datavalue":{"value":"03Dxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702283$033771BE-738A-480D-AE8F-49FC6A6F6B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702283$A50D491A-F61F-47DF-90A4-08F458C3966C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed5c03652a99be1049d6a5ac5b638a40c86a1153","datavalue":{"value":"1574712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702283$0E5CFFB3-A7C1-4C30-8EB9-31BDD987A48D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a43c61c081108216f4a86daa15ef73c23b7a1e5d","datavalue":{"value":"history of recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702283$D8BA8DD8-2558-4573-B6B9-5A2F7832B015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22dc432069034ff2d5bedc9aca138a073bff2001","datavalue":{"value":"development of recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702283$6E6FF2E0-F7AB-4BF3-B051-41D5F80A8FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6d03a26b1247abcc543247067285a4ba6c9025","datavalue":{"value":"Grzegorczyk hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702283$78884F68-264E-4306-8B77-620F859977C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfa40d769f07cdfbcfc8196efb73c1253dbfc567","datavalue":{"value":"primitive recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702283$2E9ECEF5-523A-43AD-9C80-82AD1F79D597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c87ad845aef2d0cd1924d6040f18b2d424b0bd2b","datavalue":{"value":"Kleene-Mostowski hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702283$407241AC-43FE-419F-8D83-A2CA6566CC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88063ce57740f66ff89bf29c150c4e8d013b19e9","datavalue":{"value":"recursiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702283$F2FBD053-7821-45D9-A6B8-005BA380F641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"601a2dfd63944037c848478d25d0bbe41296aa8f","datavalue":{"value":"functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702283$65E71AC1-9C7C-450D-95F0-243375A68606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd8390409dd826e6ce8f081ffcfbb42ce4fac9c7","datavalue":{"value":"constructive foundations of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702283$F1DA410C-EED7-4EDC-8E21-CDBA27D8F384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7948e6842573266e27536af7ac88532ecb51ea9d","datavalue":{"value":"models of theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702283$1CF4DDD9-AA9E-433D-AE1B-92F5F5EE6681","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":"Q2702283$E4D012BA-17C0-4685-A3F7-024287C3A4CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0550d67ab015ae7d64a95606e3cfdf37864df4f9","datavalue":{"value":{"text":"The contribution of Polish logicians to recursion theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2702283$407A7503-E3EA-40A8-B8B2-949081826674","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"45ecf0b2176fa3e3b2e6cda11af39f05f9ede767","datavalue":{"value":"The paper is devoted to the presentation of the contribution of Polish logicians to the development of recursion theory. In particular the following items are discussed: Grzegorczyk hierarchy of primitive recursive functions, Kleene-Mostowski hierarchy, studies on the generalization of the notion of recursiveness to the case of functionals, Banach-Mazur's and Grzegorczyk's work on the constructive foundations of mathematics, in particular of analysis, model-theoretical applications of recursion theory (in particular results concerning the class of possible models of theories).NEWLINENEWLINEFor the entire collection see [Zbl 0946.00016].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702283$04328745-F9BC-46C5-899B-80C50754577B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c45938d3b1c1a5c68183caabb02f42934d9ff682","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2702283$27A461A6-D751-4B93-A5C5-52B1E18136D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61ff9a93e8a8c8d3c37dc2f093c6a7c4a2d89231","datavalue":{"value":{"entity-type":"item","numeric-id":5445174,"id":"Q5445174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9df7c09169c83dd8e3f47ae6709fb35b8f39506","datavalue":{"value":{"amount":"+0.7541009783744812","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":"Q2702283$C7755EE0-95C6-46F9-8ED8-3ACFFCB2ADBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd28457a2d2f1333b77d9f780d727deef3515311","datavalue":{"value":{"entity-type":"item","numeric-id":4837673,"id":"Q4837673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f22027d338fec4e000233ce98633945dda497e9c","datavalue":{"value":{"amount":"+0.7416608929634094","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":"Q2702283$C39024FE-4E3F-471B-AD51-9A940731117F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edc0e13bca1e4ef0ffaaff69a743c46d232a308a","datavalue":{"value":{"entity-type":"item","numeric-id":4869975,"id":"Q4869975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd91ec469b4beb796a47c405216c0f3d8fc3831b","datavalue":{"value":{"amount":"+0.7376593351364136","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":"Q2702283$94927CF6-BABB-4823-B7D8-CC62ADF017EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3aacf38b4cd33b4b2281d423042bfc2f021d3e6","datavalue":{"value":{"entity-type":"item","numeric-id":3509160,"id":"Q3509160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46d1e3567f7eba99e50cc6d102ef1292dd30d36c","datavalue":{"value":{"amount":"+0.7375689148902893","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":"Q2702283$D1BBFAC9-8F1A-4B54-8CB8-383A0ECD5D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0cc2a5b227844453874641e4f45a516dfaab116","datavalue":{"value":{"entity-type":"item","numeric-id":5445156,"id":"Q5445156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dbb717d53745770c3843050a48e56ca18e9caac","datavalue":{"value":{"amount":"+0.7369566559791565","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":"Q2702283$4A84BD66-C103-4327-A852-2D93B90BF326","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The contribution of Polish logicians to recursion theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_contribution_of_Polish_logicians_to_recursion_theory"}}}}}