{"entities":{"Q2566028":{"pageid":2576771,"ns":120,"title":"Item:Q2566028","lastrevid":72795021,"modified":"2026-04-14T07:53:13Z","type":"item","id":"Q2566028","labels":{"en":{"language":"en","value":"Weak linearization of the lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2207191"}},"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":"Q2566028$9FE08E65-9DAA-458B-A6AF-B85C7A63A9E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a0eafd30f07f39428ec8d71c8cc3c5d284671b3","datavalue":{"value":{"text":"Weak linearization of the lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2566028$51E84C60-C555-4173-8048-D24D2896F043","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f533e65375b7f34bd3c45084e8ebe02ec72397d","datavalue":{"value":"1077.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566028$ADB05D37-3BEB-4DD6-B588-85F308CB7CD8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2eb09ce379517ae0e0c141c5fee079c01b864dc7","datavalue":{"value":{"entity-type":"item","numeric-id":530850,"id":"Q530850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566028$3B5DDDFC-B49B-4C94-A70E-CFA869A0A103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7caf918ebfde63ac64127671232bbb1ceaff1199","datavalue":{"value":{"entity-type":"item","numeric-id":656849,"id":"Q656849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566028$91E4A850-5702-4BF6-9A1F-7E59110BE499","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566028$E08B76B0-28C2-4C72-8F32-31D8D2F60EE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec9da92ba7b4e525d61f27d0c249399f1779b4c","datavalue":{"value":{"time":"+2005-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2566028$7B34CD6A-92D7-4E6F-B4EF-9FA2558346F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566028$8BD99A0B-BF00-4729-A5E6-9E81F17CB41F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566028$65940C4D-E350-4A3F-B1CD-CF7D71848628","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15163c546819e2ee350a5b4780641ae8cf0d7d55","datavalue":{"value":"2207191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566028$25D24AC4-C7E7-43B4-AACD-CA1AB9419D8D","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":"Q2566028$64F7BD56-3814-4E31-87FB-38E55F56C963","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42700e94f0b83b85109354bdd2743d94e3faa39a","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.06.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q2566028$66C7E138-44A6-4F8C-A2DD-8B394AC054D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a76908defa6334a4ee227f77e5faa856e8c4dace","datavalue":{"value":"W2022287745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566028$20021ABE-374F-49D8-8C1F-923C535111C6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1945271fe13c6999422e12998474c5a1f95a82e8","datavalue":{"value":{"entity-type":"item","numeric-id":685430,"id":"Q685430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566028$EC448458-1B39-4EDE-98FD-FFED22C88D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3223b1c53423a67776eee1d64b379960985e4d3","datavalue":{"value":{"entity-type":"item","numeric-id":5713939,"id":"Q5713939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566028$D75B962B-D193-4B9E-B77C-07A07C5505BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68afa5639a324128bcfccbec0a324c3bc880bbc7","datavalue":{"value":{"entity-type":"item","numeric-id":673626,"id":"Q673626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566028$E1819485-6897-49E2-BFAE-F993550BF5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566028$3627C1E5-09EC-4C12-9CE1-72421141A068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26571693b6a8567e0a13f75c14953cf8fd0307e","datavalue":{"value":{"entity-type":"item","numeric-id":4281466,"id":"Q4281466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566028$AE438A13-67CD-43DA-BC6E-66CA05B95AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a15b944588e7daa1d682743e9f423a10e7c94e5","datavalue":{"value":{"entity-type":"item","numeric-id":1134141,"id":"Q1134141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566028$2BF8AC96-6F90-40C0-9A16-2750E12B2723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa52ea278890265e9d437290fcf6496300e9f2","datavalue":{"value":{"entity-type":"item","numeric-id":5692152,"id":"Q5692152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566028$1837556A-F03C-4286-A767-DE2CD681FBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566028$12AB73B3-7C51-4B69-ABC9-5DDA098463DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b570dc51ad23d1e9cb47c7083a0b7b043b06071","datavalue":{"value":{"entity-type":"item","numeric-id":5592242,"id":"Q5592242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566028$44DD8FBC-3EEC-4EED-A0F0-E5FF87E4AB97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7093fa3fbfb32f6d1d937510e5cebefcb111743c","datavalue":{"value":{"entity-type":"item","numeric-id":1119620,"id":"Q1119620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566028$39BF88E6-5A41-43C2-BCDE-B517B0693D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd22f0cc6d347d0883b044bb9468db1ab7dd5a3b","datavalue":{"value":{"entity-type":"item","numeric-id":4346206,"id":"Q4346206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566028$51EB5029-EB8F-4D8C-8C54-36B70E4CA839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"211633feba60e3b5d86f54253f1def7897daadb4","datavalue":{"value":{"entity-type":"item","numeric-id":4500177,"id":"Q4500177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566028$3BFC60CB-8020-4680-A355-B4E24C33BBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ff5d819d7b87fc96425d66dc0c9a0ecab05cd3","datavalue":{"value":{"entity-type":"item","numeric-id":4222771,"id":"Q4222771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566028$CDAA957A-C56A-43D2-BD68-655A2F06ADDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566028$6B7D7523-C464-4D42-B61E-1494B9D92A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db9d1ac17655f7d23b5941696fc397faeec07acf","datavalue":{"value":{"entity-type":"item","numeric-id":1286373,"id":"Q1286373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566028$ACDEA66E-F893-4AE5-9F0A-36DAA3C6F9BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86305dc5e5f088012637c03e96d860b5b837c86a","datavalue":{"value":"10.1016/J.TCS.2005.06.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566028$DFA840A2-F641-473D-9666-E68C9AEB3382","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"859b203160714e902d9912d9ca66a52cef19187f","datavalue":{"value":{"entity-type":"item","numeric-id":5713939,"id":"Q5713939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67cc16ad9b31ea0c2902464cdf4cd6ca532f132c","datavalue":{"value":{"amount":"+0.9189753532409668","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":"Q2566028$052EEFCC-B1E2-4E48-A9FC-ED33C5E7FC71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc5e11eee860428ebcd4ef314ee9e234f223a776","datavalue":{"value":{"entity-type":"item","numeric-id":4500177,"id":"Q4500177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6dbd888fe0ff016749b14bfa9461519be3bf4a1","datavalue":{"value":{"amount":"+0.8111931681632996","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":"Q2566028$32B5AFEE-9861-4631-ADCB-D60115C69616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa4849900eb7ad962a5fe6bdd4653caf38ebcb76","datavalue":{"value":{"entity-type":"item","numeric-id":5692152,"id":"Q5692152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c96a3c01af72ce2423274a1ae3d02563906bf056","datavalue":{"value":{"amount":"+0.8053717017173767","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":"Q2566028$61E1A563-8F27-4B1D-AE32-0ABE209B747A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"712576e596f6617f303ee8b32bb91d309c5147b3","datavalue":{"value":{"entity-type":"item","numeric-id":3527292,"id":"Q3527292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"873df9d7a36eead8fb03b33fdaec16971c12ed20","datavalue":{"value":{"amount":"+0.8051629662513733","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":"Q2566028$9433AED5-F176-449E-AAF7-405E56E0C104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae2281b3cc71d7cd55e87746512ad6877f440225","datavalue":{"value":{"entity-type":"item","numeric-id":4836022,"id":"Q4836022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"105592d612b4617fd075eeb15be2e94c2dfbe2c1","datavalue":{"value":{"amount":"+0.797253429889679","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":"Q2566028$9F63EA9F-C6A1-422F-BCB4-58244AE5057D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weak linearization of the lambda calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Weak_linearization_of_the_lambda_calculus"}}}}}