{"entities":{"Q5176985":{"pageid":7206557,"ns":120,"title":"Item:Q5176985","lastrevid":94485677,"modified":"2026-06-05T06:56:27Z","type":"item","id":"Q5176985","labels":{"en":{"language":"en","value":"Recursion principles for syntax with bindings and substitution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6411557"}},"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":"Q5176985$4B4F62A0-F2CB-4FC4-917D-A2287FEAFE38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"712d382af2c401794d4f22cf14fc6cc29517690c","datavalue":{"value":{"text":"Recursion principles for syntax with bindings and substitution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5176985$7F7E2B13-9AC1-400E-A115-F3441CD0B999","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81f318b886df5ebf44a12b41613f66ca8f660706","datavalue":{"value":"1323.68225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176985$D321721F-2C48-409F-9AE8-DD6254FD2F9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2dc97711d4d15a879a120c2f02041ffffdeef5c6","datavalue":{"value":"10.1145/2034773.2034819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176985$0626B167-BF37-43EF-BD3A-7B6574A4916E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ef4ea61388b67726824db4b9b444c6863305920","datavalue":{"value":{"entity-type":"item","numeric-id":817686,"id":"Q817686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176985$86B7E82E-481E-4EF1-99A4-7450F373052B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6a435034e922571557f9f6ce98bc841f26d1cb0","datavalue":{"value":{"entity-type":"item","numeric-id":930877,"id":"Q930877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176985$F0DAE463-D389-46FA-AD2F-4502CA8362DF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"53c2b631e99940a75af01dcb78353131f1ce5e5f","datavalue":{"value":{"entity-type":"item","numeric-id":5176956,"id":"Q5176956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176985$9D26FB65-F459-4C08-942F-795021184D8F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4f9d2095479a9188a341ba64fac456535929036","datavalue":{"value":{"time":"+2015-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5176985$911AF783-0A5F-4CF1-B3B0-AC4CFF8EA685","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176985$505360F5-014D-4D14-B8CB-C8C4217B515C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176985$B02B5BD6-59C7-4791-AF8B-2741EE3D8E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176985$54237E66-9C23-4CC8-A84C-B1FC13973DA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c1783b36d10e502e589f003bd86138b119386c0","datavalue":{"value":"6411557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176985$E429F0BF-23B8-497B-B6BF-66C5DE092720","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176985$A4C34C98-9454-434E-AEAE-9AA2625A36CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176985$79732704-6DDC-4862-8354-C059E6FAAAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"765ab1d5379755eb3e4e5d30a0f6d93a0512b558","datavalue":{"value":"substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176985$60AF456B-832B-4550-AF1E-BEC16901A57C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"794412a5c7889f9c0c1978d1215a3994f9fc801d","datavalue":{"value":"syntax with bindings","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176985$F4A07497-6F2B-4E78-AA50-F64F857A1E7D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176985$7F64ECB7-1CF6-4E7B-B510-DBBB3861575B","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":"Q5176985$E79813ED-4F08-451E-8A23-E887FC45F1DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7631c1a242a64e67a1c60b9986f3a62b0d374b9","datavalue":{"value":"https://doi.org/10.1145/2034773.2034819","type":"string"},"datatype":"url"},"type":"statement","id":"Q5176985$57FAD941-ED37-44DF-B201-670482B8BE30","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"188988e17f90558cf098b226c93cc96bcbe821dd","datavalue":{"value":"W2999700365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176985$7724B5F9-9DC2-40F8-BA22-38AD87D9C13F","rank":"normal"}],"P1643":[{"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":"4ea70a28489318c61b156aaf7750c0a5ec0c77c4","datavalue":{"value":{"amount":"+0.788873553276062","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":"Q5176985$7FEB38DE-114A-4E88-BC11-71CD589B4586","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":"f1c772d3c13f7f13d57136466fb4c76cf0337b8a","datavalue":{"value":{"amount":"+0.7758740186691284","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":"Q5176985$417DD3FB-0D14-4382-8B7C-2E7B7B3106AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d93a6a914435dbf3beb28b95c66807f31111fd9","datavalue":{"value":{"entity-type":"item","numeric-id":853744,"id":"Q853744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3ef5da7837a1ae544a541a9911608394034ffa0","datavalue":{"value":{"amount":"+0.7475523352622986","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":"Q5176985$D5BCA62E-9237-4D8D-BDBD-8553426F8B1B","rank":"normal"},{"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":"16286591d8e3c5e636d8adc2d0c558f9fb85ba72","datavalue":{"value":{"amount":"+0.7319766879081726","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":"Q5176985$5D70FF24-2356-4C4E-87D8-9B28308009C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417e77ae670ea9156ead5b5357503ed956a1d20d","datavalue":{"value":{"entity-type":"item","numeric-id":4490374,"id":"Q4490374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94fbb76db413b025604036d975bdd6fdca73827b","datavalue":{"value":{"amount":"+0.7294179201126099","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":"Q5176985$E073B8E9-747F-42CB-B131-2B029CB4A15C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Recursion principles for syntax with bindings and substitution","badges":[]}}}}}