{"entities":{"Q1894580":{"pageid":1905322,"ns":120,"title":"Item:Q1894580","lastrevid":69212508,"modified":"2026-04-13T05:31:08Z","type":"item","id":"Q1894580","labels":{"en":{"language":"en","value":"Erratum: Eta-conversion for the languages of explicit substitutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 780892"}},"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":"Q1894580$020567DC-F6A8-42FD-A462-3AADCF7EFBBE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e90d61830fc9a99c1312831e3bf535bc1c7bcbf7","datavalue":{"value":{"text":"Erratum: Eta-conversion for the languages of explicit substitutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1894580$A13254B7-CBCB-4AD5-8864-14367C10B17B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61edb50a25e388c194e4f17d3aabef0a03eb27fe","datavalue":{"value":"0822.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894580$F382C26F-0EBD-43F1-8116-F73FC6C6F3C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"981f0bab41c0f1987a7d6beda01d25ae76a84e4d","datavalue":{"value":"10.1007/BF01235723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894580$67C83357-AE75-4750-A5FB-5EB966A68CEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c50f42ac443d41828b557f6076f88056505c203d","datavalue":{"value":{"entity-type":"item","numeric-id":918955,"id":"Q918955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894580$D0A2C5B8-221D-4C1F-AF84-FB15C14D3630","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e71b1a810c94176f33b214acd409208085d409e4","datavalue":{"value":{"entity-type":"item","numeric-id":162945,"id":"Q162945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894580$10BFCC5D-ABFB-427B-9C0F-913513D428B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b2e89868b1c268f0defa51f67a4a63561a369e84","datavalue":{"value":{"time":"+1995-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1894580$07DA6E48-468C-4C62-A58F-C8ABF90A0E57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894580$3DF43BD6-67A2-448F-92DB-AC6F9EF0E2E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894580$AB867B23-47F7-4A7E-AF8A-A2A403446EEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0146f89287053ffd0ea0f4c77ee83add88c7557e","datavalue":{"value":"780892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894580$0A00FE6B-B56B-4811-9DAC-ADAD5926D230","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e53fa248a6a9e69cec45f86e3db61e2ec8ce302d","datavalue":{"value":"eta-conversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894580$E54EB975-DA1C-4312-AFB6-94C37D8C4D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894580$073007DE-2BBB-44CB-B555-9D5B379F15DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b64fb27082f84bf5fd1512c27a2a90efebb6272f","datavalue":{"value":"lambda-calculus with explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894580$D39782D4-4191-4F44-8158-3C5A6B1A08C5","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":"Q1894580$06434694-689B-48BF-8ED9-7D91339A4E7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e5cfe1ea6c16b7c96b21c2e311cec51d57d4ff6","datavalue":{"value":{"entity-type":"item","numeric-id":1335136,"id":"Q1335136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72f9181e4240d291e5d2271006839441c9caef06","datavalue":{"value":{"amount":"+0.8264738917350769","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":"Q1894580$08557D13-BD25-4E4C-AF73-724B9DF42C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52b81ba912d1cbad7c756971fb5cc3a7a5512625","datavalue":{"value":{"entity-type":"item","numeric-id":4371674,"id":"Q4371674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d418d1717675e64e77147fbf5b913ac5d21e683f","datavalue":{"value":{"amount":"+0.744968831539154","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":"Q1894580$661024A8-715C-4466-A32E-5FBFEACFF4B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95c3498cf6f8f556ea2e5d825322ff168be0aaee","datavalue":{"value":{"entity-type":"item","numeric-id":3024827,"id":"Q3024827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a760a8c3687c092d505bd444309e4838d8e90c9","datavalue":{"value":{"amount":"+0.7346389293670654","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":"Q1894580$F1C48CEF-0978-4DEF-9D96-81FDC5842704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14b831ee8c09ba3e9977779ca68ccb1cc211fba6","datavalue":{"value":{"entity-type":"item","numeric-id":1575247,"id":"Q1575247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f5fc2a30e51d9a32ec6df11d5a1c89389fec446","datavalue":{"value":{"amount":"+0.7274364233016968","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":"Q1894580$4411A2B0-7DEC-477D-9019-6E81107AFB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d820de532ee70c4c5b79de888f7506e02ef34342","datavalue":{"value":{"entity-type":"item","numeric-id":5055860,"id":"Q5055860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8455c52b9167da29c878c31a666a96fe7038b17e","datavalue":{"value":{"amount":"+0.7191694378852844","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":"Q1894580$AA8B555F-33D2-4C69-BCA3-B6A2DCF329AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Erratum: Eta-conversion for the languages of explicit substitutions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Erratum:_Eta-conversion_for_the_languages_of_explicit_substitutions"}}}}}