{"entities":{"Q1390880":{"pageid":1401620,"ns":120,"title":"Item:Q1390880","lastrevid":68606193,"modified":"2026-04-13T00:52:52Z","type":"item","id":"Q1390880","labels":{"en":{"language":"en","value":"A syntactical proof of the operational equivalence of two \\(\\lambda\\)-terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1177607"}},"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":"Q1390880$39EF552F-2D5E-4C21-949E-ED535F2EFBD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"732afe37d4d87a493614655e72410a5757ff5841","datavalue":{"value":{"text":"A syntactical proof of the operational equivalence of two \\(\\lambda\\)-terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1390880$3EB7CF76-2A70-447F-8C2F-5C428853537F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ff637e997024c4f916884e10b7f09dd190a9726","datavalue":{"value":"0896.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1390880$E18C1CBE-AF21-4F2F-A958-4AA0CB649B06","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8502125c4fe7b148e709aef426324b50afb2e419","datavalue":{"value":"10.1016/S0304-3975(97)00004-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1390880$9759B95F-5F61-403F-8CB6-7A732D17C011","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8a2b41fc82fc820470803336cf6817ae0318cec","datavalue":{"value":{"entity-type":"item","numeric-id":172779,"id":"Q172779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390880$8F5A6D82-DA6A-4CEA-9EE1-7DF23E8A942F","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":"Q1390880$4B3F1AED-44D0-4138-B1D4-91A139B2B2C7","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":"Q1390880$8EA7A8A8-1C60-46AC-B5F7-9217E49E07FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04855ee36d302f814b50229947d6c78840861251","datavalue":{"value":{"time":"+1998-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1390880$594B8197-F6BC-4D6D-B020-0A62F6393EFB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d41c4a944c479fdb9a1c88027b1a22721341dfbd","datavalue":{"value":"https://arxiv.org/abs/0905.0769","type":"string"},"datatype":"url"},"type":"statement","id":"Q1390880$1824CDED-8C33-4D02-BD8C-0D3C8930245A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1390880$51BD1812-E9F2-41B6-9993-B456BD2F7A6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86bac5d0cf83daeb1e293729474497433b7d6459","datavalue":{"value":"1177607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1390880$23B4A213-846F-4190-B4C7-F1F3708E3166","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"286479f18ae8d3c4b3f2053ff22ac5eec713a1f3","datavalue":{"value":"operational equivalence of lambda-terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1390880$91F92017-9036-40E0-96D8-8A2954DACD8D","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":"Q1390880$A17B5FDA-D605-4E13-9499-FDBFB5EC45E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390880$5DA8692A-DF31-46D5-9A53-D5D8CC639AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68bc2d3a5d166929859aa7229f0017120bce6eec","datavalue":{"value":{"entity-type":"item","numeric-id":4876311,"id":"Q4876311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390880$3E199238-716B-4B79-86C9-EA09EFEBE394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5c401e46239dabb51683570f5525fdcd2a90e5d","datavalue":{"value":{"entity-type":"item","numeric-id":4094853,"id":"Q4094853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1390880$E35A62F2-3322-4D59-B708-F4ED31BFDFFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A syntactical proof of the operational equivalence of two \\(\\lambda\\)-terms","badges":[]}}}}}