{"entities":{"Q2819667":{"pageid":2830405,"ns":120,"title":"Item:Q2819667","lastrevid":58019199,"modified":"2026-04-03T11:41:59Z","type":"item","id":"Q2819667","labels":{"en":{"language":"en","value":"Maximal sharing in the lambda calculus with letrec"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6631181"}},"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":"Q2819667$F3FC42EE-B94E-4E0A-B39F-EC96FAD93025","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"924b36ac174deabda9e4d23c41c0392a681ebc3e","datavalue":{"value":"1345.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819667$7096006C-28D1-451C-BA14-F12B868D3CF9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"817af2c5108e19f337041c2351c23265d7b6a54e","datavalue":{"value":"10.1145/2628136.2628148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819667$32CCF2EE-5867-4116-A1FD-7C007CD2A549","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"226f031fbae3e27660d7d9a4703c5ba4b6d13509","datavalue":{"value":{"entity-type":"item","numeric-id":409314,"id":"Q409314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819667$E9840310-5087-4284-9AB1-0BB5B1CF178C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac6c8aedbd8435f80c439baf323109f528da0c14","datavalue":{"value":{"entity-type":"item","numeric-id":2819666,"id":"Q2819666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819667$B121E2C9-E8CE-429F-B4DD-B4CDDE575B87","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"634f1ea1676ae7835264bad5a15e4c75868049fd","datavalue":{"value":{"entity-type":"item","numeric-id":2819658,"id":"Q2819658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819667$E8E9A5E5-353B-47E2-8475-6323E5A9A014","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a917957632d8007b9f089349668ca3b6b937a8ba","datavalue":{"value":{"time":"+2016-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":"Q2819667$84CAA5AA-65AD-432B-945E-868484A8536F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1144e35910d926df94d64420ecab1501a3e2c294","datavalue":{"value":"https://arxiv.org/abs/1401.1460","type":"string"},"datatype":"url"},"type":"statement","id":"Q2819667$E607B104-D679-4C65-A687-73293642FD67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819667$64F3F92B-6405-4C5A-8AC2-96B5312B31A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819667$28023555-86EF-4503-B96F-B91AC8A8B3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819667$08734499-9DD3-4E10-9C7D-6E183CA5F317","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20f8700fdbe7fba2f977d849bdd08665bd1c451c","datavalue":{"value":"6631181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819667$F5B14F37-F16F-4C9E-9EEC-48D0D311AAD7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"464b22ea70a476e985f2cf42d96000eece7e0d94","datavalue":{"value":"higher-order term graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819667$5F61C0FA-8C68-4BBC-A648-A8D280BE1416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45dbe628cefc05cd54fcc5fd2e8d1bd0096018c4","datavalue":{"value":"lambda calculus with letrec","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819667$501DB38B-F23D-41F6-ABBD-60A869B4DE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bc32c73e6b8a9dead577dddef6accd9e59f4f79","datavalue":{"value":"maximal sharing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819667$7F763E51-0944-4DA3-9C7B-A299F18CCC5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29b7814dd9817405043399fceb0c76786ce0743b","datavalue":{"value":"subterm sharing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819667$7023F0CD-B059-48D7-9FE4-62F4F8D39D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2e391cabed8f7913d2b42ecdfbcde8c8de26c37","datavalue":{"value":"unfolding semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819667$F8B55382-0718-4DE6-A6AC-FB2F7DC0780D","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":"Q2819667$198E6F60-860C-4612-B723-219C14752B22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"59ba786beaf9b737e0cb689730555a25d9293235","datavalue":{"value":"W2045750550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819667$B95CD5C1-B26F-46A2-9EFB-2932A74C7B19","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a3d37f2957a8aca5f5442d9eb1fde1c13ceac92","datavalue":{"value":{"text":"Maximal sharing in the lambda calculus with letrec","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2819667$F34AA1C6-664E-4B12-BC37-A118FAF0F1C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f54781337591b5083a1d2a3ac156773821e0616","datavalue":{"value":{"entity-type":"item","numeric-id":1575875,"id":"Q1575875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88b4a1d446059a327bfd803d7cb466b2241e772b","datavalue":{"value":{"amount":"+0.772250235080719","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":"Q2819667$E03DA8D4-47E0-4F98-A5E4-16A2DE4E028E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d1639131882be81585dc69fe3f1251a1664a7f5","datavalue":{"value":{"entity-type":"item","numeric-id":4511323,"id":"Q4511323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"443aa5a1509818586347964d4f7ed7f2cebdf9cf","datavalue":{"value":{"amount":"+0.7704349160194397","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":"Q2819667$BCAFACFF-D4B7-4D79-9274-A8FD5256246D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79bcdd6e50f1fff572b6077c6a24e617d211880c","datavalue":{"value":{"entity-type":"item","numeric-id":4964706,"id":"Q4964706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1932f5c4809166c189928cbc4cf05d45e5e9eee6","datavalue":{"value":{"amount":"+0.7548070549964905","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":"Q2819667$C9918C50-6F92-4E52-B1F0-BED22BF9B875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2eea77e4b50346cd948046bdb90d98ad3567285","datavalue":{"value":{"entity-type":"item","numeric-id":4364384,"id":"Q4364384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d53484589db469063295508b105c87e59d095fd","datavalue":{"value":{"amount":"+0.7544194459915161","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":"Q2819667$E1083817-DDE8-4C8A-92BA-C44F50C2F1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b226206c51fea81ddbac35174f236c2351b4e9e5","datavalue":{"value":{"entity-type":"item","numeric-id":2942896,"id":"Q2942896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d53484589db469063295508b105c87e59d095fd","datavalue":{"value":{"amount":"+0.7544194459915161","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":"Q2819667$B79CC4F5-017A-49A4-9B5D-560AE48321C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2819667","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2819667"}}}}}