{"entities":{"Q3300796":{"pageid":3311504,"ns":120,"title":"Item:Q3300796","lastrevid":55376857,"modified":"2026-02-17T15:00:55Z","type":"item","id":"Q3300796","labels":{"en":{"language":"en","value":"Revisiting call-by-value B\u00f6hm trees in light of their Taylor expansion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7226008"}},"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":"Q3300796$BEDBA8D6-83C0-4B62-877D-920540BA1C49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5cf6f2ba25a4c7e4ad5f1037e33b0b6aa4839c3","datavalue":{"value":{"entity-type":"item","numeric-id":3300795,"id":"Q3300795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300796$52601C44-0272-4A17-9371-3157FA959139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3efe8e6459b334108812ee64f01c6fe284d1497","datavalue":{"value":{"entity-type":"item","numeric-id":283767,"id":"Q283767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300796$FB08EDD0-E90A-42DF-A651-EFD4D6EF1094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9ab36af565d8772d4e2c198b9339781fbb08db6","datavalue":{"value":{"entity-type":"item","numeric-id":409320,"id":"Q409320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300796$422B4CCD-AEA8-4CF9-8001-FEEEB1116838","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b60f1b35d6daf10817fede04796910fcdeed36a5","datavalue":{"value":{"time":"+2020-07-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3300796$20494EE4-6116-4B36-9E66-7B28B5CE45CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"88b88607c64561fc040828a1a653422de0ad48a4","datavalue":{"value":"https://arxiv.org/abs/1809.02659","type":"string"},"datatype":"url"},"type":"statement","id":"Q3300796$D3BABDD1-D38D-4F8B-81C5-3928E2DDBDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8f747b0bf6465b36bbbb76ed3ffda1266371f1c","datavalue":{"value":"https://lmcs.episciences.org/6638","type":"string"},"datatype":"url"},"type":"statement","id":"Q3300796$B8AC173C-D6EB-475B-AB40-CF26977BFB1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3300796$CCC36961-9A33-43A4-BAEF-B1E95530F962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3300796$55F84BC2-ADBE-4FD0-BCB6-24E54B47CE22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"749f6b6946c96df30030738125db11007a5dd356","datavalue":{"value":"7226008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3300796$CB8C972E-6F13-4726-A1D0-82AA0EDA0E95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3300796$6A8A0C08-3480-414C-A79C-678E822893E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0023655cb58cff7dfa4411698356799107789a6f","datavalue":{"value":"call-by-value","type":"string"},"datatype":"string"},"type":"statement","id":"Q3300796$1C53988E-CD00-4F80-A98E-CD1205EDE80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8442a7a4aa9bde166792df560549f38929af659e","datavalue":{"value":"B\u00f6hm trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3300796$F41F3874-F738-4422-9D04-C749200B8429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7355a66e0232dac98853fe8bdd183ad4901131d5","datavalue":{"value":"differential linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3300796$22C076E1-8D88-45FC-BB82-45D8144BE930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"116c849df5352d47ba67bcc2e3bceec8b5fae443","datavalue":{"value":"Taylor expansion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3300796$A749844E-3D89-443E-9646-F05A34305BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"443a1dae8affafea1e7bae54ad28e03c09e45318","datavalue":{"value":"program approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3300796$C4316C45-BA3E-4440-84C5-F4AA3EF92125","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":"Q3300796$4D13927A-2987-454F-8F8D-E242B5B4E00A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13e2c7bf7641da29d842a6ebdecaddddf4b9405","datavalue":{"value":{"entity-type":"item","numeric-id":4222034,"id":"Q4222034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300796$C35A5C14-7DF7-4EB1-84F6-43C84B9EF9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab84e9c16bd8f4b2d2751db91ba0f2270e2fe090","datavalue":{"value":{"entity-type":"item","numeric-id":3179293,"id":"Q3179293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300796$E90C279E-84CD-4053-A30F-9945B1D76738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edd3c6c07517d6c54f38de138e106e285808f76c","datavalue":{"value":{"entity-type":"item","numeric-id":1245931,"id":"Q1245931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300796$D1949B04-F4FF-4F15-AD32-F310058D5B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"383217e8d7c00d8ca1021a24b4cc0d89492f3a7f","datavalue":{"value":{"entity-type":"item","numeric-id":3221960,"id":"Q3221960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300796$91CDD84F-83BF-4E11-BC77-CADD48116117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e1a0744dec9ef7f798033ea055c0df4ae885ff5","datavalue":{"value":{"entity-type":"item","numeric-id":3077958,"id":"Q3077958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300796$E14B901E-0336-4245-8F9D-D8CAD92C911D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72c397d0c44906d2ce29d0a0098a6c27f91a6eac","datavalue":{"value":{"entity-type":"item","numeric-id":2958517,"id":"Q2958517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300796$A53EC275-B314-4732-B458-20691EF0127D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"843a825634e9bc89e3e7a2c65a06b1bf072573c7","datavalue":{"value":{"entity-type":"item","numeric-id":5410667,"id":"Q5410667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300796$F16B1391-F15E-4A25-9EB4-025E55FEA1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f28ba5aef8ebb12b26ba5919157452fea70107d","datavalue":{"value":{"entity-type":"item","numeric-id":4649551,"id":"Q4649551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300796$AAC4DF11-B127-4B86-8BDE-1BB662C081E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f6213954e81e724c3f286590145891086b91f6b","datavalue":{"value":{"entity-type":"item","numeric-id":1884894,"id":"Q1884894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300796$285E8D81-6B4D-4476-8B72-B825BEF080F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edb7a0c6ea1f06765b6708ba458501deba3011d","datavalue":{"value":{"entity-type":"item","numeric-id":5898816,"id":"Q5898816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300796$93D6B348-E552-40F7-8718-EF8AE7F46EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1209cc2519c0798504384b3a297a5def88b5a62","datavalue":{"value":{"entity-type":"item","numeric-id":944386,"id":"Q944386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300796$2BAE0A99-5490-4765-9C43-DF0CBF67D46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cd291e436a443c0f735d624f8c71d9bf7a75031","datavalue":{"value":{"entity-type":"item","numeric-id":4600771,"id":"Q4600771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300796$D6426779-B1EE-4963-9370-50507103BBF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1f064cf159579794bfae00dee95adb9cea90f6","datavalue":{"value":{"entity-type":"item","numeric-id":4261091,"id":"Q4261091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300796$A6B4B1C7-DA51-4760-8A84-AE7C78092012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"667244bbb64cbeae656c8710018670875f6b25da","datavalue":{"value":{"entity-type":"item","numeric-id":4764616,"id":"Q4764616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300796$07B1DCA2-C02E-4592-8DC6-B139226AA709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e79d10e1c880525bbdaeb08555025598f7d66e4","datavalue":{"value":{"entity-type":"item","numeric-id":3007664,"id":"Q3007664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300796$09224EE3-B25D-4988-8000-E066BDF37692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"531be46202c3527fd7b2b3be1754d832f3b8b64a","datavalue":{"value":{"entity-type":"item","numeric-id":5212041,"id":"Q5212041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300796$44BB08AF-98C0-489A-A917-0B2E757282B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"261109d22283aa609f05caa89a99c93ee0c9238d","datavalue":{"value":{"entity-type":"item","numeric-id":4448358,"id":"Q4448358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300796$20FCBE57-C78E-40F6-8BF0-33CD7D7275D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2380a89a2159de7a01b274727066ee37f3f859d8","datavalue":{"value":{"entity-type":"item","numeric-id":930867,"id":"Q930867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300796$9CCAB96F-5E8A-4816-B296-E3DCBCC7F7B5","rank":"normal"},{"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":"Q3300796$537AFC6C-8AA0-4D00-B27C-34C6201E8723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b0225f033d46261505e426bc2e285ba677ea904","datavalue":{"value":{"entity-type":"item","numeric-id":4953339,"id":"Q4953339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300796$CC58384B-DB86-4F91-B556-662AD008D0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c26825fcf739d62c204dd52aa4060382a449a2","datavalue":{"value":{"entity-type":"item","numeric-id":703856,"id":"Q703856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300796$D373BF98-DB73-4809-ACB1-92441B792311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19ad066144a6504bc489d20ac28205d89300b341","datavalue":{"value":{"entity-type":"item","numeric-id":1322165,"id":"Q1322165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3300796$95B6E52A-9172-4008-A94F-B9C0664C7728","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88e8e094490562d9effb1574cb3eeccc0237f71d","datavalue":{"value":{"entity-type":"item","numeric-id":5028454,"id":"Q5028454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"744acd5732219d3434dd78a451c17111f12c55a9","datavalue":{"value":{"amount":"+0.8318433165550232","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":"Q3300796$8C17B890-B2C6-4F4B-9AF3-A60C2F7332D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90ea169f545888aaf5d0fe674b531638677a7700","datavalue":{"value":{"entity-type":"item","numeric-id":5898816,"id":"Q5898816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1dd8cdd05a6a6580b989cc418758787a10fa6a5","datavalue":{"value":{"amount":"+0.825511634349823","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":"Q3300796$C0E9499D-2EA2-471B-A0A6-5295245AF187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f45df37e4a67a271e6471192f7715c4705e86daf","datavalue":{"value":{"entity-type":"item","numeric-id":944386,"id":"Q944386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a4ad1bb8da2885aac0f0315473ba05de3164f02","datavalue":{"value":{"amount":"+0.825050413608551","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":"Q3300796$01708185-B61C-49EE-841B-FF1EE4287D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8379aaf584a51272e6265a6f554dcc100e3a7014","datavalue":{"value":{"entity-type":"item","numeric-id":3007664,"id":"Q3007664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd09f26a3f76f51496643cc47b6a94533322f122","datavalue":{"value":{"amount":"+0.8021178841590881","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":"Q3300796$0DB7CC92-9854-4266-AF41-3BC087604B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"412853eeb10aa13611fbb5406e1b7c08e7427498","datavalue":{"value":{"entity-type":"item","numeric-id":5089013,"id":"Q5089013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a94bc2df14074e0bede4ba9dabdadbc69af32fd0","datavalue":{"value":{"amount":"+0.8019523620605469","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":"Q3300796$E5C538CE-2880-40C1-935C-F581E17FD49E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3300796","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3300796"}}}}}