{"entities":{"Q4408680":{"pageid":6438279,"ns":120,"title":"Item:Q4408680","lastrevid":48125500,"modified":"2026-01-03T17:36:01Z","type":"item","id":"Q4408680","labels":{"en":{"language":"en","value":"Specification and correctness of lambda lifting This material is based upon work supported by the National Science Foundation under Grant No. 9900918."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1941632"}},"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":"Q4408680$C0913250-0D42-4A00-BA0C-7D387D79C85A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3621a1663a044d5d43399d789032d72041ce8ee4","datavalue":{"value":{"text":"Specification and correctness of lambda lifting This material is based upon work supported by the National Science Foundation under Grant No. 9900918.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4408680$86FCF677-BED9-49F7-A878-E148D687FBCD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63d6c1ecd42a1db27188f9b0654e96b5ce33fbbf","datavalue":{"value":"1036.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4408680$84C42357-D0C4-404F-95CD-8BCD256B4E68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a57c7260766e5c2913960389da12e54b02a76f3c","datavalue":{"value":"10.1017/S0956796802004604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4408680$4B5EA3AD-0D49-46A2-90C7-6DC68B8A3A7A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d70e9b712d7e94f39aca7e80114181898e7a36b","datavalue":{"value":{"entity-type":"item","numeric-id":4408679,"id":"Q4408679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4408680$47AEE1BC-6BD1-4AA0-AF9A-163E550A2BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75bee0d80e41bc343e47321790df0eade5c00839","datavalue":{"value":{"entity-type":"item","numeric-id":586051,"id":"Q586051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4408680$906D4578-B2FB-4520-BB74-C985D7B6AD22","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":"Q4408680$6544848E-8EDC-4082-BD9D-B5B2011BA686","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16179fdf9dd6b498fad3f9e77d522b325315bc5c","datavalue":{"value":{"time":"+2003-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":"Q4408680$1EEE852B-D25A-47DE-B24E-E379E732E25C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4408680$89A5DBB4-EBEC-414D-959E-C6CF007B5832","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30480c146b6cceb0393d08814c825302035a9aff","datavalue":{"value":"1941632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4408680$769B30AB-776B-41C7-AA6C-5944BD3DC031","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4408680$1050FAC9-CE12-4E35-85C1-402980FF1FB4","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":"Q4408680$BBF362E0-6CD9-471A-8F20-44E70FF34FFC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0fa84c2d5b3359a2882076f7157166bb7b450c45","datavalue":{"value":"https://doi.org/10.1017/s0956796802004604","type":"string"},"datatype":"url"},"type":"statement","id":"Q4408680$2FA1074F-E969-4DD8-B96E-F3A96E144268","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c0fb3220d1474c096c2c5e7f9038e515ee24de3","datavalue":{"value":"W1926572647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4408680$02AD79C7-69CD-473B-9AE4-0CFC1EFAFD93","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12bcbf1685dc886fcf4853f90d398ffb153f4dd8","datavalue":{"value":{"entity-type":"item","numeric-id":4472541,"id":"Q4472541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e385293c46ecb7cd327f2300a0988b6f67bacb9b","datavalue":{"value":{"amount":"+0.9823683500289916","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":"Q4408680$86C85C1C-E91A-4E57-82F7-0B13B15AC4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81c83a9c9dcd183dad5135d15d9dbddd043e836c","datavalue":{"value":{"entity-type":"item","numeric-id":2766784,"id":"Q2766784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e799427828b566ccc44aebf4a459d9da1edc2ee","datavalue":{"value":{"amount":"+0.8467172384262085","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":"Q4408680$D5480977-16DE-4CB0-A46D-006E1780B3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cb5e7bf2e30698ee46a3568efbe3951a36b25fe","datavalue":{"value":{"entity-type":"item","numeric-id":3685171,"id":"Q3685171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"769a1e92e7a4e32a31d9643cde873e2eb2168559","datavalue":{"value":{"amount":"+0.8463860154151917","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":"Q4408680$42CF8543-D644-4FE6-AEC3-5A594EF766D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"722854cca7cdd0c697727c163312cc284922efe1","datavalue":{"value":{"entity-type":"item","numeric-id":3372478,"id":"Q3372478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68e163fa61be7d1aa25a486cb5b5a35782e6feda","datavalue":{"value":{"amount":"+0.8076862692832947","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":"Q4408680$7E22AC40-1EDD-4C9B-B3FC-B69D9FFB046A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7648003a8edf0fcc2f8351f4af5c56a2ec7eb05f","datavalue":{"value":{"entity-type":"item","numeric-id":4409156,"id":"Q4409156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8f607b3be508cf6bb335413881cfbcac638a96e","datavalue":{"value":{"amount":"+0.8011378049850464","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":"Q4408680$B6359708-9FCE-4A43-8E3E-BF037C4A7FEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4408680","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4408680"}}}}}