{"entities":{"Q685380":{"pageid":687229,"ns":120,"title":"Item:Q685380","lastrevid":42641129,"modified":"2025-07-07T14:51:56Z","type":"item","id":"Q685380","labels":{"en":{"language":"en","value":"A theory of binding structures and applications to rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417331"}},"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":"Q685380$0A59CBD1-B8C6-4C4E-A68E-317C0E40874B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07d5df3ad567b328a09915661bdf9123b14b01eb","datavalue":{"value":{"text":"A theory of binding structures and applications to rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685380$19C736E5-D185-4716-A92D-853F5E01F2C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3b511d16d9d01999c6d0109494557e42ef042d9","datavalue":{"value":"0783.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685380$2B8D5F0B-B8D1-421C-A16D-553B12DA0F57","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f28678c533a22341025126fe930530c38e1eca6","datavalue":{"value":"10.1016/0304-3975(93)90240-T","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685380$79263C6E-B6E2-4539-8CF2-FF9F650123A5","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":"Q685380$080F5FB5-6907-4C8A-9F20-D3D68688BA1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea9458ce3029a7f683c04e43e886fdc910ea299c","datavalue":{"value":{"time":"+1993-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685380$3A8F1507-F9F6-49CF-88E7-6BA3C2131E52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"02303c61036060136df3f7b7e22c52163746633f","datavalue":{"value":"68Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685380$4C414A41-1B42-45D7-8192-06BBCE9E7EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685380$79B196B6-014D-4DE0-9723-E71C4132F016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685380$FBCD14EB-B10B-4EDD-92E6-D5FCE5582A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685380$48E9442C-025E-45B4-AD4F-A8BE120C16D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e38cc8d4f3190a7e4ed374f44678c2060e0a7fc","datavalue":{"value":"417331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685380$CE37066C-011A-4546-B57A-DAC1A50D5F00","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba799d6bd33bc37533132af67be679d51354ef29","datavalue":{"value":"algebra of binding structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q685380$36EC56AE-B90C-4D20-BEDD-1B4CAFCA7795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93bed1b7da01bbc0b4b47836edc302b6c55c8827","datavalue":{"value":"structural recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q685380$41038A1B-7B92-476E-BA98-DB6C589019A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db142dd107fdc467fbdf3710d60d5927512fee12","datavalue":{"value":"homomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q685380$12573AA0-9360-4F0F-8C82-59B526459890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q685380$954FDD97-E6D1-48D3-9644-7382113A1A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q685380$134736D1-6BC9-47C2-B951-DB41A8CDE92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73a434b7022cf0a539f43699e9f50722c4a3382a","datavalue":{"value":"first-order reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q685380$B8DDCEDF-9F45-4BDE-9846-3A59DAB2D55C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd06b85e820d9a6a030d7377f177d55fded7c36b","datavalue":{"value":{"entity-type":"item","numeric-id":862852,"id":"Q862852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685380$E06B92F2-43CE-40DA-B365-3CF4E9CB4BF2","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":"Q685380$5059FAB1-91F9-4CB7-8D60-710488F8CB5A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685380$6901C2F0-0E77-410E-99A2-421AEEED3D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"993a0290c8b5d5862b3c4459907f50d914c2e0e5","datavalue":{"value":{"entity-type":"item","numeric-id":3763565,"id":"Q3763565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685380$A3B6C514-FC8E-424D-BE6F-3D14A191F0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685380$EE3A797E-2189-44FC-9C83-D9E1859552EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a97dd3cd2202244aaf37bb2be4f354811b821aa","datavalue":{"value":{"entity-type":"item","numeric-id":3971290,"id":"Q3971290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685380$198B4829-C806-4DA0-A5CC-A6C3E99BA0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d9ae9d25c165776926d92ae2f293b4bf9587937","datavalue":{"value":{"entity-type":"item","numeric-id":5727668,"id":"Q5727668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685380$3D97E2D2-A24D-4F1A-A660-63CE13A97077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9d0de0ba52048b2594da38e4815945e3a42363a","datavalue":{"value":{"entity-type":"item","numeric-id":1251063,"id":"Q1251063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685380$B9129287-8C09-4A6F-9EFF-95EE20C84E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685380$7AC31C28-A7C8-46C3-B5AD-A73734D67143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2cfd9276b29fad8afcdadbaa91529b52a92d469","datavalue":{"value":{"entity-type":"item","numeric-id":4939702,"id":"Q4939702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685380$A7A18C5E-3D37-451F-B784-6D7F719C1A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b6abbfa92a0a5ae68ef1d6c67743852e1ce1230","datavalue":{"value":{"entity-type":"item","numeric-id":1196301,"id":"Q1196301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685380$9002197C-079E-443E-BB43-0E66D5EA7640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d8b44f05217c526aa12a6be320ec9c8d40564a","datavalue":{"value":{"entity-type":"item","numeric-id":5053011,"id":"Q5053011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685380$38F71EB2-F5E0-438C-9FB9-F32BB26D404F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685380$9235C043-E9FD-4447-93DA-C7181E1AF69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fbce2aa44fc39e3e07479af01bbb0464c1c5471","datavalue":{"value":{"entity-type":"item","numeric-id":1183579,"id":"Q1183579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685380$1F76BD11-DAA7-4F6E-8092-D14C7EF6EABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d71309703cafdc6a2bee46947af1f6675dc007ad","datavalue":{"value":{"entity-type":"item","numeric-id":4016565,"id":"Q4016565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685380$8D131509-4BE3-471C-9DEF-4A2FDBAA665D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d75a5d14266c6b3d49b352c7e371fbfd27ddffd","datavalue":{"value":"https://doi.org/10.1016/0304-3975(93)90240-t","type":"string"},"datatype":"url"},"type":"statement","id":"Q685380$E8307331-FD83-4139-8A9A-A01093DC0B95","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b61a314567f107d0734d3c6f4d030c2ae98680b","datavalue":{"value":"W1995328923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685380$B73C6AC2-2A8C-4C4A-8F5E-FC8786717697","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49e2f6230755d3282c27a8cd58e6b7ece875ae7c","datavalue":{"value":{"entity-type":"item","numeric-id":6052944,"id":"Q6052944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1753c52cf9660f725cac75d46c85a1087f48a687","datavalue":{"value":{"amount":"+0.8960458","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":"Q685380$136FE56F-07FF-42A7-9A95-0744037DCE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8b2346a304143cf4b5a1ee5758312d6d92d47b1","datavalue":{"value":{"entity-type":"item","numeric-id":5466538,"id":"Q5466538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4953910d435f12855f3755941abdb9fa78a9174d","datavalue":{"value":{"amount":"+0.8949614","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":"Q685380$EC6503DC-F5F4-4CCE-9547-C9CF122B8E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58a9b32e08595283c5aadd7452a10388c7740df0","datavalue":{"value":{"entity-type":"item","numeric-id":1687739,"id":"Q1687739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c85e94d3b6eabf83d9c80ac59d63c97fdaf5476b","datavalue":{"value":{"amount":"+0.8879615","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":"Q685380$75C2D8B4-51B2-4469-AFC3-55158A776FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51dc0f1efb8b7d6bd9bfe9a4f575b2baaa7d9e0c","datavalue":{"value":{"entity-type":"item","numeric-id":2642463,"id":"Q2642463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d5f67abf3b8cfb05ee18a2351a93a45f378c882","datavalue":{"value":{"amount":"+0.88706475","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":"Q685380$BDFDC8CB-8D17-4229-91D0-1AC36F54B0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e2719c7bb018ecf19d3f958c50b811304aad877","datavalue":{"value":{"entity-type":"item","numeric-id":2964468,"id":"Q2964468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b46f36549353fe7750ef0f62673d6ed1d065804","datavalue":{"value":{"amount":"+0.8863838","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":"Q685380$D29986AB-D8D3-47D7-A557-8680A8B80091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d969b0fc68ad7e31167a84fb187788fbe217dcc3","datavalue":{"value":{"entity-type":"item","numeric-id":1984791,"id":"Q1984791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65b6f7e67df20b0afe8292ddb3d56cc813749eb0","datavalue":{"value":{"amount":"+0.8831208","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":"Q685380$4001D9DD-94DA-4346-808F-122816F00163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33d6c434dc91928709ee06647917b65689cf5c32","datavalue":{"value":{"entity-type":"item","numeric-id":4938613,"id":"Q4938613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd46960102d66a031e94fae31e8cafdc5f2ead4f","datavalue":{"value":{"amount":"+0.87589395","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":"Q685380$FB54E4F8-C407-4753-9DBF-E94D1145E792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"052e734d1bd1c1a7742540c43743f28a088003c0","datavalue":{"value":{"entity-type":"item","numeric-id":4923531,"id":"Q4923531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f60767c49d313e5bcf55e6bb47e034f5208dbc8","datavalue":{"value":{"amount":"+0.8756354","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":"Q685380$B576015D-A187-4E01-9B75-F437FEDBCAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0beca14a5742b40438401972bbc9993097605816","datavalue":{"value":{"entity-type":"item","numeric-id":4376886,"id":"Q4376886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9408ff65706b77fbcc0b4879adb08f5fb1ef7781","datavalue":{"value":{"amount":"+0.87537426","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":"Q685380$B97FF2DC-D7A5-40A8-ABA8-65063711ED4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07176488cebb1cfdca74160c706c687eec9e83c0","datavalue":{"value":{"entity-type":"item","numeric-id":5389142,"id":"Q5389142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9ee53ce514866bd189d12126ba8c7c5dba93c4c","datavalue":{"value":{"amount":"+0.8719188","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":"Q685380$C7F67AD9-64D8-452F-9954-E9949A58C82B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:685380","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:685380"}}}}}