{"entities":{"Q5283606":{"pageid":7313180,"ns":120,"title":"Item:Q5283606","lastrevid":52865117,"modified":"2026-01-23T16:24:16Z","type":"item","id":"Q5283606","labels":{"en":{"language":"en","value":"On canonical notion of \\(\\delta\\)-reduction and on translation of typed \\(\\lambda\\)-terms into untyped \\(\\lambda\\)-terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6751514"}},"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":"Q5283606$724F3530-37D5-454C-A07F-92FBE141CDB4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"edbdfa2f1b9353c73ab43d586bf5c76f0131cf51","datavalue":{"value":"1367.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283606$8FCC8ABD-4743-4C59-8B60-A92226E5B945","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"05a436125d0e10c65fac4ea95c85019e447fad3f","datavalue":{"value":{"entity-type":"item","numeric-id":174224,"id":"Q174224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283606$FBF8E0AC-E595-433E-92C0-712F0B550FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"041924c6cf163c6ccc0f6742025486b9c31c9036","datavalue":{"value":{"entity-type":"item","numeric-id":3194764,"id":"Q3194764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283606$7BCEC030-1E68-4E46-9D0B-2C2295FB2C9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"54f62ade54ffd261850abfd21eb55013e667fb96","datavalue":{"value":{"time":"+2017-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5283606$B4049781-E284-4E45-90BA-148E1316C5E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283606$AF0AF1DB-8828-42D8-91CE-6D0C1B681F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283606$357C41D3-CACA-430F-9973-ADD96F89B871","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4e111b3f9504ddc8da78619034de02c2131c0ce","datavalue":{"value":"6751514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283606$AE59576E-741C-4F01-B503-D71DFE09358E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7046e607c855d15ced33206584e69cbc7638fe8f","datavalue":{"value":"typed \\(\\lambda\\)-term","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283606$3E7883BC-69CC-4C01-9FE2-D276B574661A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b35b2d13da2ac4558636e354ed40384d227884d","datavalue":{"value":"untyped \\(\\lambda\\)-term","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283606$CB0EFBBB-E0BF-4648-905D-B95F1EAF09A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a6728e50cbaca75cf287bc48ae14f636315ae3","datavalue":{"value":"translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283606$A86B2C9E-A725-48C9-8AE1-3236BEC8790E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e42c44188a07c53d2ca0785d601fb0ef6c8a5413","datavalue":{"value":"notion of \\(\\delta\\)-reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283606$C446F609-D633-43EB-B879-80C5C72938BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c680ab3d281bea3f99293d19553bf4c65cca2c3","datavalue":{"value":"\\(\\lambda\\)-definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283606$D7E4761E-EAEC-448E-8C86-BD31862D8EAD","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":"Q5283606$BD310293-427C-42E7-A782-0B1D3405066F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aec9a1b7df90ff77bdb40f4a9233404110d1d230","datavalue":{"value":{"entity-type":"item","numeric-id":3122094,"id":"Q3122094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69ea92764075416581c09b8c1b538a19f5c93fc7","datavalue":{"value":{"amount":"+0.9115744233131408","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":"Q5283606$4E618D8C-84F1-42D8-9381-C559F45AFAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d9373f3c2636b2288eda73f47e1632d4eec730a","datavalue":{"value":{"entity-type":"item","numeric-id":3194765,"id":"Q3194765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9427038a174766ad4f9737a65ac21ede546fb483","datavalue":{"value":{"amount":"+0.8767780661582947","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":"Q5283606$7326E9C4-677B-4ADE-9D6A-C642EEE6FAE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecf12f8fb35b73a24d41623afee32391b53369ca","datavalue":{"value":{"entity-type":"item","numeric-id":5239942,"id":"Q5239942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed420254e10f706a56aa8e8641a558d6aed77d9e","datavalue":{"value":{"amount":"+0.8531344532966614","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":"Q5283606$06087767-3147-4D2B-8068-F5620F2BB7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e8f5939228100636d534ef49407860b16796d87","datavalue":{"value":{"entity-type":"item","numeric-id":5239943,"id":"Q5239943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"366435b718376579d6242421a5f4d59a874052aa","datavalue":{"value":{"amount":"+0.8497157692909241","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":"Q5283606$6CCECEB8-7D48-4C9E-8091-216095D2EC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15973f74a9f413bdbfe35cc919db6b4454e8d290","datavalue":{"value":{"entity-type":"item","numeric-id":4602236,"id":"Q4602236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e30310396649b448fd19bda8dafa010e1224c18e","datavalue":{"value":{"amount":"+0.8163465261459351","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":"Q5283606$ACBBEC01-CE6F-402F-ACDA-474C08F502A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5283606","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5283606"}}}}}