{"entities":{"Q3978437":{"pageid":6008328,"ns":120,"title":"Item:Q3978437","lastrevid":46240588,"modified":"2025-12-24T09:26:20Z","type":"item","id":"Q3978437","labels":{"en":{"language":"en","value":"Recursive Functionals and Quantifiers of Finite Types Revisited, V"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 12217"}},"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":"Q3978437$7809A299-99AF-43B9-8C5B-397068A97C5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48401d9f542e81cea6cab9ae49aaeb4fdd489cba","datavalue":{"value":{"text":"Recursive Functionals and Quantifiers of Finite Types Revisited, V","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3978437$9F3A062B-9C0E-493F-8FC2-46411E7AEAB9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"323a752e90577ddb39f37df52d030dbb0691bb41","datavalue":{"value":"0748.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3978437$32B6DCD5-630A-40FA-9D06-EC9EBE96E09B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f57ccfe7ef70030f942538143f70c8557905340","datavalue":{"value":"10.2307/2001641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3978437$F8101B40-525C-452B-A845-7F608AE12F39","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"df8563a34b35a91e952c14424ba2e926e2255a87","datavalue":{"value":{"entity-type":"item","numeric-id":559399,"id":"Q559399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3978437$A67BA64D-8E0D-4325-A23F-1D59FBD6D60B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3978437$6BA8B8C7-DADD-48BB-B542-C12D5FD2EB55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3978437$AA3807B7-8AB2-4B55-8BA5-CB54E8F58FDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"117c0b45bd33d5662f26b30c5ad9b98bff6427f1","datavalue":{"value":"12217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3978437$89137EBB-50ED-4B59-9B4A-006FE0EA91B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d522b93d811f96baed8cc17078e1e2ffd6a746b","datavalue":{"value":"recursion in higher type functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3978437$D9630E3D-272D-497E-B021-CA166B4D48FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b2ed3c130c30bac7174fa9b54a06645cc1227f","datavalue":{"value":"computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3978437$99D9A7E7-D088-4129-B37B-1D3E39C8C0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46fe81e4c24f40e2106e7b765acdd588902266bd","datavalue":{"value":"computable functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3978437$4CA92A2C-8313-46AC-A500-7B2266D9B80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c912dd45456959aa9594fa8a89e3f787ad398ae","datavalue":{"value":"oracles","type":"string"},"datatype":"string"},"type":"statement","id":"Q3978437$E9909F99-7A65-4A26-8C5F-13364F783499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39f38f7ace8daca1c5c22418c37c4924f7932d84","datavalue":{"value":"higher type recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3978437$2C3B870E-D42A-4EE8-8E46-EC30C529DC9C","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":"Q3978437$EA1C4224-D7A6-4BAA-9E96-E78F67AA6AA8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"011056c8eb6de0be0e6cc8085936917e63e467be","datavalue":{"value":"https://doi.org/10.2307/2001641","type":"string"},"datatype":"url"},"type":"statement","id":"Q3978437$AAF0AFA9-6EE7-4551-A204-30416252B2F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e34dcb8e481a232c40f887a75312945e59cfed4","datavalue":{"value":"W4253946311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3978437$96708DB6-EBAC-4F7A-A4AD-D25CF2FD15C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7fdd3d6b9cc141f6d005556f1ba7c68d933a429","datavalue":{"value":{"entity-type":"item","numeric-id":6672169,"id":"Q6672169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3978437$B1601E84-E77A-4341-A1D0-1B03F7B0D516","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fbb23a6bc22785f7c094be5b35a0e9d47332e58","datavalue":{"value":{"entity-type":"item","numeric-id":3689176,"id":"Q3689176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1f53e3dcfebf57c4e7692ad722dfc04a49fb8c3","datavalue":{"value":{"amount":"+0.8633683919906616","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":"Q3978437$2894E025-C278-4707-A4CF-FBD42E82EDFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30daeabd67652e3ba982bfd4eb68e82947396ee6","datavalue":{"value":{"entity-type":"item","numeric-id":3748274,"id":"Q3748274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72fcdb809b302f9614e42e642b32d68f00c3fc9f","datavalue":{"value":{"amount":"+0.8387793898582458","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":"Q3978437$D42616EF-9347-4312-9FA8-E55DF22A962D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ac05f4f7d67a63e9e26937d79e50f17d4cda0ca","datavalue":{"value":{"entity-type":"item","numeric-id":3717033,"id":"Q3717033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a88374936362b9d11af32ea768a4d51022d30ea","datavalue":{"value":{"amount":"+0.7862453460693359","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":"Q3978437$CBCBA98A-DE44-46E5-A942-35A8B913D04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d2c4475997009e69279d8e1edbe9973dffb413a","datavalue":{"value":{"entity-type":"item","numeric-id":3734394,"id":"Q3734394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c154c7ed59e1f1d4fbc7ee1513a305c7fb5f88d8","datavalue":{"value":{"amount":"+0.7790361046791077","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":"Q3978437$4F9A3CDF-DD6F-43F0-990B-3875AF47E200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"283010728c148e1dfef698dc6d7bf955c2286839","datavalue":{"value":{"entity-type":"item","numeric-id":3717039,"id":"Q3717039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8d5eb91f4907f06019565819dc4f283d83b4b60","datavalue":{"value":{"amount":"+0.7766628861427307","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":"Q3978437$9BBB7D3E-B1F7-47C8-BFBB-B9FBC0D9759B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3978437","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3978437"}}}}}