{"entities":{"Q3219096":{"pageid":3229804,"ns":120,"title":"Item:Q3219096","lastrevid":48772345,"modified":"2026-01-05T20:05:46Z","type":"item","id":"Q3219096","labels":{"en":{"language":"en","value":"Transformations and reduction strategies for typed lambda expressions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3885295"}},"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":"Q3219096$6FA8D752-7DBA-4459-A986-5441012BC4A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b19d143e47b507a1f41609cd4a50ce9193c2ff95","datavalue":{"value":{"text":"Transformations and reduction strategies for typed lambda expressions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3219096$3A0B7DD6-3E40-45D5-9D20-E0CFD7552D59","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9ca33e358b5d322907a86660cf84449c75265cc","datavalue":{"value":"0555.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3219096$69594805-C92E-4CA9-A29E-38DC904B344B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b3e9805d746ed56fd8c77fc1f41f92f2a13d3a0","datavalue":{"value":"10.1145/1780.1803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3219096$A773BCFB-54D6-483E-A703-2CC86D113E71","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"771f34631178bba10379361cdd0a6dbfe86914db","datavalue":{"value":{"entity-type":"item","numeric-id":1151757,"id":"Q1151757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3219096$6D983764-ED83-4AFE-8450-FCD639AFEE02","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bde53cdce44ac12832cdf9553e245848df9d2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3038608,"id":"Q3038608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3219096$AAFA1E68-0FAA-4A84-A565-F383AD956139","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3219096$FE6D5FCC-E6EC-4C5E-A6DA-76DAD553F187","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3219096$6EB6303C-A2EA-4C65-81EE-5AC8F0ABA80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3219096$E46D7B7A-C0DA-414F-8140-A303EE0A23CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3219096$4C4021E8-C2E6-4568-84E1-B74723EB9DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3219096$930B3CB9-742A-4960-B8AA-904F83608F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3219096$674FEC5C-A484-4C75-B1C7-6F711F94DA7A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"273616ed6c760f3862740b008ba3345354be884d","datavalue":{"value":"3885295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3219096$40F755CE-6487-4D66-A39A-B40CA8A1B97B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe403560b16acc6be8aae0480f4c9361f09c2f9c","datavalue":{"value":"typed lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3219096$8C9DE4A3-D6C8-48FF-84AE-B030928DC698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12ac1d90ce0f859da20ae55064a02b136bbc6bbc","datavalue":{"value":"reduction strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q3219096$87A001CD-BD06-40FD-8E4C-8D915E8D8E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3219096$1867BF97-FA24-4F6C-A150-BD8F5EC66A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80cb34cc5c3c3f81da04cc83f6d2c5a32b212610","datavalue":{"value":"processors","type":"string"},"datatype":"string"},"type":"statement","id":"Q3219096$567B54F2-B393-4EE8-A249-7C983FB3CA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9a3c9766b4d997f1563fc2d3861554371baeae0","datavalue":{"value":"evaluation schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3219096$470A1757-64CE-4404-9E62-8CBA51D15D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcf73591300fce4eabf3aae9779ca4660528b9b3","datavalue":{"value":"efficient implementations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3219096$CF14BE93-FDD6-44B4-B548-285C5C4B2F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6130b7536861946bf64a6c21407bd3b5ef92ecc","datavalue":{"value":"higher-order functions in programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3219096$72483ADC-5CA7-4B3A-B8D0-C97D2049A61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23ccfdb948cfce6153d7f64ccea56d42fd14b185","datavalue":{"value":"extended SECD machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q3219096$958FA587-0906-442D-B272-270A4D31286A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5782466f6ff00a282d01bff4d7b11264c1653036","datavalue":{"value":"typed lambda- terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3219096$79179B03-BFEE-4BC4-AEA6-7F4774F86FEE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"49eaddd693f0d125ebcbba47522e5639803410e0","datavalue":{"value":{"entity-type":"item","numeric-id":13966,"id":"Q13966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3219096$E3DD3CC5-A765-47BF-BC9C-DB8A09E664B0","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":"Q3219096$7CC2C923-0238-4D64-AC24-AA2376891AAB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"009954c7976522aac6929967beacc8e9935941b5","datavalue":{"value":"https://doi.org/10.1145/1780.1803","type":"string"},"datatype":"url"},"type":"statement","id":"Q3219096$BFF93579-9CBA-4032-A04F-A34B4790EC4F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"98d1fda1404847b182f4d6bccf0015c65e867463","datavalue":{"value":"W1992258859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3219096$13F8A3D8-F6E6-49E7-AB58-8060F1B4BA0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9191f07df6ef6895d49e5a592721875aadd33190","datavalue":{"value":{"entity-type":"item","numeric-id":1098614,"id":"Q1098614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c311474c8beff0dac160ad3f5df8f31022b3a997","datavalue":{"value":{"amount":"+0.7411054372787476","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":"Q3219096$043D2B6B-6C0E-4613-AAE6-49D3A3D566A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4c45ec0cb8bfa13179ebd7086fc58dff7f75e1e","datavalue":{"value":{"entity-type":"item","numeric-id":3813272,"id":"Q3813272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f2348d9cb47d4ca06fa83751b2eafc35f02b044","datavalue":{"value":{"amount":"+0.731930673122406","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":"Q3219096$E2FB0AD2-107F-46DC-A433-7F566CFB58C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aabd87c858e7686233e13a3245539fc74ef6de97","datavalue":{"value":{"entity-type":"item","numeric-id":4943309,"id":"Q4943309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4911f2eb397499f44152bd491d5d79c1319ffda","datavalue":{"value":{"amount":"+0.7299179434776306","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":"Q3219096$8877FEA3-B198-48E2-96D3-3516F7183B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f480926e955c7268003b70684fb393d5c2bcf377","datavalue":{"value":{"entity-type":"item","numeric-id":5881291,"id":"Q5881291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0541eb87aa97c97d35a600ac43950786879fa170","datavalue":{"value":{"amount":"+0.7214875221252441","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":"Q3219096$68B1D280-0C6D-4D0B-A0EF-78A3DD203F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bee87009eb5e6042a52ed8767b3a42262d2a1123","datavalue":{"value":{"entity-type":"item","numeric-id":1820575,"id":"Q1820575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7717ccc6f55f57f48acc4b88f8538f36801ffcfd","datavalue":{"value":{"amount":"+0.7209948301315308","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":"Q3219096$BD980AAF-AB3A-47F9-B071-D36F7297BE31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3219096","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3219096"}}}}}