{"entities":{"Q699761":{"pageid":701610,"ns":120,"title":"Item:Q699761","lastrevid":63722232,"modified":"2026-04-11T15:06:26Z","type":"item","id":"Q699761","labels":{"en":{"language":"en","value":"A new approach to abstract syntax with variable binding"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1807910"}},"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":"Q699761$B0806937-10A6-4D1D-8307-74DE5B1BCBE2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2055d0bfce4b57ff5e6394b6f98e7c3d9485505a","datavalue":{"value":{"text":"A new approach to abstract syntax with variable binding","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q699761$6C724374-C680-4C4B-9C30-86B9A2569A3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6930be4a14f2ff9fa03d03afb88880b5c00c60ce","datavalue":{"value":"1001.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q699761$491B6A9F-DBBE-4F55-8218-E604D519E287","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fde72a2d81cbfd58c1a2329aed776df473214803","datavalue":{"value":{"entity-type":"item","numeric-id":530842,"id":"Q530842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q699761$1D471C40-2335-4BB1-9F7E-DFFCD908B00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db57da05f7a2528db77ce79579650b12005cc558","datavalue":{"value":{"entity-type":"item","numeric-id":1744403,"id":"Q1744403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q699761$C327E70C-97A6-41B5-9895-D7E8F7FA9D2D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q699761$11D72F59-67D1-4D79-9085-50C439C43DBA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"14287ddcf28c60986480e7482825dc983de257d4","datavalue":{"value":{"time":"+2002-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q699761$4ADD4955-700B-41DC-B1AE-4F733620A334","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q699761$278AC3D5-5FB8-4503-970D-FAE6047E85A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q699761$715FD40C-BDD0-4D7E-B0EC-657F9A48BFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q699761$1E80848F-AABE-4D42-80A2-147674AAB88A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"408f5548a61aaf21932e644a795397015302772e","datavalue":{"value":"1807910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q699761$807E9D26-E855-49E2-B2C1-E26DB24CF476","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543bf8400f98f9e945a1fb4a6d773856ebd6d9fc","datavalue":{"value":"abstract syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q699761$5387A659-32C3-4CB9-8026-8E048E179770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea1f6a9eaa9f1cc3c6f301116167e32d2a85a046","datavalue":{"value":"alpha-conversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q699761$C665ABCD-211F-484F-913E-829519EF73E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3479a111cb8a8eec1108b31cde4a3176ea1a903","datavalue":{"value":"permutation actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q699761$55A4F01F-3AC3-4C77-AC1D-F39E97AC207B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q699761$3F830FC1-3EF9-4167-96C2-1C80BEB7BFFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f55bf1df682210d59e19393fa36519cec337e7","datavalue":{"value":"structural induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q699761$11C9AC02-126B-42E2-8A1E-7756A2BBCA84","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q699761$C489225A-633E-453B-8AEA-558CE9BBF86F","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":"Q699761$4A849E79-AEC4-4FCF-8EA4-80852BFEDB3C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18515686665922475c52d0a9217b873d2fde6f30","datavalue":{"value":"https://doi.org/10.1007/s001650200016","type":"string"},"datatype":"url"},"type":"statement","id":"Q699761$8457A8BE-E60E-4D59-8883-1231AC629565","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1bacde2dff839c0811080c183207dced399ece72","datavalue":{"value":"W1975082667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q699761$0658F588-F6FD-4710-8B84-191A94E6E3FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e073bac6cff57bd6f9abc8a8937d2e302fc88d4","datavalue":{"value":"10.1007/S001650200016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q699761$308CC737-ADCF-4C25-A0D3-363C1C72D0CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"972e1849735b3ee97a440d4c3331f466397a3c38","datavalue":{"value":{"entity-type":"item","numeric-id":2767057,"id":"Q2767057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51b80abcdd9c18377f3e015e03aa59c0950e3651","datavalue":{"value":{"amount":"+0.9373253","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":"Q699761$03BBBBE8-1CCC-4E03-8D22-B95491BB3D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd4067ed38eb653844d1888dc813622655c47cbb","datavalue":{"value":{"entity-type":"item","numeric-id":4536403,"id":"Q4536403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de489e3d43d3038f6e1e30472a30ac5bd854d63e","datavalue":{"value":{"amount":"+0.9210497","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":"Q699761$34F6AD77-DDA0-4F05-8931-6B9485D553C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ecf13fac142d7bf2fd72ca465ea3567dc28ce6c","datavalue":{"value":{"entity-type":"item","numeric-id":1896759,"id":"Q1896759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c4eaa503f3b2a3230a77981c1e727f90e9398d5","datavalue":{"value":{"amount":"+0.91275394","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":"Q699761$E55D2A47-4110-4250-97D6-3532DB75E15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8fc2bb81b4c44833103da4bd2b9823ae4a89631","datavalue":{"value":{"entity-type":"item","numeric-id":5166643,"id":"Q5166643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7d14a69884e238ccd649602cccdaecc3b509b15","datavalue":{"value":{"amount":"+0.88080704","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":"Q699761$7DF6950C-30CE-4305-BFAB-46D4259B9352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad7fb22bdd2f1a174bfccda96a838a9727bfd8a4","datavalue":{"value":{"entity-type":"item","numeric-id":3165528,"id":"Q3165528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"522d4c305c6baf82f1727e5331e7b671214bf3ba","datavalue":{"value":{"amount":"+0.87285376","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":"Q699761$A2584A67-3043-45A6-94E4-1EFCB60C3CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55d1c587ccde11ec9dc0017e5b4781201071be95","datavalue":{"value":{"entity-type":"item","numeric-id":5262926,"id":"Q5262926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbc4e2217696d5f114b2d70d00195c934952e66b","datavalue":{"value":{"amount":"+0.86865467","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":"Q699761$ABACA142-56DB-4F70-81BE-0EB1C848825C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4af30baf1f071f74b13783131febbb549f2ba314","datavalue":{"value":{"entity-type":"item","numeric-id":1273877,"id":"Q1273877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1148a6e6d3ae3d4b24cf5e64dfadd80faaae00a6","datavalue":{"value":{"amount":"+0.8584826","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":"Q699761$47E70A2E-1E2F-4E05-A972-FEF59386CC43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"973fd08337cb4463b6909df5db2b0913fc9a4d8e","datavalue":{"value":{"entity-type":"item","numeric-id":5019018,"id":"Q5019018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60e15c0b87082c77c5dbc3754696dd9e8a754b76","datavalue":{"value":{"amount":"+0.85577714","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":"Q699761$C86DDF73-1631-486D-8A46-A5446E4F1864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c280e2b96ae269555ffd062d5c4f3b9b858d374","datavalue":{"value":{"entity-type":"item","numeric-id":1127514,"id":"Q1127514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4672496736204bc3bec52ea82d7bcfb297465df","datavalue":{"value":{"amount":"+0.85163414","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":"Q699761$B0192453-56E0-47B5-A5A9-025BEDAB26E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new approach to abstract syntax with variable binding","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_new_approach_to_abstract_syntax_with_variable_binding"}}}}}