{"entities":{"Q3125228":{"pageid":3135944,"ns":120,"title":"Item:Q3125228","lastrevid":85850732,"modified":"2026-06-03T12:00:10Z","type":"item","id":"Q3125228","labels":{"en":{"language":"en","value":"\u03bb\u03bd, a calculus of explicit substitutions which preserves strong normalisation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 992366"}},"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":"Q3125228$0A817932-0C43-4B6F-8433-A43A8DF0B45D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ccc926dede0d941131da0b233b3904ba50a52f62","datavalue":{"value":{"text":"\u03bb\u03bd, a calculus of explicit substitutions which preserves strong normalisation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3125228$B7AEC926-1CCF-4D58-A2C0-E159FC57C398","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2bdbc205d6ff7434ceefc3be7946d49fae1a986e","datavalue":{"value":"0873.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3125228$F5225F36-1E9C-433F-AC87-A26EFD34AAA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2349334d11108628e758410e9d75e0ee3cf75735","datavalue":{"value":"10.1017/S0956796800001945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3125228$CE5DA752-2FC3-4A08-94D2-BEC2851D2F41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"850f214e97d86f50d9ad4bb143ae7ec54e104972","datavalue":{"value":{"entity-type":"item","numeric-id":3125227,"id":"Q3125227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3125228$A78FA8A5-0D80-4A7E-A3C0-ABF5635BEABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b730bd4a652520ab556b567b33fe798445215e71","datavalue":{"value":{"entity-type":"item","numeric-id":3024826,"id":"Q3024826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3125228$8E344CA2-5B45-4A2D-A658-48EDC4B3D576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5fd864542907a2da8db322de1436438bd84c826","datavalue":{"value":{"entity-type":"item","numeric-id":579929,"id":"Q579929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3125228$B2E5219B-F746-4776-B23A-D2114900F3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc1b69d0c3b2077b38ca0aa18a1f1000f219b2b1","datavalue":{"value":{"entity-type":"item","numeric-id":1861554,"id":"Q1861554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3125228$90E84EF8-6056-41FD-BE6B-5D6BC7235DF5","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":"Q3125228$5642BB73-4B62-4732-BC1C-D63A09482184","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e1cb20c8b3bcdd52340fd21d1ff3b27919d6a5e","datavalue":{"value":{"time":"+1997-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3125228$9306BD96-0D67-4DBF-B87F-6FAF937AA0C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3125228$F5E7D4D7-B233-4B9B-B9F3-9F4CEA170060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3125228$0412FD5F-AD23-4C85-ABE2-0C53E9702378","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6557cff88d92600f6a70c56db644972a4ca18d5d","datavalue":{"value":"992366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3125228$FFD1ED0D-F4CF-45AB-88C4-B3FF4CA4915B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54dd840bdbe83d10fd90b7e21cfb9a8c40c7f4a2","datavalue":{"value":"\\(\\lambda\\sigma\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3125228$FD35785C-2005-40CE-A8A3-4CF5F54AF418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3125228$FCD473A3-5BDE-49BC-9A32-E8046EBCA8BD","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":"Q3125228$C4B6ED3A-5DA1-4B49-89C0-6FD80E49B972","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b201d97ba51e9a469157bfcbb5963e8e4d8cc7b7","datavalue":{"value":{"entity-type":"item","numeric-id":4286110,"id":"Q4286110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3125228$F8CF3FF2-ECDB-47FA-901E-D31F1F7D4CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7145a08058c2606f14ee8ef77509e0e6d4370df","datavalue":{"value":{"entity-type":"item","numeric-id":804281,"id":"Q804281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3125228$661757DE-411E-4AD8-B155-75397225C9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c5c0a322641e0fb0bfcedb9760d56ea332ad04e","datavalue":{"value":{"entity-type":"item","numeric-id":3745827,"id":"Q3745827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3125228$26D01030-2FB9-4535-906B-D577CF0ACF00","rank":"normal"},{"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":"Q3125228$2979452B-2416-40DC-B8D1-A8FE6221231E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3125228$8CBADD69-8261-49D1-A6C8-11AA3B3C72B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39a720b69b73a77620c7218acc700c3c632bdb8a","datavalue":{"value":{"entity-type":"item","numeric-id":918956,"id":"Q918956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3125228$3250D7E7-C5F5-41BB-B9A1-2161BA229A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f494acf3a97ba3d08e24c888dfea76899fb6aa","datavalue":{"value":{"entity-type":"item","numeric-id":3857730,"id":"Q3857730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3125228$AE99FA03-0455-42D0-B92E-FC32CFE58C2E","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":"5fced1c452a5a4c367f9b583d61c66ef124744f2","datavalue":{"value":{"amount":"+0.8895403146743774","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":"Q3125228$3D48786F-E057-4B02-AA06-C9FF5000C751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23cd9b33bb1904f035cb8a250807ea572aa3596e","datavalue":{"value":{"entity-type":"item","numeric-id":4360125,"id":"Q4360125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df37fd4263a3c49ee37d7c6abab0c48df721334e","datavalue":{"value":{"amount":"+0.8698974251747131","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":"Q3125228$BDD4F72F-C208-4174-B527-5E6DED1F580D","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":"aec9d24ab12fffcd452486b176db2bd0f9270f89","datavalue":{"value":{"amount":"+0.8655484318733215","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":"Q3125228$58FBFA58-CD04-4284-BD3C-74F6CED5464E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\u039b\u03bd, a calculus of explicit substitutions which preserves strong normalisation","badges":[]}}}}}