{"entities":{"Q2311209":{"pageid":2321952,"ns":120,"title":"Item:Q2311209","lastrevid":73045263,"modified":"2026-04-14T09:48:23Z","type":"item","id":"Q2311209","labels":{"en":{"language":"en","value":"Fixed point theorems for precomplete numberings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7078381"}},"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":"Q2311209$873956C0-9491-4A9C-9C0C-E250CA151A4A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb9041c896771179d5140e0da28d143a9d822f13","datavalue":{"value":{"text":"Fixed point theorems for precomplete numberings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2311209$2A3533FF-708F-49BB-9167-A0C2F734FEA6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0de83b895217afc59b5cf2d2ddc75cc8dcc58aae","datavalue":{"value":"1454.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2311209$7D34B2CD-B3E9-4E58-A205-5A5602D3FC8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77409c9e904108aefa46d70345016e61363f1c7a","datavalue":{"value":{"entity-type":"item","numeric-id":801049,"id":"Q801049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311209$33496E74-8626-4B4A-8D8D-A910D3E09B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf1b56d11bf58160c554d30c20f124cbee3f9201","datavalue":{"value":{"entity-type":"item","numeric-id":412012,"id":"Q412012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311209$34BCE909-6DC1-4030-9DD7-169476DA8E2D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311209$D776838B-93E2-4D78-A341-D96FDB561C32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4c5ce9058e70e86b27db6383241102ef321cb0","datavalue":{"value":{"time":"+2019-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2311209$F1A03C39-0BB4-431F-9FC5-FFB0DEADEECF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"754a2076290ba3643d672b8d7b3ee2e37d747247","datavalue":{"value":"https://arxiv.org/abs/1809.06233","type":"string"},"datatype":"url"},"type":"statement","id":"Q2311209$A1E76BC7-ABA1-4373-932E-1B5AEED602DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b14d9e0702629d80c8062edee549a7359040a64","datavalue":{"value":"http://hdl.handle.net/2066/205967","type":"string"},"datatype":"url"},"type":"statement","id":"Q2311209$99E8D269-00B1-480B-8648-5C997E5E5D1C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"873e6ef49fba249cbd672357cd66a1ceb8a19949","datavalue":{"value":"In this paper, the authors provide further steps on the generalization process of Kleene's fixed point theorem. The paper also contains some interesting questions for further developments. Kleene's fixed point theorem states that every computable function \\(f:\\omega\\rightarrow\\omega\\) has a fixed point, that is, an \\(n\\in\\omega\\) such that  \\[ \\varphi_{f(n)}=\\varphi_n. \\] Here, \\(n\\mapsto\\varphi_n\\) is the standard numbering of all the partial computable functions. The uniform version of Kleene's fixed point theorem states that there exists a computable function \\(f\\) such that for every computable function \\(g\\), if \\(\\varphi_n=g\\) then \\(f(n)\\) is a fixed point of \\(g\\): \\[ \\varphi_{g(f(n))}=\\varphi_{f(n)}. \\]   A numbering of a set \\(S\\) is a surjection \\(\\gamma:\\omega\\rightarrow S\\). A numbering \\(\\gamma\\) is \\textit{precomplete} if and only if for every partial computable function \\(\\psi\\) there exists a computable function \\(f\\) such that for every \\(n\\in\\omega\\) \\[ \\psi(n)\\mbox{ is defined }\\Rightarrow \\gamma(f(n))=\\gamma(\\psi(n)). \\] \\textit{Y. L. Ershov} [Z. Math. Logik Grundl. Math. 21, 473--584 (1975; Zbl 0344.02031)] generalizes Kleene's fixed point to every precomplete numbering. Actually, the following uniform version of Ershov's fixed point theorem is known, a proof of which can be found in [\\textit{U. Andrews} et al., Lect. Notes Comput. Sci. 10010, 418--451 (2017; Zbl 1485.03146), cf. Theorem 2.1]:  (1) Let \\(\\gamma:\\omega\\rightarrow S\\) be a precomplete numbering. There exists a computable function \\(f\\) such that for every \\(n\\in\\omega\\), \\[ \\varphi_n(f(n))\\mbox{ is defined }\\Rightarrow \\gamma(\\varphi_n(f(n)))=\\gamma(f(n)). \\] In the paper under review, the authors generalize (1) by extending the notions of numbering and precompleteness of numberings from \\(\\omega\\) to each \\textit{partial combinatory algebra} (pca).  Definition (generalized numbering). Given a pca \\(\\mathcal{A}\\) and a set \\(S\\), a \\textit{generalized numbering} is a surjective map \\(\\gamma:\\mathcal{A}\\rightarrow S\\). \\(\\gamma\\) is \\textit{precomplete} if for every term \\(t(x)\\) with one variable \\(x\\) there exists a total element \\(f\\in\\mathcal{A}\\) such that, for every \\(a\\in\\mathcal{A}\\), \\[ t(a)\\mbox{ is defined }\\Rightarrow \\gamma(fa)=\\gamma(t(a)). \\] They show that (1) is a special case of the following:  (a)  Let \\(\\mathcal{A}\\) be a pca and \\(\\gamma:\\mathcal{A}\\rightarrow S\\) a generalized precomplete numbering. Then there exists a total \\(f\\in\\mathcal{A}\\) such that for  all \\(g\\in\\mathcal{A}\\),  \\[ g(fg)\\mbox{ is defined }\\Rightarrow\\gamma(g(fg))=\\gamma(fg). \\] The authors also discuss \\textit{M. M. Arslanov}'s completeness criterion [Sov. Math. 25, No. 5, 1--10 (1981; Zbl 0523.03029)] and \\textit{A. Visser}'s ADN theorem [``Numerations, \\(\\lambda\\)-calculus, and arithmetic'', in: To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. London etc.: Academic Press, A Subsidiary of Harcourt Brace Jovanovich, Publishers. 259--284 (1980)]. In particular, they give the following two generalizations to each precomplete numbering:  (b) (Arslanov's completeness criterion for precomplete numberings). Let \\(\\gamma\\) be a precomplete numbering and \\(A<_T\\emptyset'\\) a computably enumerable set. If \\(g\\) is an \\(A\\)-computable function, then \\(g\\) has a fixed point modulo \\(\\gamma\\), i.e. there exists \\(n\\in\\omega\\) such that  \\[ \\gamma(g(n))=\\gamma(n). \\]  (c) (ADN theorem, uniform version for precomplete numberings). Let \\(\\gamma\\) be a precomplete numbering and suppose that \\(\\delta\\) is a partial computable diagonal function for \\(\\gamma\\). Then there exists a computable function \\(f\\) such that for every fixed \\(e\\in\\omega\\) the function \\(f(\\langle e,n\\rangle)\\) totalizes \\(\\varphi_e\\) avoiding \\(\\delta\\) modulo \\(\\gamma\\), namely: \\[ \\varphi_e(n)\\mbox{ is defined }\\Rightarrow \\gamma(f(\\langle e,n\\rangle))=\\gamma(\\varphi_e(n)), \\] \\[ \\varphi_e(n)\\mbox{ is undefined }\\Rightarrow \\delta(f(\\langle e,n\\rangle))\\mbox{ is undefined}. \\] In the final part of the paper, the authors analyze the relation between combinatory completeness of a pca \\(\\mathcal{A}\\) and the precompleteness of the generalized identity numbering  \\(\\gamma_{\\mathcal{A}}:\\mathcal{A}\\rightarrow\\mathcal{A}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2311209$4E39EDBB-3E3E-4A39-81B5-B4D778A46D0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2311209$99A1F067-EB77-464B-88A1-84913019D475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2311209$ECC47600-A735-4AAE-97F0-C04A8E5A02E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2311209$3047DDD5-0D5A-4ACD-8EF8-28171EDF8476","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34d3a4d9a1556c0edcfbe7dc2f97fa7336b335c2","datavalue":{"value":"7078381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2311209$B22AA96E-B90D-4A61-BC45-98317CC766F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1fd43a84260edee1c81706cf0ab1a4b13104b4d","datavalue":{"value":"precomplete numberings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2311209$87DAF8C0-9E58-4458-AB2A-9DAF5B7E967F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd6d96172b3ccc091dbaa27c855f7c992a6f6333","datavalue":{"value":"Ershov recursion theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2311209$229E2C6F-B748-41B0-8B71-06A4DED5BB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc81b2a5e9ec66dceee2030e3916f8fc1d58c4cf","datavalue":{"value":"ADN theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2311209$B53E1675-54A3-485E-91BD-760F085EC729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b569a2eb10e2ddac20d5643c29dd362aaed5bfb","datavalue":{"value":"Arslanov completeness criterion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2311209$6763B8D4-D01F-4CC5-AF5B-8E1C0FAC8B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d898539b0b7b288326ffe34d8e2bf4b12316d36d","datavalue":{"value":"partial combinatory algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2311209$343EF64E-00DD-4A3E-B70F-C219FCF1BBE0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3f64638a8e946e0d81e5fb7bc20fa3f4b6703c8d","datavalue":{"value":{"entity-type":"item","numeric-id":286989,"id":"Q286989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311209$0C17D720-6420-41D0-BCC8-F4DE216E8BC1","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":"Q2311209$70268240-A3B9-4098-9C8D-F873836C472A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b451002b2f49aac40b89a632f6e7ea5784253f45","datavalue":{"value":"W2890683191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2311209$EE24E437-7EE5-4FF2-8E5D-B0350DC2B7F4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"73964244b50ac6a01b3bd24fccdbd805ad86369c","datavalue":{"value":{"entity-type":"item","numeric-id":2970971,"id":"Q2970971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311209$2F39931B-F94A-4A4F-966D-CF8B370F9351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d016aba6c62feffbfb5a07da9db642aacb247367","datavalue":{"value":{"entity-type":"item","numeric-id":3674634,"id":"Q3674634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311209$602427ED-301F-456B-8E7D-68F8BF16FF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224a659e276ae64911c4d63be276e4bf250215bb","datavalue":{"value":{"entity-type":"item","numeric-id":4579823,"id":"Q4579823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311209$1E5256F4-73B6-4AA0-890B-0025AB8A0F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f21a4a0099d31e158836c7dcfba6aa43c852ab","datavalue":{"value":{"entity-type":"item","numeric-id":3342534,"id":"Q3342534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311209$7F54971A-0072-4850-81C1-75458598535F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ed53823d817192b4d96d4668449095e3a41e54d","datavalue":{"value":{"entity-type":"item","numeric-id":4764617,"id":"Q4764617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311209$CF108EEB-910A-4D6B-9CCA-43F974C482FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a06a77350a0e89c679d1b1a4beb086f99b213ebf","datavalue":{"value":{"entity-type":"item","numeric-id":3309827,"id":"Q3309827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311209$FB6C1020-72AA-4C9D-A84C-D918B57A993E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45131a38ff53f12b9952d52e2962c28740fef2f7","datavalue":{"value":{"entity-type":"item","numeric-id":3161424,"id":"Q3161424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311209$8186E445-6F36-4084-95DF-ADC0EEFB3AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84fc7188193dcc24094147cdb1f19183b0e45997","datavalue":{"value":{"entity-type":"item","numeric-id":4047540,"id":"Q4047540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311209$54956714-3714-4F17-9DDB-A82C72DF7030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96c59fa5a6862e05df7ee16ddb2d8bba3daa3988","datavalue":{"value":{"entity-type":"item","numeric-id":1393225,"id":"Q1393225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311209$11E0AF72-B005-4528-B7DE-ADED1083786C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da92b26b85f6737e55d5cc004ea787c9e3471a63","datavalue":{"value":{"entity-type":"item","numeric-id":4111546,"id":"Q4111546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311209$5FE95162-820D-4441-882B-C6255B78C453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fdc6e6c91c016e9985f506925ea38ed52ac667","datavalue":{"value":{"entity-type":"item","numeric-id":4128540,"id":"Q4128540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311209$B09EBCB1-F120-4783-8D2A-F110C05EB82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfe38fe19cf97f81a630bbeb3a96a5b65d421db0","datavalue":{"value":{"entity-type":"item","numeric-id":3489987,"id":"Q3489987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311209$2348197A-7315-4C9A-AA54-A21CFBD1BF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"238fd29f8ac226411b59375cbcf60013cf861c4c","datavalue":{"value":{"entity-type":"item","numeric-id":2543461,"id":"Q2543461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311209$795921D7-68B0-4A67-975F-004600925AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86108cb677c98bb6850d4621a5c75e6c35903675","datavalue":{"value":{"entity-type":"item","numeric-id":5677474,"id":"Q5677474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311209$5DD40D0E-48BA-482B-89A2-7F8AAE2778DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ba25d69cadc919d80d2b5e82a0eabcb1b50c8c","datavalue":{"value":{"entity-type":"item","numeric-id":5343325,"id":"Q5343325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311209$C20720E0-71E5-4DBC-BEB2-372CC9041646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2914aa1672715ea618a34d8d0463f0416b921bda","datavalue":{"value":{"entity-type":"item","numeric-id":4723720,"id":"Q4723720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311209$A041E44F-8733-4ED9-A195-6E7B81ACC56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fd473f278e22b42f30e82bcf94419123d2ea77b","datavalue":{"value":{"entity-type":"item","numeric-id":3026990,"id":"Q3026990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311209$AAA8F969-2BF1-4F1E-AB6D-F6EA3D1F4437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52fefcdda7bf616827053741c3d4864232e0b191","datavalue":{"value":{"entity-type":"item","numeric-id":3457676,"id":"Q3457676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311209$A9681A03-EC23-4B73-B9A2-C6A98C965969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a180b8fce60736ccd37eeea2fa33bcf2b0d72a38","datavalue":{"value":{"entity-type":"item","numeric-id":3161629,"id":"Q3161629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311209$0817C56D-C994-49A8-AE7A-B9AAEB515224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3f4f13509c05ca44b6aa78d129e88e614ae0100","datavalue":{"value":{"entity-type":"item","numeric-id":1307029,"id":"Q1307029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311209$3C8EEF8A-0844-4269-8335-B9652B6F8822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb99eb66c25fe4c4058c32bc65bca0017ab853cf","datavalue":{"value":{"entity-type":"item","numeric-id":1011333,"id":"Q1011333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311209$36B2F332-B02F-4FA6-B414-1D3DFB957CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db0afd5532278da9a5d9cf1957582e7e12c5b70b","datavalue":{"value":{"entity-type":"item","numeric-id":2626398,"id":"Q2626398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311209$CC4A3B28-D5FB-4715-9620-2287C825EFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc936fb9d74d6cbe030761022ef64e08bc9bae42","datavalue":{"value":{"entity-type":"item","numeric-id":3895468,"id":"Q3895468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311209$BBA10C0B-2819-444C-B7BA-85AE02413CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15736a1fabe53e34c9adbd1c3f77269c133e2124","datavalue":{"value":{"entity-type":"item","numeric-id":4040892,"id":"Q4040892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311209$CB1A8A4D-1FD4-4D5A-87F4-6941B12B83B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30c7be0214aebd8bc1df98796bbe2bc099e98077","datavalue":{"value":{"entity-type":"item","numeric-id":4647121,"id":"Q4647121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311209$F9A56D58-16CB-4194-9FBA-EDECDB6969D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a1f234b5bfacf39e0b94fa2a5643278eb7e3b26","datavalue":{"value":{"entity-type":"item","numeric-id":781514,"id":"Q781514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311209$80027D9A-C0E6-4836-9C4C-D8A99EBF294C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17598605a8a354a780736e07023b358340e4942c","datavalue":{"value":{"entity-type":"item","numeric-id":5768088,"id":"Q5768088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311209$CBD5C112-A57E-402B-B03B-3701DF8E2945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2311209$7E869B92-B45C-4BFB-9432-EBAC9745DB80","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e94b88ea70fa6ffdea5311a4aa70a92365f16818","datavalue":{"value":"Q127986194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2311209$475F1AA3-5814-4102-96B6-39246408CDE1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0464e2c06a873694d46cc8d5131ecc378820e94a","datavalue":{"value":"10.1016/J.APAL.2019.04.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2311209$7CD42721-73CF-4D28-91A8-A9E3F3734823","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d839e5b0c9564cd0c4dda0e84319e56ac0277d9","datavalue":{"value":{"entity-type":"item","numeric-id":4982355,"id":"Q4982355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83c39a80890996c96fe5a140cf9f50899f393b92","datavalue":{"value":{"amount":"+0.8172799944877625","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":"Q2311209$5E21D678-667F-4F7E-9B49-442BB4B237FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df441f46c8b6f1a9a0eda6b4aafa1a8917e51d84","datavalue":{"value":{"entity-type":"item","numeric-id":6094162,"id":"Q6094162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d0c2210b30958dad6b59941a7121922fc8ae38b","datavalue":{"value":{"amount":"+0.8075392842292786","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":"Q2311209$728147B6-E714-493A-BA16-98C9D4DD9A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf12dea13b43bdc5eaac6a903d35521a2552843","datavalue":{"value":{"entity-type":"item","numeric-id":4984865,"id":"Q4984865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e3e973a16f7da976e1239d6c2b99a883125f90c","datavalue":{"value":{"amount":"+0.7943436503410339","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":"Q2311209$CE6750FF-148F-415D-A630-A51A7BB5942F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31b3a6bf02ec57ae197bb8fa8be916bd48d86778","datavalue":{"value":{"entity-type":"item","numeric-id":3775544,"id":"Q3775544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"142f01cf36ac8ae7311e220828b0d135c7f4ffa6","datavalue":{"value":{"amount":"+0.791735053062439","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":"Q2311209$E131090A-537A-449C-978C-C085C344BF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0bda7340fe85dd70575f8585aa4a68afc9f50c4","datavalue":{"value":{"entity-type":"item","numeric-id":4005036,"id":"Q4005036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e1f51dde7d5229e84da7a58b1a7abb9126fd1fe","datavalue":{"value":{"amount":"+0.788754940032959","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":"Q2311209$94FBEAC1-8CF0-4BE8-8EA4-4941FAD79A33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fixed point theorems for precomplete numberings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fixed_point_theorems_for_precomplete_numberings"}}}}}