{"entities":{"Q5367073":{"pageid":7396647,"ns":120,"title":"Item:Q5367073","lastrevid":58543206,"modified":"2026-04-05T16:32:39Z","type":"item","id":"Q5367073","labels":{"en":{"language":"en","value":"Strong normalization of \\(\\lambda^{\\mathrm{Sym}}_{\\mathrm{Prop}}\\)- and \\(\\overline{\\lambda}\\mu\\overline{\\mu}^\\ast\\)-calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6790171"}},"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":"Q5367073$3FA336FF-1711-4164-9500-7A3CEB4BD2F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b38810af72712e3ddb5deb1f334fddb1f60c3fc","datavalue":{"value":"1459.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367073$EC6E1C7A-4EEC-4EC6-A2A9-9D51969D28A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3c62a4eaf97ccc21099c5a5d44649f52f1f449a","datavalue":{"value":"10.23638/LMCS-13(3:34)2017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367073$72405A79-3AAA-4FC7-AFF8-E39A581EFB8D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecf453dfb45cbee325db213f09dd10d6d9e8f531","datavalue":{"value":{"entity-type":"item","numeric-id":1982989,"id":"Q1982989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5367073$B0A1D986-55AA-4EF7-9A26-BA41483381C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03475eec65c2e868e184cfa393bdf90d107cae1e","datavalue":{"value":{"entity-type":"item","numeric-id":636352,"id":"Q636352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5367073$4805C065-238C-4E6A-9221-785375B4F0ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c0381aec861f5a199f46f1776607b0e02f2cdf4","datavalue":{"value":{"time":"+2017-10-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":"Q5367073$25BD371F-B203-41B4-A512-2E40A65988E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f5e78e4a5af2cfb20222195c3e2a6f7e4c5436c","datavalue":{"value":"https://arxiv.org/abs/1706.07246","type":"string"},"datatype":"url"},"type":"statement","id":"Q5367073$15885061-0E69-44B7-ADE7-D0692431F6F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367073$103D0CE5-F11F-4D9D-AAE7-F9A7763E9420","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55a3cff484e99de94364633ae446913c1b3b8979","datavalue":{"value":"6790171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367073$3DECD604-3F0F-46C6-96CB-8D231307EDE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34e4125830fc3b74de2c9d71ee041256dea5b9f7","datavalue":{"value":"arithmetical proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367073$F15D64E5-A2D3-4176-874C-542C8E1EC0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90f23d8701626de3473126d3a6ebce6a5d6de64d","datavalue":{"value":"strong normalization, classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367073$1D41C594-485B-4FE2-ADCB-FEC45F72AAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b020392e9c127c8cd3ed51045e21a27ad2b1b84d","datavalue":{"value":"\\(\\lambda^{\\mathrm{Sym}}_{\\mathrm{Prop}}\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367073$38AB3517-4757-4063-91D4-07BEF6B75A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f67787b5b226925b3851e44ecddb6604fc28b865","datavalue":{"value":"\\(\\overline{\\lambda}\\mu\\overline{\\mu}^\\ast\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367073$098DC0D4-A03C-4C3B-A6E1-04C82C5ABE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d58d991ab2b5f8abc3d24f32c1a286453d8fb5d1","datavalue":{"value":"zoom-in sequences of redexes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367073$37223F4B-F557-4C93-815B-1EFBAD216C94","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":"Q5367073$AD77A86E-667D-4D99-AAF4-43D94770D414","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0285b1c03c9b3972ae14ca8db863da41233c811a","datavalue":{"value":{"entity-type":"item","numeric-id":3593501,"id":"Q3593501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dc262edee30a099a3c36c99109f3785b4a48a0e","datavalue":{"value":{"amount":"+0.9125425815582277","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":"Q5367073$0DB2693D-C70A-4E65-8B3B-6AD7830C5E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d41218928b8e812851ddfaaa5e2bdc5d7db555a0","datavalue":{"value":{"entity-type":"item","numeric-id":5704007,"id":"Q5704007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f1672465c2ff0f6f87383fa86b99d2c0b679685","datavalue":{"value":{"amount":"+0.8800080418586731","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":"Q5367073$39018E0D-88B1-4158-AEA9-EB98CB87CC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2378f33955b6e304d54ef59f2d34fc42eeae13ac","datavalue":{"value":{"entity-type":"item","numeric-id":1407527,"id":"Q1407527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff4a7bcf0fc3340ca19e45ca960d2cadbfee497e","datavalue":{"value":{"amount":"+0.875377893447876","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":"Q5367073$678EF1A2-7355-4F07-9DF1-61E3FAED8AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34ecf3b9dfd6a0e5496fe9d491fee29829fdc2de","datavalue":{"value":{"entity-type":"item","numeric-id":4650284,"id":"Q4650284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50bb3f66d57ad9eb131b31f6ef38ccbb2d3a6d76","datavalue":{"value":{"amount":"+0.8753774762153625","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":"Q5367073$3AC58117-F84B-4E11-9CA0-30551B3BD918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65a59cc9f998e01330f563136f238af0aa7062f","datavalue":{"value":{"entity-type":"item","numeric-id":5308466,"id":"Q5308466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb8ec85516e2b06a0eac88f41f7db4e8c4a62366","datavalue":{"value":{"amount":"+0.8651639819145203","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":"Q5367073$A1725202-ACC7-458E-80B6-6AAD77F21EB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5367073","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5367073"}}}}}