{"entities":{"Q812092":{"pageid":813940,"ns":120,"title":"Item:Q812092","lastrevid":64554906,"modified":"2026-04-11T20:40:24Z","type":"item","id":"Q812092","labels":{"en":{"language":"en","value":"A variadic extension of Curry's fixed-point combinator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5000199"}},"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":"Q812092$CEE5D0AD-8B0B-421F-8139-BC529A6D5997","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"679d0df6c9d636fb9b46b76db4c92f2de1674d01","datavalue":{"value":{"text":"A variadic extension of Curry's fixed-point combinator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q812092$80705DE8-8BAB-4513-8CB1-43CC68CB2B32","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a85210d06508e0c2fed1f8d151394a4a206601a","datavalue":{"value":"1083.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812092$83D8924E-6B72-419C-97E1-4FB3AFD1DE9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06faedd9e195bc435901be02e1baaf30d3515170","datavalue":{"value":{"entity-type":"item","numeric-id":294780,"id":"Q294780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812092$CBF40E6E-205F-494E-B4E5-3D6296B93C3D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812092$041C993D-54CA-4E5C-AB45-C356E92399E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6610cb28786ccc6a9ecdb40c1345499030b519d5","datavalue":{"value":{"time":"+2006-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q812092$DED9C1C6-8E8C-4571-91EF-78D36660A675","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812092$F8DFDA93-384C-443D-B083-23831CED78E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812092$47F36311-A437-485F-8A14-129C62876D6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d011b5b8225cee2273837ba961a8e47d0b5a2d9","datavalue":{"value":"5000199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812092$41891630-7CD7-4A10-B6D9-D07825C595D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q812092$DEF971B0-94F7-4802-8593-0E5561420672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7215d9b2d82a4024eecf2459710d747574a5faf3","datavalue":{"value":"fixed-point combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q812092$0925398B-7D8A-4DF1-8103-BECD9C591628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e74d0f404df729bad2cd92cd4924ee92e8ae2b2","datavalue":{"value":"applicative order","type":"string"},"datatype":"string"},"type":"statement","id":"Q812092$D4F09F7A-49F4-4F37-A1B4-FB1F5598874E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q812092$F5513C0F-21E7-4F00-AF5B-08A855762D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"712780bff5d31ce390414912a4929310e4ea1b60","datavalue":{"value":"Scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q812092$B5FFB80F-7CC0-4391-94F4-0591F5E8F887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb30c288a7effd3bd313bcab33adb6151071591b","datavalue":{"value":"variadic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q812092$1B1DA506-7E72-4133-AA1D-F584CC6FD142","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"97a4b6d3c8d40b2dcd33f0a7a9a105bc3e94ffed","datavalue":{"value":{"entity-type":"item","numeric-id":13907,"id":"Q13907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812092$5E17F1FD-7D1C-43C3-B243-5FBFB423A9E9","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":"Q812092$633B7CB6-D3FB-47F1-9C3C-838711902285","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a4d0cd456184f3fd71604dba894dd92a5c47f28","datavalue":{"value":"https://doi.org/10.1007/s10990-005-4881-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q812092$1AC8859B-DB57-4291-9968-004C5FC2F337","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d14310047cb9d2a9b624a4922ea7ba93515c9ec6","datavalue":{"value":"W2121105821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812092$2902A85E-7A26-4B61-A090-47613836A300","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"69afe669909fd49bb6ef3208a12ea6ce27a44ccb","datavalue":{"value":{"entity-type":"item","numeric-id":4398769,"id":"Q4398769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812092$F7FFA8FF-9624-40FE-9B05-A6EBBF43C8DF","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":"Q812092$563B3641-B359-48AA-9EC1-C236AF1566FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822fb800f6e4b0909ae356724c2acfe53f72f0eb","datavalue":{"value":{"entity-type":"item","numeric-id":4385533,"id":"Q4385533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812092$61E9E89A-980F-4A71-9353-54A1BEFE48E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812092$2C4CF57B-A836-454A-864D-5ED88B783201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f7bcfffc49742b219cd84a695191ca8beef7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5734774,"id":"Q5734774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812092$6E25366A-FD4A-4920-905D-C48E522FD85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4565b509be0f4ba30f743a32b404db2248049204","datavalue":{"value":{"entity-type":"item","numeric-id":5687570,"id":"Q5687570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q812092$A25A9396-A42E-426D-AD67-E918043F971F","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":"Q812092$B1CD7159-0EA9-477E-994A-6A2EC1BF0BF6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62e4bc5af0cc6a34c52b1121fefb843c1f46b4eb","datavalue":{"value":"10.1007/S10990-005-4881-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q812092$E6FB42C8-D9AD-4065-A382-021F409719FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29f5c6a7854ee8ff4d73643dc7e413487185170e","datavalue":{"value":{"entity-type":"item","numeric-id":812087,"id":"Q812087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f3295d5b3f7083955467308d7e9f00891a89e1e","datavalue":{"value":{"amount":"+0.6905901432037354","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":"Q812092$52498156-19D4-4C65-B7D8-13E6593C14A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f437c588a6c4ca8799d353b17babdda4c8cecce2","datavalue":{"value":{"entity-type":"item","numeric-id":3196357,"id":"Q3196357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b8cb08acae194d3db12fec96786b5de3e047780","datavalue":{"value":{"amount":"+0.6809821128845215","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":"Q812092$5168D682-01CF-47DC-BE27-D26882201CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e2d735d502385b9c909def59bd585dd876fd9d9","datavalue":{"value":{"entity-type":"item","numeric-id":3501750,"id":"Q3501750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ec00c93d5b8f96f784cc18bb9fd5c5b5cc3d0ca","datavalue":{"value":{"amount":"+0.675887942314148","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":"Q812092$4D74E367-166C-4910-8D21-9A8DE17B73E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d743b7a92a2649417d4ff4001cc0f37544338232","datavalue":{"value":{"entity-type":"item","numeric-id":3028328,"id":"Q3028328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16be1d7b13c151e313cae98f702309c7bcefc21b","datavalue":{"value":{"amount":"+0.669340968132019","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":"Q812092$C6366DB7-6B03-4706-9A2C-8648AFBA40A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d191c39ca277aab5524c2adc5f7911cfa21faffc","datavalue":{"value":{"entity-type":"item","numeric-id":4526150,"id":"Q4526150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58f63a69178aa15d469bdcb85360dc986dc5aa7d","datavalue":{"value":{"amount":"+0.6678727269172668","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":"Q812092$639E88EF-26BF-4397-AC7E-8425BCB4198D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A variadic extension of Curry's fixed-point combinator","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_variadic_extension_of_Curry%27s_fixed-point_combinator"}}}}}