{"entities":{"Q2802484":{"pageid":2813222,"ns":120,"title":"Item:Q2802484","lastrevid":83606561,"modified":"2026-05-07T09:18:33Z","type":"item","id":"Q2802484","labels":{"en":{"language":"en","value":"Automatically splitting a two-stage lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6573773"}},"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":"Q2802484$6351F0E9-5F46-4938-AF74-7083BE8BD05E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77ecd3ba95a165aa2da8cd9e085e0b64be662bb2","datavalue":{"value":{"text":"Automatically Splitting a Two-Stage Lambda Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2802484$8C4DFD5E-52E5-4202-A888-FF81080ABAE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f92e608347ff2d31f5f8ec05a1c7cbec46075660","datavalue":{"value":"1335.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802484$9FCD1FB1-23B0-41F1-ACCF-E6C39AA0EC71","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ccc40d9f959d785a8e5deb8d0fcfb513536c3dc0","datavalue":{"value":"10.1007/978-3-662-49498-1_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802484$4F5235F0-2879-4F73-B6AB-B266259ADDDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fbe2cd351cdcc0c7a617b2d9cd01a21b6813420","datavalue":{"value":{"entity-type":"item","numeric-id":2802482,"id":"Q2802482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802484$F232E764-A415-49D7-B9B1-2D2F6D518551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3c9d76b381e32901aa1410bcb6eb37917cf64be","datavalue":{"value":{"entity-type":"item","numeric-id":1799302,"id":"Q1799302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802484$89496C47-C670-4656-BFEA-813A507ABA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"16f465ce1b95967d731533f08e89fdf79ca460d7","datavalue":{"value":{"entity-type":"item","numeric-id":2802483,"id":"Q2802483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802484$E49A302D-1F16-439E-8AA3-12C6AA9E5F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3791877866e06c575a0d5afd18962bd487776b6c","datavalue":{"value":{"entity-type":"item","numeric-id":1688953,"id":"Q1688953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802484$B5292942-138D-49ED-AEF6-0A159D60459F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802484$A5B45B5A-913D-465A-9D24-9D07D003524B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86bb9394e061bedbe680055bcc3d946b9049a265","datavalue":{"value":{"time":"+2016-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2802484$8A4FF283-FF08-48E0-8A69-C29D586ACF89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802484$9AA802A9-E359-42AB-8714-8F8930B3E619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802484$54858183-EBF2-4C5A-9710-7A83C2A95E76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f57f9d9ef2c28020dd0e06d0c1ea4e6bcc90677a","datavalue":{"value":"6573773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802484$FBF3EB53-6E8D-453D-8242-95C9B383830D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6111489034643139b6436054b44d6250e7c1756c","datavalue":{"value":{"entity-type":"item","numeric-id":41339,"id":"Q41339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802484$16CFBA2B-385B-4058-A694-2419EA844B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802484$86078900-CF72-4918-B91A-2E277E30CAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9aadc3562b5d3cd99740f94e9d46e7f210998eaf","datavalue":{"value":{"entity-type":"item","numeric-id":33419,"id":"Q33419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802484$350F1606-C546-4C46-9A07-3A6F3FF54FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fd4e6e16753ae90acb872bc722ea8ec4d73935f9","datavalue":{"value":{"entity-type":"item","numeric-id":18816,"id":"Q18816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802484$12BF6359-E74D-4060-ABB3-5A23C1E91C71","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":"Q2802484$BE6D0054-2565-49AF-BBE6-C7A258183220","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"acc565df9dbd54482e0bd20af87a7e062c3af9ac","datavalue":{"value":"https://doi.org/10.1007/978-3-662-49498-1_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q2802484$0C35AF8F-28C0-4FA4-8241-47CD21588732","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbb33dae221055aa88658e8e00d947b29cb4cffa","datavalue":{"value":"W2489156759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802484$8CF850BE-DF7D-4291-8A01-29A7FB61A864","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"931fc7b2acd787c02bcd6405b4956052c0c2d586","datavalue":{"value":{"entity-type":"item","numeric-id":1183547,"id":"Q1183547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802484$1FBA88CC-BB20-431B-BBD9-CD39C2279F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05618bc94dd537d3034b233a45ab1cb0906c9164","datavalue":{"value":{"entity-type":"item","numeric-id":3196622,"id":"Q3196622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802484$6695F4D5-FB91-4E50-BFB3-05042FB9CCF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"435c4834e68b68acfe27616e56a30e9574047f7c","datavalue":{"value":{"entity-type":"item","numeric-id":4939696,"id":"Q4939696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802484$7F747729-C209-447C-9B7F-7FD7C8FC1A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab124a7373ba82029ffdcc597bda7b4f27aee620","datavalue":{"value":{"entity-type":"item","numeric-id":5287559,"id":"Q5287559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802484$00AE2B0A-5F9C-44D8-8572-408A968DA290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a859f7e941858c199e0c28aa358d69b1b1269302","datavalue":{"value":{"entity-type":"item","numeric-id":5394569,"id":"Q5394569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802484$26C1B040-6B96-40D9-84DA-81DD3BF9CA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c6100d8dc18ac3a6066df8e7761c27fb4ab6d21","datavalue":{"value":{"entity-type":"item","numeric-id":5708289,"id":"Q5708289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802484$79417EC8-9A9F-48DC-8C96-A1538CF46709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a1fd100ba49d79341053b43b60105b7dfb1c67","datavalue":{"value":{"entity-type":"item","numeric-id":4023587,"id":"Q4023587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802484$A91C4506-C7C3-421A-8CA5-1D8C6E6DB07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cecd4cf00bc8e024448b12f96273285315a1e3f","datavalue":{"value":{"entity-type":"item","numeric-id":1583363,"id":"Q1583363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802484$AAE8BCEB-8AA1-4341-92EC-FB86673D6484","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb6f9755d4b69d1c4108095396fb0abd578c77fa","datavalue":{"value":{"entity-type":"item","numeric-id":1929349,"id":"Q1929349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"327e6b1d14a6fea36b271837cfa314c9d2d1ac14","datavalue":{"value":{"amount":"+0.7709125876426697","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":"Q2802484$5C52EA78-6EC6-4DB8-9552-31AE835741CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d4f75df3cb2c1fb8c3a57e7899b98074dd316c6","datavalue":{"value":{"entity-type":"item","numeric-id":3196622,"id":"Q3196622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c4cb54b4962d9871d392e277b9d38145d89fe81","datavalue":{"value":{"amount":"+0.7612337470054626","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":"Q2802484$B6384FAF-36B1-46D5-A4E3-6063203A18E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84df91d748461d0f71e334656a939598a04b3a31","datavalue":{"value":{"entity-type":"item","numeric-id":5348869,"id":"Q5348869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0919659f85f8c140bd039bf568e5395316dfbf5","datavalue":{"value":{"amount":"+0.7265707850456238","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":"Q2802484$19046236-E094-4D02-88DE-CC39776AD943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705ecd7455b03fbd6e77b7d8eeb2b5707fd489f3","datavalue":{"value":{"entity-type":"item","numeric-id":2892751,"id":"Q2892751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d81ae797b52360673b929ac983155ccb4ed751a","datavalue":{"value":{"amount":"+0.7157861590385437","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":"Q2802484$EA9A78B9-DA1F-4D9E-8BFD-A368E831EAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f15e97750677fee39e02edc8b2fbb846974cb3fc","datavalue":{"value":{"entity-type":"item","numeric-id":5708289,"id":"Q5708289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0fbfef1165ed71b2a3ee49a1018d3bf98bda800","datavalue":{"value":{"amount":"+0.7151772975921631","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":"Q2802484$D885E0C0-3AD4-4D50-B318-D8EB1E9CA04D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatically splitting a two-stage lambda calculus","badges":[]}}}}}