{"entities":{"Q4222186":{"pageid":6251787,"ns":120,"title":"Item:Q4222186","lastrevid":89189609,"modified":"2026-06-04T16:35:50Z","type":"item","id":"Q4222186","labels":{"en":{"language":"en","value":"Bridging de Bruijn indices and variable names in explicit substitutions calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1229747"}},"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":"Q4222186$1A19E8BA-5D48-416C-A25D-DFF232CFEAEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c6f416de27b60b85c84ccfbc7375b5e98170ed7","datavalue":{"value":{"text":"Bridging de Bruijn indices and variable names in explicit substitutions calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4222186$49B93C9B-E369-4F65-8A02-09F93F3B440F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b77c825551690e94f7cbfd929155472a9123073a","datavalue":{"value":"0914.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222186$121D7C60-7C59-46DA-8A7A-312951A773A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e789e7d13968ff4d1bb0c8502c94008354a07915","datavalue":{"value":{"entity-type":"item","numeric-id":195251,"id":"Q195251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222186$8EB0F5A7-A098-4B1A-AD2D-69B357E9A9D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdb3ae3415ba415c06f89f01c89d6517b82a8176","datavalue":{"value":{"entity-type":"item","numeric-id":683743,"id":"Q683743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222186$253CED34-C48E-4D5D-BFCF-A33FC7E8B0ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35b3a064d7682b9a13e9899ccb5eebd1ef0414e7","datavalue":{"value":{"time":"+1999-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4222186$3925A44F-10A7-4535-AFBB-ED51506BB8D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f4475a7d51007362baf3f130d6c1c097a331c0e","datavalue":{"value":"https://semanticscholar.org/paper/34f85e0f747a1b5c758a94769c6ce6b61f4358f5","type":"string"},"datatype":"url"},"type":"statement","id":"Q4222186$BEA93AC6-0010-403A-A64C-66F9CC3371FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222186$0DD3C604-6436-4996-ABE4-70E89CECBE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222186$90CA7AB3-97A8-4331-B9CE-8D4084F54E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222186$122BCB5B-066A-44CA-B8FF-38BFD26F64C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea945357a550cc8d46a1218e4a06077da0ebd792","datavalue":{"value":"1229747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222186$82F3F1AE-3A4C-4D5B-9F41-7D95A92C3B42","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222186$84097BC8-994C-4B3B-A71B-CAA477582107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"466c42c02ddf75f7f67e6990514dda7f81e85cd7","datavalue":{"value":"explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222186$C24655F4-2501-41F7-BD58-A74506128AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edcaf4b865d581f486f497f6d16d5aa00bdf7e23","datavalue":{"value":"de Bruijn indices","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222186$8A3B09A6-7986-4FBF-AC0E-681AD56ED7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0ecf2a71b2b1d8e082304aa2e399647d0d121ba","datavalue":{"value":"variable names","type":"string"},"datatype":"string"},"type":"statement","id":"Q4222186$AB035429-8E53-486B-8D63-73B79F04B987","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":"Q4222186$236E8E28-35A1-4E9B-8E23-3F451E7784FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"064d9353ee9ad5b19ccacacc1d9152a6af9a58a8","datavalue":{"value":"W2061015433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222186$CECC740D-95D2-48D0-9042-5A0DCCAEAD71","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea7b36164149a5eaecd8dd5d3ea3d559fb5e8fa8","datavalue":{"value":"10.1093/JIGPAL/6.6.843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4222186$2C7085ED-D795-4C89-92A5-6E0701F600F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4222186$F4646767-F273-4A9E-8823-3AEB31AE0415","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"426ace346f000d5f81f11a6e5392281962c984e3","datavalue":{"value":{"entity-type":"item","numeric-id":4571957,"id":"Q4571957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97397851901a0d4d28fdfa0f804e4c49414574d6","datavalue":{"value":{"amount":"+0.8438233137130737","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":"Q4222186$93E79946-D26C-4208-BC20-988CBC6878E6","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":"7922b644de807d536f97c0287175fd930aebec56","datavalue":{"value":{"amount":"+0.8400965332984924","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":"Q4222186$A9338238-33B2-4494-89AB-37B71FFF1558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df9c4293ca534238a6d886f126bf0cbb3b6027dc","datavalue":{"value":{"entity-type":"item","numeric-id":4644515,"id":"Q4644515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4bb4dff82ce6370159a315c9d3447fbd48fe96c","datavalue":{"value":{"amount":"+0.8069117665290833","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":"Q4222186$9CD62F20-6740-4EA5-B7E1-80514292B654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95edd9a83f73448301f89ab4c48fe4d55261a87a","datavalue":{"value":{"entity-type":"item","numeric-id":4931603,"id":"Q4931603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb1d5048ce72342ebf4582868b3b62f8f544fe77","datavalue":{"value":{"amount":"+0.7997819781303406","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":"Q4222186$7CB6A583-F822-412B-A8F1-89730FDFB82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"015e3992e6473302ba78bf81a2102940cb522b2b","datavalue":{"value":{"entity-type":"item","numeric-id":2392486,"id":"Q2392486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d24d87f3a5c0eeb5dbdaed4447b20ee078a66d60","datavalue":{"value":{"amount":"+0.7975437641143799","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":"Q4222186$A3EF5617-5818-4CC4-BEAF-9FA576E4699A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bridging de Bruijn indices and variable names in explicit substitutions calculi","badges":[]}}}}}