{"entities":{"Q1114386":{"pageid":1125135,"ns":120,"title":"Item:Q1114386","lastrevid":42885070,"modified":"2025-07-15T17:24:19Z","type":"item","id":"Q1114386","labels":{"en":{"language":"en","value":"Lazy variable-renumbering makes substitution cheap"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4082947"}},"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":"Q1114386$9C3106D9-2F74-4256-8058-4F87BD909346","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a718091413acd29eff305aa5c8e1ef9014055cb","datavalue":{"value":{"text":"Lazy variable-renumbering makes substitution cheap","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1114386$0DB2A7BC-5ECF-45A6-93D1-14E92B9F6084","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b05ffb40329256f085e25ee1fe2698aea3f4386b","datavalue":{"value":"0662.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114386$8D6DE50B-E982-40F8-9B75-55DA56C67A2B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"196bf0562c15cd1192f4a530be20a710041fa08b","datavalue":{"value":"10.1016/0020-0190(88)90114-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114386$9690A419-CB4A-46EC-A56D-BCD0D8D59BEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f48368874e351ded3c792569b1d186bb6aa3c59","datavalue":{"value":{"entity-type":"item","numeric-id":1114385,"id":"Q1114385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114386$96A177F3-BC4D-449D-B2C0-DB2BF726A50A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114386$A43D7D72-A448-4E6C-8073-E9F574C72FCC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1114386$58F23D3B-2B4B-4C42-BB44-F1882A155684","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"592ff82aba72294437d514a03f26cfe0f3aa9dfb","datavalue":{"value":"A new data structure for expressions with many variable bindings is efficient for symbol manipulation involving repeated complex substitution because it avoids making many trivially different copies. It retains variables, permits efficient alpha- and beta-conversion, and is appropriate for program transformation and formal logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114386$8D9FD0D5-F757-4596-9BEB-7E42D30E881C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114386$3E6DCEDE-705B-4941-BDCE-62F279FC322E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114386$EB3B7A23-46D2-4B80-9020-2C2E70C457C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114386$226D4B8F-C390-4126-8FCA-B6B0D1E821C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d145ffd8cd8db4e407ecd91237b62f38884b3b9e","datavalue":{"value":"4082947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114386$3C287677-639B-46CA-828E-3AB75F780F64","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abcbc527190dfd4c6cfcd8f5b97c1612253eece2","datavalue":{"value":"variable capture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114386$9EFF1840-4AD5-4BB7-97A7-33C1B7B1FB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114386$F730208B-B032-4742-9F0D-F86EC6851242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"622ff88052f38c30645e9ec97a65b1116343ccbe","datavalue":{"value":"De Bruijn number","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114386$9378D012-9974-45D2-ACA6-EF25BD79809C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c25bc710e4a99b4ad5c06b7d722ebbdb9259ca1e","datavalue":{"value":"data structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114386$4643C90F-1B23-4471-9E58-C3AC8CCEAF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87b6c8022cc20ca1e12aeb4bd0ab5e46534af1ba","datavalue":{"value":"symbol manipulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114386$4E3DB961-F725-4F8D-93AC-B008A9EE4EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"765ab1d5379755eb3e4e5d30a0f6d93a0512b558","datavalue":{"value":"substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114386$C200A28B-9C0C-48BF-B66E-94543908A471","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":"Q1114386$1C9C3D0B-5516-49E3-8BB9-FAE346BC1FE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f84c3578b3f3ba96043bc7d2a1cb81193175a00","datavalue":{"value":"https://doi.org/10.1016/0020-0190(88)90114-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1114386$AB0286E1-48E8-4606-83A0-D318218858C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba51403d6adfc68ce07cc7fba15503f70e17dc84","datavalue":{"value":"W2042936502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114386$40DBDFE3-FA9E-4AAD-A906-21695D5021CD","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":"Q1114386$33A91CFD-3979-46FE-BD3C-6E212F479A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ee172cf1bbc62eabf7dd1b43feaebcac6a2fa9","datavalue":{"value":{"entity-type":"item","numeric-id":3886868,"id":"Q3886868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114386$9414F661-4243-4A28-86FD-585031F7CB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ae693e56a85a155a49a0ba25e2cdd6b8c67a00","datavalue":{"value":{"entity-type":"item","numeric-id":4692880,"id":"Q4692880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114386$78EF0023-A7F2-45F7-9E27-E2ACEB336702","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e4dddf6ef77c5adc18c43855602600739d13a47","datavalue":{"value":{"entity-type":"item","numeric-id":2843728,"id":"Q2843728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05914d581691a691a0fa132743125dea6b7e2c28","datavalue":{"value":{"amount":"+0.7959398","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114386$C6673DB4-DAA3-4781-82C1-64F33B6BEA54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0101ff1b5f2df93422d76eee2b8fe1838a2b7d69","datavalue":{"value":{"entity-type":"item","numeric-id":703526,"id":"Q703526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05914d581691a691a0fa132743125dea6b7e2c28","datavalue":{"value":{"amount":"+0.7959398","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114386$757DEACB-E7A2-42D1-A5C4-136529D3C18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35903bf791755b3140a6a8f50829fa057b767870","datavalue":{"value":{"entity-type":"item","numeric-id":5248982,"id":"Q5248982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"332bd00595f8cdd02cfbd7771f5239052db68004","datavalue":{"value":{"amount":"+0.76519674","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114386$63D50BFC-7E6D-4310-9EEA-FD29F4AB9BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"895c7660030b68ea08b0ae4f7b5f226b4c5cf914","datavalue":{"value":{"entity-type":"item","numeric-id":5168933,"id":"Q5168933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f60210a944350cb4682052370e8673e4df2e346","datavalue":{"value":{"amount":"+0.76507723","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114386$DE5E3157-DF52-491A-A448-DAA3F79BB0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb23e5f10a2a9a9b3345b7ab134967cf0804ca12","datavalue":{"value":{"entity-type":"item","numeric-id":4501671,"id":"Q4501671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea8001ce2225843e0e011b8cfddb04e90c251757","datavalue":{"value":{"amount":"+0.7599574","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114386$C03087A9-8E97-42F5-8FC4-8DC0AD19A9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d08701eea4b262dd468a26a02dc4377aa80ad6aa","datavalue":{"value":{"entity-type":"item","numeric-id":5055730,"id":"Q5055730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"153f30692e8ab8f31d47dd2f24093bec2fe4e355","datavalue":{"value":{"amount":"+0.757557","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114386$9818CD12-037B-4625-96BA-238B5A29A8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4bc7085a2a44ff89f189270187010ec28d25821","datavalue":{"value":{"entity-type":"item","numeric-id":2841298,"id":"Q2841298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e0539f16592ce9acb2631b10bd07cfc1fcc5979","datavalue":{"value":{"amount":"+0.75528973","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114386$A69684E0-F3D3-4499-8638-A883CF22434B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebc30906902fb4dd151647f999f5eda144d245d7","datavalue":{"value":{"entity-type":"item","numeric-id":3519242,"id":"Q3519242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd52da7b34f1261e5fa5f9362c7bfcb29544016a","datavalue":{"value":{"amount":"+0.7533852","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114386$361ADAD0-B9C3-4382-9983-F02FFCF86B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b31f771f562f21a12b1bac56a595e4fd9a9a075","datavalue":{"value":{"entity-type":"item","numeric-id":5055828,"id":"Q5055828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7c03a60e91de0265eab416765c4e424f5bad94e","datavalue":{"value":{"amount":"+0.7488222","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1114386$0C1074EA-E183-4A1B-A65B-7E314411C054","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1114386","badges":[]}}}}}