{"entities":{"Q3949042":{"pageid":5978947,"ns":120,"title":"Item:Q3949042","lastrevid":55068826,"modified":"2026-02-03T08:57:21Z","type":"item","id":"Q3949042","labels":{"en":{"language":"en","value":"On definition trees of ordinal recursive functionals: Reduction of the recursion orders by means of type level raising"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3767646"}},"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":"Q3949042$61628E07-6512-46BF-896A-345B21D0BDDA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56a126ff22c7f2378111fbd20d915b5a89b2c101","datavalue":{"value":{"text":"On definition trees of ordinal recursive functionals: Reduction of the recursion orders by means of type level raising","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3949042$CEC2AA36-1A9D-438C-A163-6B76C53E6B29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb57f7c1a5ad5d5cc70e1c4e6e1020ba69d33912","datavalue":{"value":"0488.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3949042$0D0EA54C-F327-4559-B1D1-712645A0A6F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7f5fade6be3084570658961e6756cc3b4b3421a","datavalue":{"value":"10.2307/2273149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3949042$FE886483-03BF-4499-8A2F-7D4C3247C091","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09db71bf8353d171c52fa077151919ce9cd3f474","datavalue":{"value":{"entity-type":"item","numeric-id":759748,"id":"Q759748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3949042$60037DFA-4E25-4D4D-9B7A-64AE2F764803","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3949042$5102CEEA-AAAB-4640-BE2E-C4606E07BBFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3949042$87257080-EA10-43F8-B392-D0736A817083","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3949042$E78F7AB4-01CA-4630-85F3-738AEAA88358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3949042$2950479C-B7B5-4BC4-9843-35BDB34BA015","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f39537bcbdae999c30224722b36b52a40b3af007","datavalue":{"value":"3767646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3949042$EFD8ACDC-2B9A-4933-97FB-845DD1B43F15","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c280068ea1549033074482fce541142df0d2a262","datavalue":{"value":"well-ordering of the set of natural numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949042$FFD3F7A5-95D5-4903-95E6-5371FAB28169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52568491581c89336f61504462053b8c815672dc","datavalue":{"value":"scheme of degree n","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949042$FE47D4C9-FEE6-4C39-B3EB-5BE4E462DEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f3103fba5977d654c275247a7fff204e904497f","datavalue":{"value":"functional of type level n","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949042$7F831410-685F-470C-93E8-345A795E80ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"daf9f689e3f681192431b517a4bff2ff724f975e","datavalue":{"value":"functionals of finite types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949042$EE07F2F9-FD2D-4F91-BB1E-67494B78AB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5796226d71436209275b0ec1070acea601eec32b","datavalue":{"value":"definability of functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949042$3C80D7FA-888C-47FE-8BCE-0B257258DCAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f6b5aae6a466848d65109c034c78087857a291e","datavalue":{"value":"number-theoretic functions definable by nested recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949042$DC9F0522-BB0B-4552-9311-567C1D312E51","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":"Q3949042$8BA0DB3A-3905-4D0F-92BB-72587146AA97","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc05f5afbfd2ca288eb2ed17f751d06488b7f1d5","datavalue":{"value":"https://doi.org/10.2307/2273149","type":"string"},"datatype":"url"},"type":"statement","id":"Q3949042$69AAF3A9-C73C-4767-9528-2EFD758E0743","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"326311342f163cc879c72e75f4d975eeb8ae84a8","datavalue":{"value":"W2103403562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3949042$02B94B34-6422-4569-BB44-A9D64902B15F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b97dc288c0e9f823be86d021de4ec9cff71dce18","datavalue":{"value":{"entity-type":"item","numeric-id":2647392,"id":"Q2647392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3949042$0E9080B2-4FD0-492D-9AD7-4AC603B024F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2114f7df9ef5b523eb89d9f18f0f9c43acb71ed","datavalue":{"value":{"entity-type":"item","numeric-id":5639704,"id":"Q5639704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3949042$73E93664-4CC0-4EF0-8635-E612286F771B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58cc241747ec6fa1130277e3fe9cbb65e8f8d05e","datavalue":{"value":{"entity-type":"item","numeric-id":5680103,"id":"Q5680103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3949042$158C7B25-3428-4A04-BA79-E5802B559908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"def5659e262d9601c2de72c38ef43bc16faa2300","datavalue":{"value":{"entity-type":"item","numeric-id":1131248,"id":"Q1131248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3949042$76F3F323-F89A-40E0-9438-DDB06D042F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"356bbc8d0ebb4f5fda517f9c0b898acaddccec63","datavalue":{"value":{"entity-type":"item","numeric-id":5676207,"id":"Q5676207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3949042$888CC1C8-AA30-48A9-B5CE-BAFC5ED5F6F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3949042","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3949042"}}}}}