{"entities":{"Q2881096":{"pageid":2891816,"ns":120,"title":"Item:Q2881096","lastrevid":58048713,"modified":"2026-04-03T14:40:21Z","type":"item","id":"Q2881096","labels":{"en":{"language":"en","value":"Preservation of strong normalisation modulo permutations for the structural \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6021345"}},"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":"Q2881096$2BCF62A9-0E72-4248-8BEF-8B3D76CD3D59","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3412bd7b2eb2cbeedf265d547fdf4cb6fccfd970","datavalue":{"value":"1237.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881096$E9F49C2E-1626-46B9-896B-E17030851065","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9b00eeaa372d165095e8d3f3bc9bd22c9e3fc57","datavalue":{"value":"10.2168/LMCS-8(1:28)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881096$989A6D7E-36A9-436D-A204-B63EA7BBFCB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50a5fc175548a252094d9a283c297268d69f866a","datavalue":{"value":{"entity-type":"item","numeric-id":897927,"id":"Q897927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881096$4E4461BB-D941-4A26-B29A-7D26C1DAC35D","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":"Q2881096$4F0850C8-B4B2-4018-A4D1-44AFFBFF444A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881096$2160429C-52F6-4160-B2F8-2B0AB0B9940B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d567b51f320d6b206f1e246178a080db047a3948","datavalue":{"value":{"time":"+2012-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2881096$1D4C3605-1EFB-4687-8E54-8BC63CDAC04B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"334136c15f752c996fff02ee12b548ef9c1a2126","datavalue":{"value":"https://arxiv.org/abs/1203.0670","type":"string"},"datatype":"url"},"type":"statement","id":"Q2881096$3443F686-8174-4FDD-A5AA-AE49EBF58CC5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881096$44F826F5-611A-4A03-96B8-1A0F576024A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881096$0EEB644B-AD13-4E7D-8B24-560256967C6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9680362e650426c26e4b44dde3c817c8792c724b","datavalue":{"value":"6021345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881096$9CC6217C-4A10-49A9-A5CF-34A68A61666D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881096$26C9A550-3866-4AD6-A7E6-FD45D058459C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"466c42c02ddf75f7f67e6990514dda7f81e85cd7","datavalue":{"value":"explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881096$A526C145-1C9A-4F53-A91B-5DDDDF355C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6feb847228a66eca88fe4bcccfe719a03249ea39","datavalue":{"value":"preservation of strong normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881096$472C50A1-7471-4CFC-9FBB-2B1B66ED462E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881096$9C50D87F-6A1A-47A5-AF17-0635C8A4E91A","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":"Q2881096$6A185976-890B-48B0-ABAC-8E9A31193EA6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"781c80ddf8b5d507d6461369631b03982db3737d","datavalue":{"value":{"text":"Preservation of strong normalisation modulo permutations for the structural \\(\\lambda\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2881096$061AAD6C-9B5E-4460-8111-2120BF1FEDCF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2646aba0b8c3ecbc33a5d46a375d4e50a1741ae5","datavalue":{"value":{"entity-type":"item","numeric-id":3586054,"id":"Q3586054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7a1c490161ea345d3b7d94183ceced17694179e","datavalue":{"value":{"amount":"+0.8989737629890442","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":"Q2881096$82E56498-DB77-4762-ACFC-1F16DED0BCDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbbdc6542d2cf953da88e7f6b4554d455ec1735e","datavalue":{"value":{"entity-type":"item","numeric-id":2891437,"id":"Q2891437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd1d4de7ea7cb5986ab405d4aa0355d992c5f269","datavalue":{"value":{"amount":"+0.8116846680641174","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":"Q2881096$2C426BE9-36CF-46B9-B31D-E51AEBE1C9CD","rank":"normal"},{"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":"4faa95222aad44f560a61514aa042fcb8321f94b","datavalue":{"value":{"amount":"+0.8024359345436096","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":"Q2881096$36A61E26-1473-4D76-9DD7-74BB6D24DC00","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":"4faa95222aad44f560a61514aa042fcb8321f94b","datavalue":{"value":{"amount":"+0.8024359345436096","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":"Q2881096$CE7412C7-246E-45BC-88FA-D44E1EBCCE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07f0e308167f5a5d8e61569130d0c278f23c162c","datavalue":{"value":{"entity-type":"item","numeric-id":2956728,"id":"Q2956728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d37b2dfedb17125372bdfc8cfa81400f7f8b81dd","datavalue":{"value":{"amount":"+0.7911544442176819","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":"Q2881096$67957948-052D-48F7-B2E2-53E808E28475","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2881096","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2881096"}}}}}