{"entities":{"Q4519171":{"pageid":6548764,"ns":120,"title":"Item:Q4519171","lastrevid":47541931,"modified":"2026-01-02T00:55:22Z","type":"item","id":"Q4519171","labels":{"en":{"language":"en","value":"The \u03bb<i>s</i><sub><i>e</i></sub>-calculus does not preserve strong normalisation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1538623"}},"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":"Q4519171$8F97749F-06DA-4BEF-B359-6AA21047A6B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"920fda04fe5e94a3e82f70fa3626ecfa86c8e56d","datavalue":{"value":{"text":"The \u03bb<i>s</i><sub><i>e</i></sub>-calculus does not preserve strong normalisation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4519171$C9BCD90B-BD12-479F-8015-B475DD731D9E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a5c33072702abd8f6651b836efd8aa5628a9903","datavalue":{"value":"0971.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4519171$F03EED11-82CC-4109-BF2C-C65393FA67E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c0aa7c1ee27cefb2296619242070893892c832fe","datavalue":{"value":"10.1017/S0956796800003695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4519171$F7DC611F-97A3-47BF-A94B-EBE2FB1F458A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa3f7f4ec066ea99a679194700dc7b816eac0cd3","datavalue":{"value":{"entity-type":"item","numeric-id":2713356,"id":"Q2713356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4519171$429583D6-F25C-4A6C-A53E-995372719079","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4519171$7AA470FE-0204-481B-A5EA-3D8365E6A4C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7adb119921e441e297327ff60c1a7864930c815e","datavalue":{"value":{"time":"+2000-12-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":"Q4519171$E6195DD7-F33C-473C-9131-F3B3E77E7C55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4519171$8CC1695C-ACB8-49D0-A0D7-52822E15F8CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c0b58fa1f3776d17011f034d48034093ec584fd","datavalue":{"value":"1538623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4519171$2B52ED8E-42C4-4EE3-BD80-30570A61E496","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4519171$177FF05A-86F0-4EE1-9299-0831ADE07F4D","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":"Q4519171$660FC83A-4E07-43F5-8758-C5506D763D45","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ee8524167afef8c04160f248cc881339fe6189c","datavalue":{"value":{"entity-type":"item","numeric-id":631760,"id":"Q631760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbc65dd3029eadd9adf1dc6553144f5ee50d47f6","datavalue":{"value":{"amount":"+0.7965034246444702","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":"Q4519171$2D918E12-E3D7-4E55-B170-2C1CDBDA7746","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":"735863583e46e0f3c9511b2480740a659b5f14ce","datavalue":{"value":{"amount":"+0.782247006893158","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":"Q4519171$1AEBC8D0-51BE-4C26-81CA-EB20FCF6E85B","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":"735863583e46e0f3c9511b2480740a659b5f14ce","datavalue":{"value":{"amount":"+0.782247006893158","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":"Q4519171$820B86A9-A919-449C-90D3-059BE6CC3AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90de395bee12df483a2e23c4bb7bd4a7f77ac96d","datavalue":{"value":{"entity-type":"item","numeric-id":4281472,"id":"Q4281472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa89df03841384abd52e56c888e1904accf7fbbf","datavalue":{"value":{"amount":"+0.7656410932540894","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":"Q4519171$8D9166E4-CF0D-490A-A785-DF45C11CC795","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":"2c929341052b388ef1958ab33384834b2da8d475","datavalue":{"value":{"amount":"+0.763205885887146","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":"Q4519171$05D2B5CF-CE89-4010-B743-CBA66978379A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4519171","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4519171"}}}}}