{"entities":{"Q1032628":{"pageid":1034476,"ns":120,"title":"Item:Q1032628","lastrevid":66589725,"modified":"2026-04-12T11:08:31Z","type":"item","id":"Q1032628","labels":{"en":{"language":"en","value":"A foundation for real recursive function theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5620638"}},"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":"Q1032628$45DBFEE7-964C-4D44-B629-ACD84525C50B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8683a8ac0e644aacb422c62da4fde6a810dec557","datavalue":{"value":{"text":"A foundation for real recursive function theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1032628$7DB30AAC-725D-472C-8675-B819B0774267","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4cb1f68e87c5e5064e8623e0347e2a3d2d3c50e","datavalue":{"value":"1189.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1032628$51EA256C-F7AE-4945-881D-C554CECAE5CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9e4034e7197211fec0d1a1b7ace521b43b3282e","datavalue":{"value":{"entity-type":"item","numeric-id":343855,"id":"Q343855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032628$555B57FB-02BC-46F8-A15C-14A136E4E021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b2275b74b04b9734f7696f36acf883a2c6d29ce","datavalue":{"value":{"entity-type":"item","numeric-id":706789,"id":"Q706789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032628$510C8C80-28BA-4E08-971A-498EE1730394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"beab1a10500124789e4c9090c73f45bfb2bd60e8","datavalue":{"value":{"entity-type":"item","numeric-id":162056,"id":"Q162056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032628$6290267C-2BF7-4F24-8B06-3245D804103A","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":"Q1032628$F45E19A8-61AA-4BBD-B791-407AC50183A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"630340bfa00872c2b7b4672df4d7eac20447ca42","datavalue":{"value":{"time":"+2009-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1032628$A08C78B7-9BFF-483D-95A3-7336146E2A6B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74e4373030bebf9f5d71c59db338feb7b422d0cc","datavalue":{"value":"https://ir.cwi.nl/pub/17964","type":"string"},"datatype":"url"},"type":"statement","id":"Q1032628$8A7140F3-B444-4568-91AE-6351BB442BE6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f9bf5cd02c11883e4c90ccd3c14e347fa52f4853","datavalue":{"value":"The class of recursive real functions, REC\\((\\mathbb R)\\), is defined as the smallest set containing the constant functions 0, 1, and \\(-1\\), the projection functions, and closed under composition, aggregation, differential recursion, and the lim sup operator. The differential recursion operator is the solution operator for a class of Cauchy problems and is a continuous analog of primitive recursion. It is shown that step functions such as Kronecker's \\(\\delta\\) are in REC\\((\\mathbb R)\\). A hierarchy of functions in REC\\((\\mathbb R)\\) is also developed. It is also shown that REC\\((\\mathbb R)\\) is precisely the class of functions whose graph lies in the analytic hierarchy. This work builds on the work of \\textit{C. Moore} [Theor. Comput. Sci. 162, No.~1, 23--44 (1996; Zbl 0871.68027)] and previous work by the first and third authors [\\textit{J. Mycka} and \\textit{J. F. Costa}, J. Complexity 20, No.~6, 835--857 (2004; Zbl 1085.03030)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1032628$33F676CB-D381-427D-A89B-BAC19C0775D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d21a69e3457646e46a9bbf0d57100c034be8348f","datavalue":{"value":"03D78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1032628$9D8A7BB5-B3DE-451B-BFD1-BBD0CE3B2C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7f10a8c2218f37e16920ada947854b8ed3009189","datavalue":{"value":"28A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1032628$7BA08177-9C1E-4295-B2AC-8A641C86CA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1032628$936D76F5-905F-4FBC-827A-91E559DC27D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"818f0178847c3365c58a91c1e7c82f97d41a9d2d","datavalue":{"value":"5620638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1032628$CE8B3B1A-188D-45A1-8024-DF68F58C3915","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a0cdd947f888f4571c9076e920372a3d77299cf","datavalue":{"value":"real recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1032628$E9731644-54A9-427D-B20C-60B0A9B5B31E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb1bcc6a664209c905e3a147a535a998b0b96f8a","datavalue":{"value":"infinite limits","type":"string"},"datatype":"string"},"type":"statement","id":"Q1032628$DD3E5563-AE49-4377-A6B8-B40799123053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f9bfee9349d8312f4984e80d8bfe2f7adfd528d","datavalue":{"value":"differential recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1032628$B3BA1374-B8FB-45EE-9B96-56C0540EABE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce11dccd637f45ca0e8e6f3bd71f5de22c6b2676","datavalue":{"value":"computability on reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1032628$A19B59E0-D691-4BF7-AB28-F00B9994C4F1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5969825361396d6993c169902e4df81073964f7d","datavalue":{"value":{"entity-type":"item","numeric-id":371868,"id":"Q371868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032628$76255411-17A3-4F1B-B948-72D4B4BAC97E","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":"Q1032628$8980EB6B-CBAE-4898-9301-3984BAB32DB3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44239c4bb356968554ce3ed383189533cbd4cf75","datavalue":{"value":"W2049452137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1032628$044C7EE7-C4AA-438E-8057-7D1F526B5E52","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0942416bbb24094ad844c088479199c420a678b1","datavalue":{"value":{"entity-type":"item","numeric-id":1207333,"id":"Q1207333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032628$0F7DB5EE-14AA-4551-A9CF-687EAA761BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"844f4cdc63f123fa3871c1b26b8acd0ec411292f","datavalue":{"value":{"entity-type":"item","numeric-id":5710897,"id":"Q5710897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032628$9F95C0AD-29B9-472A-8A3C-A5535C851442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83a1a0e9e8ae862af5d0b99742e608070646c1bf","datavalue":{"value":{"entity-type":"item","numeric-id":2581262,"id":"Q2581262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032628$73E56010-BC7D-45BC-86EB-73E5DE9A3409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7edc929d31ad456871ed28d6f021c435474f8b10","datavalue":{"value":{"entity-type":"item","numeric-id":3416089,"id":"Q3416089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032628$47CC5EE7-CA37-437B-A95E-ACE38DEA7604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f63f0df120eb10d6e9d927ab74d522bf4df4f80","datavalue":{"value":{"entity-type":"item","numeric-id":673870,"id":"Q673870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032628$8A9A0F7D-AFDA-4976-8C85-4B042DA62878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4eb4f7781e92c2fafe1e80407660717b1ec3d68","datavalue":{"value":{"entity-type":"item","numeric-id":4437079,"id":"Q4437079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032628$EBF17B64-7E42-427D-BC48-B87D431B4B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97380d0e7ed93a427a220486323e8cc4c67480ec","datavalue":{"value":{"entity-type":"item","numeric-id":5925968,"id":"Q5925968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032628$E5305E20-AEA1-4D4E-9A8A-705D0FD47C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0557ff078ef8c34b9b56bbaafafed9a6a5002122","datavalue":{"value":{"entity-type":"item","numeric-id":1872639,"id":"Q1872639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032628$2C7BAC12-B2B3-4121-91BD-CAC7AF7FCBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31ff7de87dcc88c5410237393188158b3c32dbb1","datavalue":{"value":{"entity-type":"item","numeric-id":926178,"id":"Q926178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032628$7666671F-6DC7-4EB8-BC56-0B826A3591DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1937be61d8b5e0b9b7d996e8fbe4ac24597510ee","datavalue":{"value":{"entity-type":"item","numeric-id":4934292,"id":"Q4934292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032628$6C1A3BDE-4472-4095-B887-DD3678DAFD97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66289590a4b612587da96e22b04d6428402994e6","datavalue":{"value":{"entity-type":"item","numeric-id":5661859,"id":"Q5661859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032628$317ED5C5-CDAB-48B5-BBA2-007F7752F222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61108f65c8d65dba5511fe8f939f28a426e2f594","datavalue":{"value":{"entity-type":"item","numeric-id":2381095,"id":"Q2381095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032628$746F178F-68E6-4BBF-9F8C-0969A8064612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3a3b87e54b0ee65adf74bd90ed8364f3f3effb3","datavalue":{"value":{"entity-type":"item","numeric-id":5717036,"id":"Q5717036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032628$10F4D887-E89D-4998-9A9E-1815999D8E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d81beb00106c8a5e15496464851e0972e36e360e","datavalue":{"value":{"entity-type":"item","numeric-id":1426051,"id":"Q1426051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032628$C74CFFAC-AC09-4AC3-9001-C9914418C2A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efb1f54a44fa86e651f90c0696cce2d1068c813a","datavalue":{"value":{"entity-type":"item","numeric-id":3995847,"id":"Q3995847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032628$190DAD32-3137-49AF-8CD0-FFC1095402EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14e6f3f22afa524f788c275ca026490f88cd1ca3","datavalue":{"value":{"entity-type":"item","numeric-id":990444,"id":"Q990444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032628$CA2CDE1A-F708-489B-896C-046D58B661C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40cd7854c68de499af5da039c2a881b21fed886d","datavalue":{"value":{"entity-type":"item","numeric-id":1349921,"id":"Q1349921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032628$FFB9DE36-BEEC-4209-A1C3-D4F657235697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e174c6f43083dbf37a32e0fb359df255591c97f6","datavalue":{"value":{"entity-type":"item","numeric-id":4439455,"id":"Q4439455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032628$A4B2FB7C-9686-4559-BB55-89B7A497BCFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baf1c0c165022a6a5cc2448947ff734e21e605d8","datavalue":{"value":{"entity-type":"item","numeric-id":1401321,"id":"Q1401321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032628$B7B86369-072B-440F-9B61-A87AD5142221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32ac644355722e2ede0e8827dfd665fd24869726","datavalue":{"value":{"entity-type":"item","numeric-id":706790,"id":"Q706790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032628$A24E9599-6FB3-421E-9EB7-2DF85E5FED93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eea83c95452ab27c1e3956863c78871eb96bef33","datavalue":{"value":{"entity-type":"item","numeric-id":2489146,"id":"Q2489146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032628$A4662640-FCCB-413A-879D-29EB24164AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"674a257c38ea19ce04b35c2980e3a8c14df89272","datavalue":{"value":{"entity-type":"item","numeric-id":3424115,"id":"Q3424115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032628$3948F21D-A86A-4AA0-8720-F35F038D9D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f14682c4327e465eface836e0f87204f2fff36f9","datavalue":{"value":{"entity-type":"item","numeric-id":1022610,"id":"Q1022610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032628$CF5D461E-BE53-41D4-93C8-C7EFB801D7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5cf8fa535605290547950c58b065116b31c50c3","datavalue":{"value":{"entity-type":"item","numeric-id":1188502,"id":"Q1188502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032628$E977D519-D79E-49A5-815D-132C2172DDA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee3ed05401b4ff2a1ede4fe40551fa7f6a46157","datavalue":{"value":{"entity-type":"item","numeric-id":3532839,"id":"Q3532839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032628$4450DD01-8234-4208-9456-03A986A3CF70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07e09e0965a007fcb2d4ffcdb0b592ac5ad99b17","datavalue":{"value":{"entity-type":"item","numeric-id":3838091,"id":"Q3838091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032628$D765D589-5A22-40BF-8D3B-7E7B5E5A8DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c96f69eb76efeefe0480f4d9121fdcdf3212aa32","datavalue":{"value":{"entity-type":"item","numeric-id":4952400,"id":"Q4952400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1032628$754F8F19-8CDA-4048-91D7-7D37861AD9B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d065ccc486c1a0bcea617e74eb1678e73e3fe2f2","datavalue":{"value":"10.1016/J.APAL.2009.01.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1032628$E9D66886-5E98-4A79-8EC5-C909BF865D2D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b0394d14fcc60a3b5ef97ca121f0c9032d78d2e","datavalue":{"value":{"entity-type":"item","numeric-id":706790,"id":"Q706790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a78e08b6cb19691b6d0bfb8b02e798a1415849c9","datavalue":{"value":{"amount":"+0.8430140018463135","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":"Q1032628$5275A5FD-CEE7-481B-9AFE-E630DFFC5777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77dd7abeb8659ae11ddcecea39d2c0fc5819c72a","datavalue":{"value":{"entity-type":"item","numeric-id":4437079,"id":"Q4437079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de8163490b86a1bd1072e9bc9b1f815a32d0b141","datavalue":{"value":{"amount":"+0.835945725440979","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":"Q1032628$C859317D-6282-4039-B395-CB12E23FEA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b6cdf8671f76f760db539113c44bb21edab9608","datavalue":{"value":{"entity-type":"item","numeric-id":5472858,"id":"Q5472858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7635089edda6cdb62ca2b52e1f1965a68bed90bc","datavalue":{"value":{"amount":"+0.8249823451042175","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":"Q1032628$844F9BBD-7299-465B-AF50-CFC93085686E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a95e2fff759886d69d97a99b18adde6a12f6a312","datavalue":{"value":{"entity-type":"item","numeric-id":1349921,"id":"Q1349921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f2bc67ecc8f8c6a4e4fb77e65dfa5ed1d02b187","datavalue":{"value":{"amount":"+0.8218534588813782","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":"Q1032628$4A795E2C-B496-45D2-A346-3A4AEFB6D24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa8aa10a203ded1cbe2b001a7758787ae428dac9","datavalue":{"value":{"entity-type":"item","numeric-id":2946580,"id":"Q2946580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc2b4cbce8b2f0b00c9e8a09bf97850e3f322b7b","datavalue":{"value":{"amount":"+0.8216974139213562","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":"Q1032628$0B51E39F-DDBC-40C6-A1E7-4E036FDF6DDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A foundation for real recursive function theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_foundation_for_real_recursive_function_theory"}}}}}