{"entities":{"Q579245":{"pageid":581012,"ns":120,"title":"Item:Q579245","lastrevid":62922930,"modified":"2026-04-11T09:00:43Z","type":"item","id":"Q579245","labels":{"en":{"language":"en","value":"Computability in higher types, P\\(\\omega\\) and the completeness of type assignment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4014697"}},"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":"Q579245$94B6C03E-2F68-4EB0-8FE6-D9189BBA1250","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d0b49f6c775e12cd5c13b1a75e56386d126f0b5","datavalue":{"value":{"text":"Computability in higher types, P\\(\\omega\\) and the completeness of type assignment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q579245$8F3E25FB-55EF-4300-A064-160F55B34318","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"961655f6bf226521f3c7d21cff7fb4707b41eec5","datavalue":{"value":"0625.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579245$4E3C7250-197F-44EF-BD27-A26197E39D73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f3f3bc86e837f7cd66111f80007d65cd2608ad0","datavalue":{"value":"10.1016/0304-3975(86)90030-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579245$CFA85439-9D6F-4A3D-822B-48EE78BFEB16","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9153f57b49379c8f42a6fee983336120467fb8fa","datavalue":{"value":{"entity-type":"item","numeric-id":551798,"id":"Q551798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$2CE250DA-9900-4C17-B3CD-1E2C34399FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3994b3ea7b242f980d845d7f38f3a45e589bc28","datavalue":{"value":{"entity-type":"item","numeric-id":592710,"id":"Q592710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$C8E7EFB4-058B-4225-B30E-29BCF2E93E34","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$182ED2C9-689F-4EBC-A843-C40EE0FDF11D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q579245$3AE1CD73-9FFE-4D15-ACE0-EB991048BEBB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bdf868e4f3f84b30c38b1e8f37f2fd75567f4272","datavalue":{"value":"P\\(\\omega\\), the powerset of the natural numbers, may be turned into an applicative structure by Myhill and Shepherdson, ``\\(\\cdot ''\\). Then, for A, \\(B\\subseteq P\\omega\\), set \\(A\\to B=\\{d\\in P\\omega | \\forall a\\in A\\), da\\(\\in B\\}\\). Any effectively given domain can be embedded into \\(P\\omega\\) by a continuous and computable retraction (notation: \\(X\\triangleleft_ cA_ X\\), for some \\(A_ X\\subseteq P\\omega\\), which is also an effectively given domain). We first prove that if \\(X\\triangleleft_ cA_ X\\) and \\(Y\\triangleleft_ cA_ Y\\), then also \\(A_ X\\to A_ Y\\) is an effectively given domain and (*): \\(Cont(X,Y)\\triangleleft_ cA_ X\\to A_ Y\\), i.e., the continuous functions can be embedded into \\(A_ X\\to A_ Y.\\)    Let now \\(P\\subseteq P\\omega\\) be the collection of single-valued sets, i.e., P is isomorphic to the effectively given domain of the partial functions on \\(\\omega\\), and let T be the function-type symbols, with (1)\\(\\in T\\). Then, for \\(P^{(1)}=P\\), \\(P^{\\sigma \\to \\tau}=P^{\\sigma}\\to P^{\\tau}\\) extends the classical recursive operators at higher types. By (*), Ershov's model of the Kleene-Kreisel countable functionals can effectively be embedded, by some \\(G_{\\sigma}'s\\), into the type structure \\(\\{P^{\\sigma}\\}_{\\sigma \\in T}\\) in \\(P\\omega\\). Thus, the recursive functionals correspond to the r.e. sets in the due types, for example, f has type \\(\\sigma\\to \\tau\\) iff \\(G_{\\sigma \\to \\tau}(f)\\) is an r.e. set in \\(P^{\\sigma}\\to P^{\\tau}.\\)    \\(\\{\\) \\(P^{\\sigma}\\}_{\\sigma \\in T}\\) clearly yields a model for formal type assignment to terms of \\(\\lambda\\)-calculus, i.e., for any assignment B of types to variables and any \\(\\sigma\\in T\\) one has \\(B\\vdash \\sigma M\\Rightarrow [[ M]]_{\\xi_ B}\\in P^{\\sigma}\\), where \\(\\xi_ B:Var\\to P\\omega\\), according to B.    We prove that also the reverse implication holds for typable terms. Thus, a completeness theorem for type checking is established over a model defined by an independent recursion-theoretical motivation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q579245$C8DE0AFC-E8D0-4BA6-8EC7-E0790A2F8917","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579245$65613C5F-86FA-48FB-A755-B8D74B726D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579245$01A555ED-EC2E-42F7-A5C0-4FF4E7FAD97D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a473e54d047fb03762ba72018b2ef307782ae294","datavalue":{"value":"4014697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579245$9AD75353-5962-44BB-9F6C-FEEC34F054BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45085d919ef7087f6facb6bbe14dd14f0e453ede","datavalue":{"value":"applicative structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q579245$01CC02E3-9D04-416E-B197-5E9C65A939BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea6d55dc519ec5e7730c5691eec15b9bb89b2bfa","datavalue":{"value":"effectively given domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q579245$57D0929F-25AE-4DAA-BAA3-780084F137F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7620d2552caf817c7c00ba231cd6a19ca82dc7b8","datavalue":{"value":"continuous functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q579245$392BD35F-9228-47E0-8188-DEBFF1BD3FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e93c1381798446f91e26fc9fd37052e939ff716","datavalue":{"value":"recursive operators at higher types","type":"string"},"datatype":"string"},"type":"statement","id":"Q579245$91DDCF1E-EC55-4ED8-BCE3-E122ECDDAB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4578faba36671269b1cd3620a65ccfa7d2331a3d","datavalue":{"value":"Kleene-Kreisel countable functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q579245$E9503212-9534-4563-B4D9-DAEAB8B6D484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18d1b7a2c28e77906da4104fb636290a5dcfcc3d","datavalue":{"value":"recursive functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q579245$B265D2FF-AD69-4F51-A90E-792A8C71003D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43ed7e70efa4ba2014f596944e88548f9ab5fd4a","datavalue":{"value":"formal type assignment to terms of \\(\\lambda \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q579245$D419718D-C178-4EF8-A923-40988E2FC38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c89bd695571c1d98aa4c00a1751119f75b029e45","datavalue":{"value":"completeness theorem for type checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q579245$7D986F60-46B0-499F-9290-3CCA38774CB8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$C35B8AE2-69CD-4C5F-90B5-189D5C101C3A","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":"Q579245$D3991BE7-2462-4F9E-9565-2AE2A71FDD6C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a003484cd894e452e77a258c68fa084567336654","datavalue":{"value":"https://doi.org/10.1016/0304-3975(86)90030-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q579245$5EA7EBBF-A847-4849-ACAC-9356E37B1328","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ced3dce314e39bd38ba003df6f11e64efcff78b2","datavalue":{"value":"W2032004219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q579245$04BC267C-0AB0-41FD-8288-8B0EEE88C0D3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa4f6773fb1d7dcfe9dddb68be9519eaeba7e70","datavalue":{"value":{"entity-type":"item","numeric-id":3206926,"id":"Q3206926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$10FE56E2-461D-4252-8AED-4145A4125E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$7DB6A452-C539-4BE1-8531-E69ACA8FC915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$B9230B51-9FF1-460F-8943-E6B6A7BD3311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$3F24FB2F-ADDA-4D8F-A110-AF674ACB61B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4414ba8a9a0e62b7b9987beb37b6fcee4dc0c8fc","datavalue":{"value":{"entity-type":"item","numeric-id":3340845,"id":"Q3340845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$14BAFD22-A560-4BC4-90F3-2AB9BD0B0456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e81b7c1c63296c10184807e0ef3a185cabd0aa6b","datavalue":{"value":{"entity-type":"item","numeric-id":1221073,"id":"Q1221073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$ED97C212-A5AC-493E-B3D7-5853E8C04132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f8e29b10d7e1fe2a4e3f5fcc830e3f98fe80cb9","datavalue":{"value":{"entity-type":"item","numeric-id":760416,"id":"Q760416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$EE107BA3-2E67-48D8-AB79-C0DFD8DAE89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999a4418c35493fc3ba35f2f259ff320a3c8c62f","datavalue":{"value":{"entity-type":"item","numeric-id":792995,"id":"Q792995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$D78C5620-4C93-4389-A0BD-36547B35E724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc0343de839be7c5c59920ec739c50db8afa672","datavalue":{"value":{"entity-type":"item","numeric-id":3221961,"id":"Q3221961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$38B0E132-8A24-441A-AC85-DB6DAFCDF837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86fd3dbd61f0565e5b3938c48b5731a2172f51b3","datavalue":{"value":{"entity-type":"item","numeric-id":3674034,"id":"Q3674034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$773CC7C1-65F6-4CD5-B06E-5131CF7272C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$F992E9F8-D481-479F-A258-1C06D8FD3044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c021660b683d6096a25283b9bb0986ae286da7a","datavalue":{"value":{"entity-type":"item","numeric-id":1235972,"id":"Q1235972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$FA6F4125-089D-4063-B7EC-9BC5BD53C10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6221d271a31098a11e26449b8d0e3c592d39a59c","datavalue":{"value":{"entity-type":"item","numeric-id":1844827,"id":"Q1844827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$18B4EE06-FB97-4CD3-84F9-1910866A61CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46e536f1d75671c630b57baf1808e70ff2faf238","datavalue":{"value":{"entity-type":"item","numeric-id":3863873,"id":"Q3863873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$12A2C089-86FF-43B3-8D10-3BF3F0B0C950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34f6c3ba9d67daaf9fd7b9e2ad735227bb576b6e","datavalue":{"value":{"entity-type":"item","numeric-id":3734353,"id":"Q3734353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$C9130C1A-C863-4290-9336-6D25FD48FA7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$BD79A972-84D0-42F7-BA0E-C8366B69FB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e002c7703a7e63f8238d4e7c16ac6a5af026e65","datavalue":{"value":{"entity-type":"item","numeric-id":3862437,"id":"Q3862437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$EDE1E03C-6F99-4487-AD56-772BBC4A3FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b570dc51ad23d1e9cb47c7083a0b7b043b06071","datavalue":{"value":{"entity-type":"item","numeric-id":5592242,"id":"Q5592242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$818785E9-E0BF-4627-90B8-69E74024604D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"706432819f6cf16b1a37d307080a71755ef9cfa7","datavalue":{"value":{"entity-type":"item","numeric-id":1839242,"id":"Q1839242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$34886E3D-9478-4010-AC16-7F7E762D379F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a946d393eaba17b2489f9c72b865aa3a82d6f7","datavalue":{"value":{"entity-type":"item","numeric-id":3900018,"id":"Q3900018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$3B4D64E1-A138-460D-93B6-F9A049CFD76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$B72A2C7F-0593-487F-BA8C-58CE53ECD282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae72eb78a5a58c182f1daf0aead2d595d569806","datavalue":{"value":{"entity-type":"item","numeric-id":3050417,"id":"Q3050417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$AE7FC2BB-896B-418C-B0E2-44577DDF6D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80adddbe87325ef55c3874003b1882260ebdd0fa","datavalue":{"value":{"entity-type":"item","numeric-id":4190621,"id":"Q4190621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$79CF6187-9DFF-4F49-A07D-9A6D7910E703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"747d404579adba7e87db1a17a09af2ad09c4d561","datavalue":{"value":{"entity-type":"item","numeric-id":3281965,"id":"Q3281965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$B78B308E-D7AE-4C4F-B32F-21C8EBF93F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac3bd59819bab3c20ab46afa2f257091fcd8fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5344164,"id":"Q5344164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$84A73583-4005-4B21-BB80-E5DE1CA68B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb49d5ba8660e6f6ecb70d742d62a3c8fa7128ba","datavalue":{"value":{"entity-type":"item","numeric-id":1050334,"id":"Q1050334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$6DCA5B3B-C103-4D8E-B161-08C4ACEE9C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"040f112374d67d2aadb710b0564e2f09f41c0cc2","datavalue":{"value":{"entity-type":"item","numeric-id":3708006,"id":"Q3708006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$CCFF753C-AF30-407F-ADA8-476B3C3B503C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d08a7e7d403cea257b26647f08cfb168edc0c81d","datavalue":{"value":{"entity-type":"item","numeric-id":3734394,"id":"Q3734394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$7A617CC7-6195-4831-9B78-0BB89CBD642A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d89176d594fb57ec6d53ce93a5a37387087280f9","datavalue":{"value":{"entity-type":"item","numeric-id":3682463,"id":"Q3682463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$97403DF6-CF04-48CF-820E-8D1BBF2F1021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e7e43f784716a014f37546d3a4d6870aa0b11fe","datavalue":{"value":{"entity-type":"item","numeric-id":4744243,"id":"Q4744243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$70331E47-12E8-411C-9E1C-13ACCF8AC844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$339ED6DC-7A8C-4962-BA32-87F9A9949896","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":"Q579245$AB2E86E7-CCCC-468A-9527-2E686C5E08AC","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":"Q579245$EFCC6106-8A97-48A8-95C2-A249FB9282F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bff8d54ed35d6b3c12abec8db1759de88ef3e42","datavalue":{"value":{"entity-type":"item","numeric-id":1132085,"id":"Q1132085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$0076E0C1-7EE4-46B4-89BB-5A6CBCF8F86D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$1927042C-5537-4B50-9505-F3C9DD0788DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$E6F462D9-77E8-497E-884D-47C3DC3274F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$67C79FDA-89DF-4DD7-9A7A-9CBF17136EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd2973a40cdc7ada8d04704b32ff80bbdfecef18","datavalue":{"value":{"entity-type":"item","numeric-id":3960746,"id":"Q3960746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$04EAFA92-4EF7-4694-814E-3FC2C83E06CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ca39f061f7bb621dac7131279fed7ed70fcac4","datavalue":{"value":{"entity-type":"item","numeric-id":1137572,"id":"Q1137572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$74D58084-7441-4200-B0F2-94D12D06656E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q579245$A1A6F99E-5223-4551-9B0F-FB24632C176D","rank":"normal"}],"P1643":[{"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":"ab34e09b76601c87013f8c9495c1d47d25d6ef9b","datavalue":{"value":{"amount":"+0.87318354845047","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":"Q579245$4D8979A0-4E01-41CA-84A3-5BDF53DAEF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7697648ac7599db2a9987ca838caec5be63dfe06","datavalue":{"value":{"entity-type":"item","numeric-id":3816069,"id":"Q3816069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f32e2f6bc188b6bcced45d6f406443529a0a6e27","datavalue":{"value":{"amount":"+0.8185678124427795","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":"Q579245$45F43E1D-6A04-49FB-8A38-88C439AFBE82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ccfdd3859ab3f18d560c2ed51380f876991a6d6","datavalue":{"value":{"entity-type":"item","numeric-id":792995,"id":"Q792995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80fe97fa74677621d5b867edde267a5baa311ea2","datavalue":{"value":{"amount":"+0.794293224811554","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":"Q579245$C4D64A69-2840-448E-94BF-DB787939C0F6","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":"f872c177055179adc2dd3b3fc23a7fa1ee549608","datavalue":{"value":{"amount":"+0.7771579027175903","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":"Q579245$84602B13-48F0-4E85-BCD0-9762C7A500E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fa9c0b85a7a042442c5e93b6c02fa881bc3b374","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d725e1c82d758cae68e19bd52591d35ac48fbf7","datavalue":{"value":{"amount":"+0.7656499743461609","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":"Q579245$6AE7C013-0E5B-4F68-BD93-BD2FE0BDEC4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computability in higher types, P\\(\\omega\\) and the completeness of type assignment","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computability_in_higher_types,_P%5C(%5Comega%5C)_and_the_completeness_of_type_assignment"}}}}}