{"entities":{"Q5951522":{"pageid":8128324,"ns":120,"title":"Item:Q5951522","lastrevid":47718286,"modified":"2026-01-02T12:44:41Z","type":"item","id":"Q5951522","labels":{"en":{"language":"en","value":"A calculus of lambda calculus contexts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1686107"}},"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":"Q5951522$4B9F2465-7387-4F85-B151-A94A714DE6F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"634fd4f3714f3f4cd533c95fbff78162f50f1386","datavalue":{"value":{"text":"A calculus of lambda calculus contexts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5951522$E62C9DE5-3D97-4BFD-9F87-453C966CACC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2008214cb7ace8453bb0a8117bb19488bdfbcfe6","datavalue":{"value":"1010.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951522$A21A0D5A-95D9-4A80-AEA6-7A1920A4A9D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58ad27948f51c3afb1e5be1aab7ecfa3bcdaa3e5","datavalue":{"value":"10.1023/A:1010654904735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951522$387779AE-92EF-4727-AFF2-B837A5341C9E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e7940e7f90afb48c3ee01542e7b943a5b22d385","datavalue":{"value":{"entity-type":"item","numeric-id":220711,"id":"Q220711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951522$F848F16F-44F5-4A72-8627-932625DDA05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5348b39bb43ee09733fb8b9f52c0a9b9a953475","datavalue":{"value":{"entity-type":"item","numeric-id":220712,"id":"Q220712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951522$97A73883-2114-441E-9ECD-18D0647F9C43","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951522$E0C3B904-058B-497E-90EA-5A69B1CC6D44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89209fe35b8dffd73b83d6bf06628404926efab8","datavalue":{"value":{"time":"+2003-05-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5951522$CD8F557B-F49B-450F-B91D-F3ABBD75293D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951522$F660AF61-0926-4F0B-B87A-5973907CAD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951522$D62D4BB0-2D8C-4A96-BA13-1D0A00F5D38E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a035076dfa9122a1816c942471abb7d4e9a8dd8","datavalue":{"value":"1686107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951522$3D4C21A8-0F11-4D08-81FE-6EF722F237BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e29c05c4b202ed304ae02c7249cf06ab551be5a","datavalue":{"value":"context representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951522$5EB0EC74-E2A4-4C0E-A882-F4CC1A16879A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29b3513a9649289a95381004f99dfdfdbe4feb84","datavalue":{"value":"context calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951522$751ABA5F-820D-4F82-9F5F-AC43BD63812E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951522$1E98D1C4-F9F2-403E-9770-66F68FB8FFAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1edf832e3f7f5cc8f53841327b88c0aa010192f","datavalue":{"value":"pretyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951522$6AC0406B-01AE-424E-88E3-53CF5E0A5E71","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":"Q5951522$D7DAAB8A-8F2B-4ECB-81DB-B85CA3D7F9D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c3b51f8a0d80d67354e45b2e72b0c69c6d1b718","datavalue":{"value":{"entity-type":"item","numeric-id":2871868,"id":"Q2871868"},"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":"Q5951522$1B4615D7-E2CA-4A14-85EE-83D087585A23","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":"4ff122bbaaa809888b518c3cc1e9e36ef16a6a9b","datavalue":{"value":{"amount":"+0.8437501788139343","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":"Q5951522$4834D5A2-A230-4CD6-AE77-37EB55737097","rank":"normal"},{"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":"9d2fd7c7e937d0b0c47f0c5e311a79c1ca579a9b","datavalue":{"value":{"amount":"+0.8224928975105286","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":"Q5951522$77E815B3-DDBF-455C-8776-504F295C6CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab2cc39521aa141ac40ba2582b00538c095f8d0c","datavalue":{"value":{"entity-type":"item","numeric-id":2817703,"id":"Q2817703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7519a03bc49ecb2a3d6bdf408e779fe2fe0be77","datavalue":{"value":{"amount":"+0.8202991485595703","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":"Q5951522$9A9C1797-B2C7-426D-A176-59A549902879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fd94f4c0a3c7c65e302590af1347767d9f127d3","datavalue":{"value":{"entity-type":"item","numeric-id":1125575,"id":"Q1125575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56d9a8c69607cdcdeb4618d2634871ee7404c148","datavalue":{"value":{"amount":"+0.815733015537262","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":"Q5951522$45F49570-173E-4404-871F-B4AAED307F9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5951522","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5951522"}}}}}