{"entities":{"Q4358458":{"pageid":6388057,"ns":120,"title":"Item:Q4358458","lastrevid":46510620,"modified":"2025-12-24T22:47:24Z","type":"item","id":"Q4358458","labels":{"en":{"language":"en","value":"The call-by-need lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1067874"}},"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":"Q4358458$E233E64B-0187-480D-81FC-6E3A7B96CCE0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"178d675d016aa69eca6430b9006299681403044b","datavalue":{"value":{"text":"The call-by-need lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4358458$EF42F37C-5ACA-4622-9A5B-98CCED60BFC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27f28eb89b656fb0ef9ec0acb2402743d122548c","datavalue":{"value":"0887.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4358458$99C50049-B87D-42D3-ACA7-24E66FD7B213","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9cae63fae7b8d0fd09b3f30c3ac9b69cea40be2b","datavalue":{"value":"10.1017/S0956796897002724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4358458$AC36F7CE-EC86-4B7B-B3A8-F6D361A1C120","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9d89efad0da6c1450a3f2a78ff15faeb15b9b4f","datavalue":{"value":{"entity-type":"item","numeric-id":673124,"id":"Q673124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358458$050CAA0F-7D9B-43A4-8BB3-4B8BB479427A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bfe7eec3db288eadfe34f00a6ac258323c994e5","datavalue":{"value":{"entity-type":"item","numeric-id":608230,"id":"Q608230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358458$CA28F3D7-FA98-48DF-835A-D16259F98898","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4358458$EB202947-E9C2-4887-8DB9-CF9F7E769E9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d250258e50f25ba7a5c107932b647b4e128b8c9c","datavalue":{"value":{"time":"+1997-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4358458$11BA680C-C686-4A06-9E75-69A58CAEE139","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4358458$F6D017B3-4294-454D-B47C-0891F05561FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4358458$4040762B-2C0D-4791-9FFC-2C599EA0E30E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e94d0bcf845a957dd3db2d1d2bc4fb3f2a59adc","datavalue":{"value":"1067874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4358458$3D2454B4-1DF3-488A-96DA-A065CCDEEEFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"544e0bff288d4167cfd013d4fcbecaa6dadbffa6","datavalue":{"value":"lazy implementation technique","type":"string"},"datatype":"string"},"type":"statement","id":"Q4358458$CBA4007F-B500-483C-9FAC-B595901F30EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4358458$23E6664C-A7DA-455F-B78C-6BE966969801","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":"Q4358458$3F2B3C4F-924D-410D-BC45-895CC8E6ACF4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fb7522e68507b50e361e96f29d7c73bb4c21563","datavalue":{"value":{"entity-type":"item","numeric-id":4236864,"id":"Q4236864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07ccd0091cc8c0bd9439f96022cc6329dd4f9bbc","datavalue":{"value":{"amount":"+0.8884615302085876","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":"Q4358458$FB5E0EF3-C0E9-44A1-AA46-ADF49CD90699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd76517bd3b26fcc1777a212772ef67994f70a8c","datavalue":{"value":{"entity-type":"item","numeric-id":2892724,"id":"Q2892724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"560a73409602e612fb9b47ec9d9b60424d486d49","datavalue":{"value":{"amount":"+0.8724852800369263","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":"Q4358458$F910FA47-FE53-4998-BF54-68CDF246A489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"146272ed492c4bea70cacbdaa7d46e5838929e2c","datavalue":{"value":{"entity-type":"item","numeric-id":5244806,"id":"Q5244806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"578a5659b712206c57361b8dbfc432a7c29ab51c","datavalue":{"value":{"amount":"+0.8338881134986877","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":"Q4358458$0250B800-0AEC-4886-8C40-B0C23FD4395E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68b667b5c2513eb1167b64e74ceb7956e1a344b2","datavalue":{"value":{"entity-type":"item","numeric-id":5234278,"id":"Q5234278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e1cf1e60003446da634fd416fca880318b4fef8","datavalue":{"value":{"amount":"+0.8313585519790649","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":"Q4358458$16B29C94-8DC7-4E46-A0EF-A900E60B0673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50f815cd0ba97dc90aa8672fcfab1d1b78493c2d","datavalue":{"value":{"entity-type":"item","numeric-id":1126266,"id":"Q1126266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcfce0856f91e20ae15c9775b4d3b0d671e81ae4","datavalue":{"value":{"amount":"+0.8310786485671997","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":"Q4358458$E2DE51B5-05B5-4E70-A3E0-6B5A72CE2AA5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4358458","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4358458"}}}}}