{"entities":{"Q2871868":{"pageid":2882588,"ns":120,"title":"Item:Q2871868","lastrevid":51900731,"modified":"2026-01-20T12:22:02Z","type":"item","id":"Q2871868","labels":{"en":{"language":"en","value":"The \\(\\lambda\\)-context calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6244444"}},"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":"Q2871868$CAD2668B-74D5-4B3C-8441-BD412B0CAC3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"972089229491c6d81313075b6de489d369655d76","datavalue":{"value":"1278.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871868$5C4F7085-3818-4654-B385-D8F2D6100E64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d79cf40c9d083fd33fffca7f5d652f193d57871","datavalue":{"value":{"entity-type":"item","numeric-id":876040,"id":"Q876040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871868$06CDDF1E-2D09-4C06-ACBD-00D978DDC2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db57da05f7a2528db77ce79579650b12005cc558","datavalue":{"value":{"entity-type":"item","numeric-id":1744403,"id":"Q1744403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871868$66E0CDE2-38D2-48AD-92C5-D6A0C153D9E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c704b287c68a3d4d8361a025642d6eba13574eb","datavalue":{"value":{"time":"+2014-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2871868$F3B17410-A7FF-4A54-BE0C-AC9273911246","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd47ca129f9689d9f04978e29da21bc4f57bf284","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066108000352?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2871868$E8563FF7-1649-4179-8D1E-CEF32D9AA50A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871868$0F77318B-ED9E-4612-9478-E1140236B2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871868$C57C96CF-EF77-480B-A062-318C4552B193","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e55ae1a80670fb0589d1e8a25c4304726f742587","datavalue":{"value":"6244444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871868$AA4CA3C5-CFBF-4C19-B496-428633253604","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871868$CD4E0E5B-18E5-4EEF-BF89-619E1AD4BA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ae35e3f0c0581443c3dbdf431aaa5a7a9a83634","datavalue":{"value":"contexts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871868$66874D33-1DC0-491D-8F24-EF500D48D8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02cf0356d3c67a424ace80a078775b45e662bbcf","datavalue":{"value":"meta-variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871868$220A2CEF-0691-450E-BC1D-0162DFA26418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e30fc084aa152ce46b5458377c602ff361fbdaf6","datavalue":{"value":"capture-avoiding substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871868$D784B3C0-2416-4CDB-95BE-43FAFE3EA7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d5b2d0b1884119070a1f6489f3786e9ed806aef","datavalue":{"value":"capturing substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871868$3B605FFF-61E7-4DBD-8C54-1E71C42C5CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33ecf041eedbe3fee8d29905fed91e77f22410fe","datavalue":{"value":"instantiation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871868$05050765-FC5A-48FA-8770-5F5D246C43AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871868$5FB4F3D8-A991-4BD4-9EE7-2C76938C6CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9182eabacc23c0edd734d66fc3f2fce427ef1e0b","datavalue":{"value":"nominal techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871868$C41F91EC-1D1B-4F69-B851-1CB23E73A283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d229c84ffdf9532a37e2ff1550ca23d63b807963","datavalue":{"value":"calculus of explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871868$93027239-212D-4042-AEFE-E3C26C62DB99","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":"Q2871868$19C1C479-7589-46EF-AF2D-C5A5929FA294","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f486e8777efc6b6e50b85b9013513172fff17265","datavalue":{"value":{"text":"The \\(\\lambda\\)-context calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2871868$6A3FB303-EC33-4C10-A75F-A3E411AF6840","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c5458c9435141d71035ca73a099f15d16be07f4","datavalue":{"value":{"entity-type":"item","numeric-id":1044184,"id":"Q1044184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"750cc32a256588abf516d107d4837440a2339dff","datavalue":{"value":{"amount":"+0.8967137336730957","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":"Q2871868$6FB11338-0A0F-4725-BB60-9CBB7F171F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c369cbe60177c955fbf1373bef4d0bb4d5433ef3","datavalue":{"value":{"entity-type":"item","numeric-id":5951522,"id":"Q5951522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ef7c9934cd0b888b1d6b910e3e083e9edd0c11b","datavalue":{"value":{"amount":"+0.8688327074050903","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":"Q2871868$13032080-D817-4C74-8B09-134C9FCB0BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14984f3cb58c984e4b4abbabec043fee8d0da6c7","datavalue":{"value":{"entity-type":"item","numeric-id":5958759,"id":"Q5958759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"562153babd9b13f497efaccb8822a47ea001b9e6","datavalue":{"value":{"amount":"+0.8201706409454346","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":"Q2871868$4606AEB9-B8CA-4FF3-94EA-81BF165CFAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f21d29d23c8530ce8a785aa45263e8eca45dbe58","datavalue":{"value":{"entity-type":"item","numeric-id":2763701,"id":"Q2763701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19b8f0f9f0ed69cfd7ead266027b616ae037185b","datavalue":{"value":{"amount":"+0.8069846630096436","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":"Q2871868$FFA746F6-58A4-4801-8515-228914F378FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"610063cb2d5d625d23d1434e89afaca2aaf608c4","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19b8f0f9f0ed69cfd7ead266027b616ae037185b","datavalue":{"value":{"amount":"+0.8069846630096436","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":"Q2871868$A50503C6-0747-4296-AC29-15D9B59DEA6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2871868","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2871868"}}}}}