{"entities":{"Q1185006":{"pageid":1195755,"ns":120,"title":"Item:Q1185006","lastrevid":66791649,"modified":"2026-04-12T12:53:09Z","type":"item","id":"Q1185006","labels":{"en":{"language":"en","value":"On the expressive power of finitely typed and universally polymorphic recursive procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 35436"}},"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":"Q1185006$395BD100-8DD8-4D1D-9515-992D64595EE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"827db5e2b2a6b93a96d31a5114081a70d5b11c49","datavalue":{"value":{"text":"On the expressive power of finitely typed and universally polymorphic recursive procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1185006$189A8A1E-BF93-4A59-95F1-C2DA055B4C5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31dab338c98ee698c223e083eac53d871a9d32e9","datavalue":{"value":"0755.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185006$FD4A38AF-D7EE-48B6-BD64-171E5F186DB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f85e1d01ef6242d637eec756233e5d04acd5a28b","datavalue":{"value":"10.1016/0304-3975(92)90210-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185006$B90CD90D-7A03-483B-B74C-6F13D1348997","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51d9747839bcddbd973b100af1b34777607177c4","datavalue":{"value":{"entity-type":"item","numeric-id":801664,"id":"Q801664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185006$D94C104B-934B-47B4-888F-288E4ED82F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b456eca97fafb1433d85c58dba82fee4a5004ff","datavalue":{"value":{"entity-type":"item","numeric-id":801683,"id":"Q801683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185006$70A35E8A-8758-4380-8C45-CF30863E89B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e27ee549e3862dd1e883829fc71d54217245973b","datavalue":{"value":{"entity-type":"item","numeric-id":332079,"id":"Q332079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185006$A1523181-3EA5-473D-8AE9-761219C05D09","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":"Q1185006$8B050929-5C2D-414C-A566-4CF27C6F1854","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1185006$2774C50E-C0D5-48E8-A3F0-2E9848BC0C86","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"662f53853d00f6c2aef57f50e212ba7de1244c03","datavalue":{"value":"The paper is devoted to the expressive power of functional programs. The language of finitely typed functional programs of level less than or equal to \\(k\\) is devoted by \\(FL_ k\\) (the level of a program is the highest order of a function definition used in the program).   The first result of the paper is that the hierarchy \\(FL_ 0\\subset FL_ 1\\subset\\dots\\) does not collapse, namely, that \\(FL_ k\\) is strictly less expressive than \\(FL_{k+2}\\), for an arbitrary \\(k\\). Using the result of Goerdt that the spectral complexity of \\(FL_ k\\) is exactly \\(\\text{DTIME}(\\exp_ k({\\mathcal O}(\\log n)))\\), the authors strengthen the result by showing that the above hierarchy is strict.   The language \\(FL=\\bigcup_{k=0}^ \\infty FL_ k\\) of finitely typed functional programs corresponds exactly to the elementary spectral complexity, in other words, the halting problem for the language on finite models is exactly elementary (and in particular, decidable). The programming language \\(ML\\) is, essentially, \\(FL\\), augmented with the polymorphic let-in constructor. It is shown that \\(ML\\), however, computes the same class of functions as \\(FL\\), and therefore, the presence of the polymorphic let-in constructor in \\(ML\\) is not essential.   Second however is that \\(ML\\) extended with a polymorphic fixpoint constructor has the halting problem for finite models undecidable. As a matter of fact, the paper shows that this last extension \\(EML\\) of the language \\(ML\\) is semi-universal, in the sense of the theory of program schemes. Therefore, \\(EML\\) is strictly more expressive than \\(ML\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185006$A4A53FA0-B062-4164-90C2-99BBE7A717C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185006$E934B07F-BF73-4E31-98E1-884E5C91FA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185006$C3711029-A260-45B8-BDC8-E499F4D0D032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185006$D962FEB4-9B94-4911-89BE-CC2267245DE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2685dd8eb3b40f4acb2536c92750d022455b41a5","datavalue":{"value":"35436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185006$4140CC78-118D-412C-ABE0-1F896A32D1A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185006$20C948FF-5DDF-41D7-AF8D-37B937475D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185006$54A11420-9D2B-46A6-A973-9AB04335EC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"336c680078b59b03d55d18f14d1032eb82ebde1a","datavalue":{"value":"finitely typed functional programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185006$1279087F-6869-4F8E-8DD6-9EC0E4B2B22C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5f0f9309131bc6ee04b650083b370ec4b2b7ecbe","datavalue":{"value":{"entity-type":"item","numeric-id":34505,"id":"Q34505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185006$590A0308-FD44-4814-BE4F-D368BB57F09E","rank":"normal"},{"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":"Q1185006$B19DBA8D-D83D-41F4-9A44-FF3C45F38A77","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":"Q1185006$B7D19543-3B9C-4A1C-BB3C-403BE5671E00","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"409f3d23d6935c95fdafd72355ce4c11a06f6daa","datavalue":{"value":"https://doi.org/10.1016/0304-3975(92)90210-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1185006$A9058D0F-E63C-43ED-842D-A30C8BDEE2E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2577214d4b939ea22398cc0dd660a60a5e57ad5","datavalue":{"value":"W1986249546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185006$FAE95E9E-056C-4183-B718-2FBE91D7C4CD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1bca70b3c9945d3379ccc13b318f928585cb19e","datavalue":{"value":{"entity-type":"item","numeric-id":4404459,"id":"Q4404459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185006$06ACC9D7-1885-4482-888D-7843AF5A666B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a7aaf7722886d9f40935d9243b5bd9dc530813b","datavalue":{"value":{"entity-type":"item","numeric-id":5660503,"id":"Q5660503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185006$3EF262D9-6CE0-491D-A738-BF72C6B72E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5a5a548de29292f3076e3c387192aa95b4bb026","datavalue":{"value":{"entity-type":"item","numeric-id":1161273,"id":"Q1161273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185006$E97A81FC-CF9B-45FD-83A1-8DB9A1B8E093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24a115580ac8a211cb897248ccf380c42728276e","datavalue":{"value":{"entity-type":"item","numeric-id":4151140,"id":"Q4151140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185006$B949F6BB-9C38-49CD-B04C-017FC9EF06BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fe0ad010f94e5ce6b15bd328037fb0b46059b28","datavalue":{"value":{"entity-type":"item","numeric-id":3765259,"id":"Q3765259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185006$B88C0C45-A944-4A5A-8DEA-268F6151D6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384639dd0297f5f273f013e5c517a8ae258e7aa2","datavalue":{"value":{"entity-type":"item","numeric-id":1243578,"id":"Q1243578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185006$78902434-987E-4D4A-89C1-64BCD9314A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a94c7c840fc8738f2c7b6750420cda927283bf8","datavalue":{"value":{"entity-type":"item","numeric-id":5625129,"id":"Q5625129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185006$6A281363-F321-40FD-9FB3-041C90AEFD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1f0234321108813a415be8423acbb5cec78baad","datavalue":{"value":{"entity-type":"item","numeric-id":3804171,"id":"Q3804171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185006$F419214F-3E7B-4606-BA11-EA1DB5D23304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3886086f660dbda3acc5f15fa739af2112c593b8","datavalue":{"value":{"entity-type":"item","numeric-id":3496329,"id":"Q3496329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185006$AA4ED0B1-F6D7-4D4B-9920-DBA46091D235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185006$563757FC-2364-4F3F-83C6-978ADA023F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"752a3dff62079fbdc4d44176af93ea3ad277b22c","datavalue":{"value":{"entity-type":"item","numeric-id":4105238,"id":"Q4105238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185006$DDDDE449-EC7F-42F2-A8CF-73CC92C4D900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4675dd71333fe3d3410d51dcb467d55c42cce974","datavalue":{"value":{"entity-type":"item","numeric-id":3835003,"id":"Q3835003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185006$96870A8A-7323-4869-BE48-B0012FFB6501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"229916cb2e2dba9538cd0615cfcb6d5c2694b0a0","datavalue":{"value":{"entity-type":"item","numeric-id":3204025,"id":"Q3204025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185006$FA6028C9-0345-49E6-9DB7-2A7D091C02B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd31bf8d14f2fd1167d70faf2fe55e673d6a22a","datavalue":{"value":{"entity-type":"item","numeric-id":1185006,"id":"Q1185006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185006$640B76D7-2C68-4808-805C-F2749E20AAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34478b49dce3160ab1e7018f4565d0a1d82937d2","datavalue":{"value":{"entity-type":"item","numeric-id":801666,"id":"Q801666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185006$1F0A65BD-7A74-45D1-B020-6FC99EFFFCE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b500042d395ce3311ba7d55336b0e1b6e7998467","datavalue":{"value":{"entity-type":"item","numeric-id":3829053,"id":"Q3829053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185006$53083A89-5866-4E32-BC39-A2EB91315F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185006$3946CEDE-C21A-438B-BD0F-BBD1A028DD1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a583b3a57b9c8b7db1084c3ad5ab398aec2a1480","datavalue":{"value":{"entity-type":"item","numeric-id":3033318,"id":"Q3033318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185006$BE04F89C-C885-42F9-B939-E9A4B2501720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2235fb3183968eaa336d2af78465b477fb3d4674","datavalue":{"value":{"entity-type":"item","numeric-id":4385540,"id":"Q4385540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185006$26BF1278-6616-46B7-A424-474FC2ADF53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cad00dbe53f97aa9ccf948036a2564c7c1ebb723","datavalue":{"value":{"entity-type":"item","numeric-id":1216944,"id":"Q1216944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185006$87D30B80-12BF-42A3-9C37-E936E49ED6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95e6e4ccde75ad59b9f633da0f6072d58499c283","datavalue":{"value":{"entity-type":"item","numeric-id":3811682,"id":"Q3811682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185006$97676F24-6565-4CD4-A80D-9067913EC54D","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":"Q1185006$9D72F7E6-438F-421E-8847-97B6DE40F13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbac71c6d92500dbf536db2f24add53c05adc73f","datavalue":{"value":{"entity-type":"item","numeric-id":3340118,"id":"Q3340118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185006$2EA45C20-1F45-470E-AD51-1F7C480918D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7091303a5936a3d2add9212809debc0350ec7c45","datavalue":{"value":{"entity-type":"item","numeric-id":4185781,"id":"Q4185781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185006$AF02A8D3-226A-4DD3-BF86-2B0B076BFF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ae693e56a85a155a49a0ba25e2cdd6b8c67a00","datavalue":{"value":{"entity-type":"item","numeric-id":4692880,"id":"Q4692880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185006$19249711-BB53-4311-94EE-A42CDD339F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185006$692F8042-79C6-44CE-836A-A63B9F8B9326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185006$36D1B2E1-09B4-4B8F-8E93-C2A8176B7F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a4d67b53a17dd07831a9aaca5b0909b8fe384e7","datavalue":{"value":{"entity-type":"item","numeric-id":3785901,"id":"Q3785901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185006$050026C2-6B6F-4E08-87E6-66969652A80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df4477667d1e832c2b258226b966cf6180b37911","datavalue":{"value":{"entity-type":"item","numeric-id":1106839,"id":"Q1106839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185006$FFFABD77-040A-419B-B5E1-DC024328E74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"805ea6a63799dd248ae86fc5edb50b5a99268249","datavalue":{"value":{"entity-type":"item","numeric-id":3332239,"id":"Q3332239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185006$2FC23BB2-EEFF-40A8-8C07-E1606CA9AC7C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"716097ce76445ff5dae18ad8efe9b23276673ab5","datavalue":{"value":{"entity-type":"item","numeric-id":3804171,"id":"Q3804171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d51b8aec08db9ba2ecd1669762b05544445085e2","datavalue":{"value":{"amount":"+0.7867881655693054","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":"Q1185006$08F64B4A-B8DB-4CB7-895F-F082645B8E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66b8cec8b104a547627454cb5ee75ccd7bb1e390","datavalue":{"value":{"entity-type":"item","numeric-id":2740986,"id":"Q2740986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7c99ad414df4616ecb26acc234ffb712cb3c10f","datavalue":{"value":{"amount":"+0.7639408111572266","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":"Q1185006$952461B6-22E3-4EB7-B2A9-19692F8EEBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"651539920e00353d6d3183d2d3668b67d057be2d","datavalue":{"value":{"entity-type":"item","numeric-id":4632418,"id":"Q4632418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aec33bee5a78fc84ab0dbe653d36c871e73031ac","datavalue":{"value":{"amount":"+0.7520049810409546","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":"Q1185006$D9A919A8-0AE2-484C-B7D7-3FD2469FBC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca2d2227597916858cdd290852529a7a11e22d5a","datavalue":{"value":{"entity-type":"item","numeric-id":2946764,"id":"Q2946764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56fa9b7a6ceee1f0983301f7a79ff271b029cb0c","datavalue":{"value":{"amount":"+0.7338337302207947","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":"Q1185006$37F6D644-A896-45CA-BA0D-75BC93F1B883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f395e6997e17735eb41cb86cce50dbf723cd1282","datavalue":{"value":{"entity-type":"item","numeric-id":3204027,"id":"Q3204027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a453e0ff632121a400272ddd185298d8f0c12427","datavalue":{"value":{"amount":"+0.7313433289527893","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":"Q1185006$21DB6870-69E1-40E7-B12F-D203E31B2ED2","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185006$D1DC836B-656B-4A5C-87D4-594DCEDFE174","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the expressive power of finitely typed and universally polymorphic recursive procedures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_expressive_power_of_finitely_typed_and_universally_polymorphic_recursive_procedures"}}}}}