{"entities":{"Q3787446":{"pageid":5817352,"ns":120,"title":"Item:Q3787446","lastrevid":52711874,"modified":"2026-01-23T08:19:58Z","type":"item","id":"Q3787446","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4050954"}},"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":"Q3787446$0C6AB7F6-3A9E-4E67-AAD5-09BB27E22E9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d73f7cbff72d2166d71b91caeb0a2031e8a9138","datavalue":{"value":"0644.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787446$517F3D8A-A1E1-4C09-8A1D-E04B88553F5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7af8c7e1f886763003a4594dfedac8f97f2a4fae","datavalue":{"value":{"entity-type":"item","numeric-id":1185008,"id":"Q1185008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3787446$E49C4049-1732-41B7-AC3F-6E51AF3B2729","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3787446$55DA7F47-D58E-428C-BE00-6A4A92B9F51B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787446$7CDCD210-1013-4FA5-82CA-4FD53A83E786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787446$60C4C880-0A8A-4522-9CC6-40D022323F1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b83a6c7794f4cc6cea309ac8ceaa2ec4785d898","datavalue":{"value":"4050954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787446$AEA596D6-9A2E-41D5-8032-7BE1CFED2C69","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee7e4e0aab34b90f212668a621a76f4a248642b6","datavalue":{"value":"\\(\\lambda \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787446$31B29F54-ED01-4ED8-BFED-3F0F4C5118CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5366fb42e8d68e1b26cb03689e67a6e357e6dd7c","datavalue":{"value":"list-handling extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787446$AAA2E36A-8EC7-4AE6-A1EA-C3CB006799A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bafda76aec268effe7804d38a294428016b865bb","datavalue":{"value":"operational semantics for functional programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787446$71D46900-3BFF-40D9-BB18-97A2CE8E6010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e86659d4c2cf40561e9186b3d0cefabba28d1ec4","datavalue":{"value":"controlled reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787446$65FE3E2A-D1C1-4E06-85FC-66D6FB238D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aeef7689c750842b178c9016234f53eb1deca8e","datavalue":{"value":"normal form for \\(\\lambda \\)- expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787446$42010865-8704-4A48-BFE0-14DB50B78A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bcd2dbb60ad7b7ddb167225f463e46004fdd101","datavalue":{"value":"recursively defined functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787446$4CAC0C58-66D9-46D6-AF6A-4660078D83E0","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":"Q3787446$8AF404D3-00C4-49B2-9ECF-5878E7BFB21E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f87be45bb209f829e144ce3e4974e615cce1605","datavalue":{"value":{"entity-type":"item","numeric-id":3702505,"id":"Q3702505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"196dd361a1ddc0250321f78d9b81af67639d9a90","datavalue":{"value":{"amount":"+0.8164078593254089","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":"Q3787446$941B1217-7B61-48B3-9086-E7904F9FE735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af7cc266c218bfa5f28473d3b0216ccc809b4c4a","datavalue":{"value":{"entity-type":"item","numeric-id":1349744,"id":"Q1349744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c857f465f9996b8744295537e58ce1bd14a78bf","datavalue":{"value":{"amount":"+0.761849582195282","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":"Q3787446$99E3F221-46C3-411F-9557-8E0710479D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27f6daf9b12b0069434512e194445697b0ffad16","datavalue":{"value":{"entity-type":"item","numeric-id":1185009,"id":"Q1185009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"213d0ef14a63c24f945647e8166d16e011b05361","datavalue":{"value":{"amount":"+0.7524264454841614","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":"Q3787446$C0564F48-F2B8-498F-A961-902D49F22357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"683fc71f98b5813b84ed29294094da4d6b8cfd3a","datavalue":{"value":{"entity-type":"item","numeric-id":4843179,"id":"Q4843179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58521c1f247d2de26967332673cbc0428c9a0f99","datavalue":{"value":{"amount":"+0.7515877485275269","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":"Q3787446$D7F5C2D4-AAD1-47E7-BAF0-06378B20E37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd84d0c0513e8d7d92c4ca5d0c323570ac39f7d7","datavalue":{"value":{"entity-type":"item","numeric-id":2757815,"id":"Q2757815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5f2d385d83bd8dccb6d9016d3c4f2869220cbb6","datavalue":{"value":{"amount":"+0.7510660886764526","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":"Q3787446$D79D2552-541C-4944-AF5B-FA54F0912D7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3787446","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3787446"}}}}}