{"entities":{"Q631760":{"pageid":633608,"ns":120,"title":"Item:Q631760","lastrevid":63112029,"modified":"2026-04-11T10:40:04Z","type":"item","id":"Q631760","labels":{"en":{"language":"en","value":"A note on preservation of strong normalisation in the \\(\\lambda \\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5865588"}},"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":"Q631760$C6007585-F5BE-4741-8EF5-8E0EB2066E43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df235e8ab21c1359ed03c1bc8ab69e4f453d6e6f","datavalue":{"value":{"text":"A note on preservation of strong normalisation in the \\(\\lambda \\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q631760$5CC9E47F-D40F-4D5F-9442-F4AC8F3C2243","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4ffdd064446e78190c5880d769592acb418882f","datavalue":{"value":"1211.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631760$B5753768-379F-47B7-8AD2-880B85ED184E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89260965fad54b888baf1a3ae5b1235a01539a4b","datavalue":{"value":{"entity-type":"item","numeric-id":631759,"id":"Q631759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631760$C84EC41F-930B-47DB-A866-FBEF5A5897FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631760$6544CC38-3D72-4896-9F9F-621381BC97FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f05c15c599566c03aa1303bff626bf49bc05676","datavalue":{"value":{"time":"+2011-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q631760$8CD4C15C-D5BD-405D-B497-1B8E7F292B48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631760$BD042385-9A16-4F7D-B0C2-E166880582F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631760$BE59B48B-616D-44E9-87E0-D372A286FF82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"408d103b19c244d15e181e4fd58760854833cda7","datavalue":{"value":"5865588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631760$880D9DEF-EE3D-4575-9E9C-055A054EFF7C","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":"Q631760$08819CA7-C50C-4414-B768-25308AFF0422","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3c8b2f99e3be7e5a115aa65cf84a575193cc967","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2010.10.049","type":"string"},"datatype":"url"},"type":"statement","id":"Q631760$2782AB21-21DA-4B52-AE34-E9832B301D4E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0741d9b7b08b04ebc31b08a1685790d0efaeee9","datavalue":{"value":"W2029029577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631760$0C1420E1-75F6-474B-B26E-F77A5B76806F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f21a4a0099d31e158836c7dcfba6aa43c852ab","datavalue":{"value":{"entity-type":"item","numeric-id":3342534,"id":"Q3342534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631760$9A94DD07-5476-4EE2-A1BC-1BD5232BCEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c2c29cfc2f6cf69387661eb43317351b89ab5f3","datavalue":{"value":{"entity-type":"item","numeric-id":5432340,"id":"Q5432340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631760$C4232D3A-0076-49D4-97AE-6E1470464882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631760$154DF9BA-26A6-442C-A3B2-5E7DD6DD84BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19ad066144a6504bc489d20ac28205d89300b341","datavalue":{"value":{"entity-type":"item","numeric-id":1322165,"id":"Q1322165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631760$23459063-729F-4716-8B12-DC054807104A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db9d1ac17655f7d23b5941696fc397faeec07acf","datavalue":{"value":{"entity-type":"item","numeric-id":1286373,"id":"Q1286373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631760$7429CB21-845F-4BB2-8390-448C665394E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b5ad56ec81a389ffea6813a7580a3ae52f97d20","datavalue":{"value":"10.1016/J.TCS.2010.10.049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631760$D51E9E9A-F5B9-425F-A724-5BC3095F7248","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":"89dbc66da1e2fa8092a359bec0d5c66781b9fa0a","datavalue":{"value":{"amount":"+0.8339681029319763","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":"Q631760$67775561-F874-4582-B42A-0C8BE9E856D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b55c1e018dcc7d1fbd95aeb639eefcb65f04b2f","datavalue":{"value":{"entity-type":"item","numeric-id":2785671,"id":"Q2785671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89dbc66da1e2fa8092a359bec0d5c66781b9fa0a","datavalue":{"value":{"amount":"+0.8339681029319763","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":"Q631760$C91C74F8-35FB-4634-BA82-9D2A8D2F7F86","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":"22fee83850b268ee1162f6a7dfdff6c20e35911f","datavalue":{"value":{"amount":"+0.8195328116416931","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":"Q631760$48D4FD4D-6869-46BF-A315-0000C26AD010","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":"b6207539a2b4ad0c9e805f0919da4d2e0f82f5c3","datavalue":{"value":{"amount":"+0.8132675290107727","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":"Q631760$48B3256B-0E11-4B40-8FB5-34FD50F281CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a72a59288f558e9dbf6d01e97fcfea49f1973ab","datavalue":{"value":{"entity-type":"item","numeric-id":631758,"id":"Q631758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c7e9efb8cdfb3d121bab1c26d524f84479aa678","datavalue":{"value":{"amount":"+0.802994430065155","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":"Q631760$B406B596-B829-404E-8DB4-0CA4BB07DA19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on preservation of strong normalisation in the \\(\\lambda \\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_preservation_of_strong_normalisation_in_the_%5C(%5Clambda_%5C)-calculus"}}}}}