{"entities":{"Q2956728":{"pageid":2967447,"ns":120,"title":"Item:Q2956728","lastrevid":52725368,"modified":"2026-01-23T09:03:22Z","type":"item","id":"Q2956728","labels":{"en":{"language":"en","value":"\\(\\lambda\\)-calculi with explicit substitutions and composition which preserve \\(\\beta\\)-strong normalization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6676211"}},"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":"Q2956728$449127BD-D7A4-4D85-9C13-6627E658B0F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2ffdb220984b2bb22a1c8049b605349acc9eec9","datavalue":{"value":{"text":"\u03bb-calculi with explicit substitutions and composition which preserve \u03b2-strong normalization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2956728$388709C1-A112-45D2-98B0-5C7E79468F5F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18286e0ac526ed69f03c62c3122bb20d2df46022","datavalue":{"value":"1355.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956728$EE4DDC97-F072-4B1E-A1E0-3A2FEB86057F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cefe6cc249897fe97c56e9e6b6e186b6086473ed","datavalue":{"value":"10.1007/3-540-61735-3_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956728$8C26AEAC-98C8-4824-BBB2-47E9B0321B78","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a885fc1e3c9a4d347fde8fd39bb8b556de926af3","datavalue":{"value":{"entity-type":"item","numeric-id":1290509,"id":"Q1290509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2956728$1E5930D0-E0CC-45EF-89FE-033E0E0474B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1dca62213c403be08a72765d5013cff559684e6","datavalue":{"value":{"entity-type":"item","numeric-id":654905,"id":"Q654905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2956728$D5E962A5-F6FC-4843-9753-B54EC084386F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecb7dd8f294a869555be9c745d2e1373d849ec7b","datavalue":{"value":{"entity-type":"item","numeric-id":1122596,"id":"Q1122596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2956728$E3AD0EBD-9D96-4DD1-8C62-2E8436B6FCFE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d5c924014210483b0d24cc4cb7a016c1f568a25c","datavalue":{"value":{"entity-type":"item","numeric-id":2956708,"id":"Q2956708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2956728$DCA5C06D-C034-4CE7-9BEB-81B16B28C2C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"300acc7309ab8a260436b7e7ac046dd31b269120","datavalue":{"value":{"time":"+2017-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2956728$59146506-EC45-47C5-A546-21064C611C18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956728$5AC4A64C-ADDD-447E-906E-7C687088E60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956728$A0B7B5EE-075A-48FA-AE38-953E598E287E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d87fb2b41a400a30acd45d823df4135f74327277","datavalue":{"value":"6676211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956728$0174D627-5EC8-490B-BF7E-D81E5A74B0CB","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":"Q2956728$23F1F888-3351-4C2A-B287-7CEFB16CD2D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d05d66f1f48d86b515c10840aefb9613e1b11fe4","datavalue":{"value":"https://doi.org/10.1007/3-540-61735-3_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q2956728$8884B248-D0AA-4FFC-843E-4F4AFE3C036C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f5039b1319c17f0f49199c54b34115c225c8e47","datavalue":{"value":"W192222892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956728$0B3CC8C9-D862-48B2-B79D-9BA334F2EEB5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de03afcd9e634828c884f8371c6924cf776aa37f","datavalue":{"value":{"entity-type":"item","numeric-id":1290510,"id":"Q1290510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0131724f1d25f9171d4fbff8e8fd75b6978d5886","datavalue":{"value":{"amount":"+0.9873178601264954","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":"Q2956728$42D9D3C0-C025-4325-B8B4-9418FF18C403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1381ba5e65d72f963524301b06e5959f3d3eac3c","datavalue":{"value":{"entity-type":"item","numeric-id":3395095,"id":"Q3395095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0131724f1d25f9171d4fbff8e8fd75b6978d5886","datavalue":{"value":{"amount":"+0.9873178601264954","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":"Q2956728$54A9AC57-1CA8-4450-9662-33A9B9415A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0492288f242b78fcf8a6d12734fbb382f0b04f0b","datavalue":{"value":{"entity-type":"item","numeric-id":3125228,"id":"Q3125228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aec9d24ab12fffcd452486b176db2bd0f9270f89","datavalue":{"value":{"amount":"+0.8655484318733215","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":"Q2956728$1DC61BFE-D4B9-4514-8AEB-FD7CBF2D52C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae33ec0cec722ae39db812bfd7fd70874e418f99","datavalue":{"value":{"entity-type":"item","numeric-id":2713357,"id":"Q2713357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"922c2bc55478a738a18eefe2edb737eaefa4f51f","datavalue":{"value":{"amount":"+0.8621519804000854","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":"Q2956728$584ED3E5-F5F4-4E32-A076-45AD7D471654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05b1e6ec56c83b1cfd582d9359886bc98c25a45f","datavalue":{"value":{"entity-type":"item","numeric-id":4263879,"id":"Q4263879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33b660fbc1454df1b497201122acbcb0c9b6ffa5","datavalue":{"value":{"amount":"+0.8584581613540649","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":"Q2956728$BFDFBFE1-7EA6-42FC-BDC7-83D38C9A46FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2956728","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2956728"}}}}}