{"entities":{"Q3734394":{"pageid":5764300,"ns":120,"title":"Item:Q3734394","lastrevid":50868869,"modified":"2026-01-15T12:21:35Z","type":"item","id":"Q3734394","labels":{"en":{"language":"en","value":"The hereditary partial effective functionals and recursion theory in higher types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3966061"}},"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":"Q3734394$3D9B4C65-4296-44C9-9D24-199CB34E9584","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11886123cc75f1474a34e185b45b5c72e86a13de","datavalue":{"value":{"text":"The hereditary partial effective functionals and recursion theory in higher types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3734394$48BE5B8D-A4E6-4D33-9C8C-B9B60B70E931","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2f5db7f77f4d97796f731c3af11756c004cf9ec","datavalue":{"value":"0599.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734394$A5F3BF0A-810C-4367-9AC6-2B61F9B6EDC1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81fdeb739066b155dbf40a56aff8b4db341d5a27","datavalue":{"value":"10.2307/2274281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734394$27AC253E-6ECE-43E4-9661-458CA90FB4A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d67ab1b2e03f8f419b2b30d0b67a5844940e3455","datavalue":{"value":{"entity-type":"item","numeric-id":615954,"id":"Q615954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3734394$105A7885-0314-40AB-9434-3AB51F93E69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03c3b74ff26c086a7988af4846b84322637129ef","datavalue":{"value":{"entity-type":"item","numeric-id":1868461,"id":"Q1868461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3734394$58EE0CD2-A8D5-4EB0-BAD9-4E3F962022AB","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":"Q3734394$BD70B049-252A-4DE6-99FC-F75A81B7B9B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3734394$8A23FB75-75F8-4054-9360-75216EAD697E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734394$A5F7A192-3728-46E7-AE5D-8000584E5A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734394$F8C10E69-8BB5-4D6A-90F0-EA18F262B76B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"afa9ba0056b2955a862f92615f089d36a7063d6a","datavalue":{"value":"3966061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734394$CEF1CD67-3FF2-4907-85C4-A90432D83868","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d69df40fcd35c1a0f1fb3f36808aee76750f5f17","datavalue":{"value":"type-structure of partial effective functionals over the natural numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3734394$B646BBB9-FB47-4774-8695-E813245448F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4cdfefa1b393fcff54fd7e1fbd459c6662d7b51","datavalue":{"value":"canonical enumeration of the partial recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3734394$A8C1D80C-96C6-4B40-A995-23A830FC1866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a03f2dde768f88f645edbd21a8562b960f8ed9dc","datavalue":{"value":"computable elements of the hereditary continuous partial objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q3734394$1BDBD588-C0B5-4F12-90EF-94A67159AE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9dd8b4cb79270d6e7b082e4ea6c19beb082a303","datavalue":{"value":"relative numberings","type":"string"},"datatype":"string"},"type":"statement","id":"Q3734394$4B610F41-FCC8-4846-A19B-1C8D6AAA91BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4578faba36671269b1cd3620a65ccfa7d2331a3d","datavalue":{"value":"Kleene-Kreisel countable functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3734394$17E22019-21A9-49D0-8367-104330C3C296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"667f614cb4b02e599c54304124dff37a04be0c46","datavalue":{"value":"hereditary effective operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3734394$34941375-DCBB-4A7B-8323-699A856E2148","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":"Q3734394$640099E7-4D19-4EBF-8D9E-AB9DB017F834","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e94c171f4d052189bbf5b6b4a8118ef05d1b0571","datavalue":{"value":"https://doi.org/10.2307/2274281","type":"string"},"datatype":"url"},"type":"statement","id":"Q3734394$38253DEC-CDBF-47E6-A8C7-99ECEF88B7EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"747821ee0efda8df75791331a1dd8596ec0fb3ca","datavalue":{"value":"W1972812828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3734394$5EA091B7-43B0-4394-8965-282D8125B1A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf201fde44655e64d588156b950e69b96b2642f","datavalue":{"value":{"entity-type":"item","numeric-id":1214177,"id":"Q1214177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3734394$7B0BB65F-CDD1-4CEC-B3B9-F82918C4FE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"954742cd4d0af163f01ea462b947d91339fe6ca3","datavalue":{"value":{"entity-type":"item","numeric-id":1145694,"id":"Q1145694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3734394$B44B8377-33EA-4A32-8F15-03B16E24F477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6452450bcc9d58f3467a1463aad43bdb776205e3","datavalue":{"value":{"entity-type":"item","numeric-id":3230369,"id":"Q3230369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3734394$5F73185E-DED4-4754-9C4B-738EC0B80A61","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed05abdbc12c71e1d11144d7a8c255e64568679","datavalue":{"value":{"entity-type":"item","numeric-id":5457388,"id":"Q5457388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"babba04895ae3c39ff66aa23978fe9e782b4539d","datavalue":{"value":{"amount":"+0.7924699187278748","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":"Q3734394$4C680E54-C73B-4CB8-95B1-04F5E9660F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"655cc213e70df7ea251e5d2094d00691cdbbf410","datavalue":{"value":{"entity-type":"item","numeric-id":4724615,"id":"Q4724615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a20d39741eb4901e895c59d2860437e19c0c90d8","datavalue":{"value":{"amount":"+0.7804527282714844","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":"Q3734394$360A496F-FD0B-4938-B665-6260882776C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dd5efd936092dac8d066f9bdade09520dc841a4","datavalue":{"value":{"entity-type":"item","numeric-id":3978437,"id":"Q3978437"},"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":"Q3734394$BCAC2AF0-A3CD-443C-B26D-FA4ACBB58D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f29229175b4d31fbfbd954bef8b545414c34d653","datavalue":{"value":{"entity-type":"item","numeric-id":3708005,"id":"Q3708005"},"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":"Q3734394$5C7004AF-EB8A-4937-9BC9-FBB349D0F2BF","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":"8c0e210a649dbf05c694c12f3dcc3c82a7f091f6","datavalue":{"value":{"amount":"+0.777646005153656","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":"Q3734394$85658157-54C6-40D4-9A85-CD902DEB451D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3734394","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3734394"}}}}}