{"entities":{"Q4939696":{"pageid":6969278,"ns":120,"title":"Item:Q4939696","lastrevid":41203860,"modified":"2025-04-19T01:37:26Z","type":"item","id":"Q4939696","labels":{"en":{"language":"en","value":"A partial evaluator for the untyped lambda-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1400714"}},"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":"Q4939696$DABD1F9D-E665-4DA9-AF37-3A394EF13AEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52d364d2de9b8095a50243a24a2fbe966b3044d6","datavalue":{"value":{"text":"A partial evaluator for the untyped lambda-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4939696$CC5460BF-43C2-4396-A21A-0153DDA2F002","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ed6a4589304948224c8b4181ac4f90c79870221","datavalue":{"value":"1155.68350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939696$E38FE62C-A010-4833-9A30-60A6123F891B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"161898e5568df549212293c13908283076726055","datavalue":{"value":"10.1017/S0956796800000058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939696$1AB1E96A-EC31-4863-8226-A80614A311F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"730c1479d6c2ec42d4dd64371fe4140e6ce9f667","datavalue":{"value":{"entity-type":"item","numeric-id":4939695,"id":"Q4939695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939696$AEDDB936-199F-4894-B781-DE0F6BDE1AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0b9a436dbb5c7d47b2ec7c8cccc66a852f3c4a7","datavalue":{"value":{"entity-type":"item","numeric-id":1179697,"id":"Q1179697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939696$AF4FDA1E-3BD7-4E95-B5D6-CA447611E01D","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":"Q4939696$1D568404-32AF-4DD1-8BF2-4BE6EE3C8040","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09a44795720544c6f367ce769f28cc2e9bf7cf0a","datavalue":{"value":{"time":"+2000-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4939696$ACEB0A02-174D-466B-8920-30E775EFACC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939696$33DD567F-AF0F-4BE8-8C9D-068D4DF309FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939696$CF279435-CE45-48F3-9AFA-36F9F9D4D7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939696$7313DFC5-D854-434E-83FA-E160675CFA5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27891e94b9bd66b4370ccacd9b066491a2ddf9d4","datavalue":{"value":"1400714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939696$1C298CCF-1301-4855-9972-45A20FCBFE88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6988d01226d06e638731b1d500fa4ceaeeb518e4","datavalue":{"value":"self-applicable partial evaluator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939696$6E254E34-5103-4E54-98F2-326E05DCCAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28a3d023ed54f1fd6c510b4a4b4bbe4ff857a978","datavalue":{"value":"untyped lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939696$FC47F9B9-39AE-4A92-ADE8-B6A68D897670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37df4df8954f8d03cdbf4de85da37557cee580d2","datavalue":{"value":"fixed point operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939696$B9A0C196-00F4-4A10-A436-107B5059E738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf5599f25ea0b35d541fa2a0cbe8d8d1d323ee7c","datavalue":{"value":"residual lambda-expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939696$CFE84959-D289-4D8C-AD81-156989109D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f52cc3a3c6d5838930464890316c22b1c947027","datavalue":{"value":"stand-alone compilers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939696$19DD53CC-9785-47F5-B4C0-DB8B92DF87D0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0f9ca334ad43920109e823874c2cf1559bc46fe0","datavalue":{"value":"Q117560165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939696$09DAAB37-B3E4-4D54-AA8D-C5B26A387D82","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":"Q4939696$FCFEFC8C-9138-4750-AFC2-9B4315E925E4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939696$8C8930E5-CF8C-4E77-9D07-0F0A79DBA217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9663d56153b81f209b58b441a26895f34be14a44","datavalue":{"value":{"entity-type":"item","numeric-id":1233314,"id":"Q1233314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939696$CE5F5696-1F23-46EF-AAAE-5041E91C8172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6ad317ef3efab6c74b71a2a68aee1620e707cad","datavalue":{"value":{"entity-type":"item","numeric-id":1249938,"id":"Q1249938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939696$BEEC33B1-28FC-4F44-8AEA-FA0608E7FFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939696$3771CD2B-1342-448D-9955-A0585AD17583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"814e8c55d5c1dac77cde9128575e380c8dbb3572","datavalue":{"value":{"entity-type":"item","numeric-id":1108777,"id":"Q1108777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939696$1A1E958E-10B3-4126-AB69-462D38CD144A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1770d59eb8c2c3130f85fe8dad07b4859b077df1","datavalue":{"value":{"entity-type":"item","numeric-id":3675504,"id":"Q3675504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939696$385F4990-1ED3-4E7B-94D7-A859C54E262A","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":"Q4939696$4C57918F-273D-4C72-AC92-8EF95F6905DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0c99e95c3754fbda5d298019aa122162481c83b","datavalue":{"value":{"entity-type":"item","numeric-id":1264617,"id":"Q1264617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e19feb9bbd1dc8e0185967c7695791d17001ef7","datavalue":{"value":{"amount":"+0.90710974","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4939696$9B3A18D5-921B-4370-9B3A-57561F9B9F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"414adda9af23bbfcaf94398af7b4760c59678b68","datavalue":{"value":{"entity-type":"item","numeric-id":1372879,"id":"Q1372879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18c4b5170da814c588f38eda907af1a0cd1bedfa","datavalue":{"value":{"amount":"+0.88918865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4939696$565687AB-7083-4713-940D-85A39BD3DE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f2d4aaed46c7d35d20863fe39e8e41e38d430ef","datavalue":{"value":{"entity-type":"item","numeric-id":5878918,"id":"Q5878918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18cd6af1e335761899b2a9e6eaf0708a1280571e","datavalue":{"value":{"amount":"+0.8835281","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4939696$710A5D40-A234-4A57-BCC0-8CDF0E48E8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11cb1f27ab2f06747a69185e5627f229f429bb8","datavalue":{"value":{"entity-type":"item","numeric-id":3024838,"id":"Q3024838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5727f847df2fffbf514da9af955481858297ebe7","datavalue":{"value":{"amount":"+0.8788285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4939696$90A34723-6AF6-4289-A9E1-004DBB387CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8140e4aa1c1a8dc055880ce56e045c53fc6fd956","datavalue":{"value":{"entity-type":"item","numeric-id":4501144,"id":"Q4501144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e71e3c32812c0c0607f61c6a739a7f472e2a0065","datavalue":{"value":{"amount":"+0.8747324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4939696$35E94CEC-01C3-4DC3-B507-BF4D64DAE879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c272fab39923236d7ca2c0f33e274cea9181ff6","datavalue":{"value":{"entity-type":"item","numeric-id":3138540,"id":"Q3138540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29901c091a81e805bc6c597c8b79ffde28e8e3ee","datavalue":{"value":{"amount":"+0.8701699","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4939696$1E1BB712-0DB4-426A-B496-3D1005D48A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a1cd3a13e2208569f4d3d8e37e4fd9e62e64d23","datavalue":{"value":{"entity-type":"item","numeric-id":3024839,"id":"Q3024839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b777230b1f9f5f4ab523c5e392eb6005ef562fe","datavalue":{"value":{"amount":"+0.8650998","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4939696$482746B2-1AAA-4F35-A694-872743830BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f536895003c10dac6aac53c6b63d3c3307f81ab","datavalue":{"value":{"entity-type":"item","numeric-id":2508325,"id":"Q2508325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"182cd64eaa32f6b003b020227368363727bc2d0e","datavalue":{"value":{"amount":"+0.8634553","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4939696$2EAA3977-4370-44DB-A87D-6551DFF2ACFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527ab4e1e073147b6c08198472359175dc79e489","datavalue":{"value":{"entity-type":"item","numeric-id":4917199,"id":"Q4917199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4df178cbc5ae09304579fa09ca7f76edd8abcf58","datavalue":{"value":{"amount":"+0.8633353","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4939696$46689403-C610-44DF-A4A4-64F20A1614BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c369cbe60177c955fbf1373bef4d0bb4d5433ef3","datavalue":{"value":{"entity-type":"item","numeric-id":5951522,"id":"Q5951522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64a5b02b30ef553eef637fa4934508071cc60065","datavalue":{"value":{"amount":"+0.8629998","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4939696$1926A6D3-6E70-46F7-AF92-D2A55AF0FAA5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4939696","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4939696"}}}}}