{"entities":{"Q4644515":{"pageid":6674096,"ns":120,"title":"Item:Q4644515","lastrevid":53313422,"modified":"2026-01-24T17:18:32Z","type":"item","id":"Q4644515","labels":{"en":{"language":"en","value":"Explicit substitution calculi with de Bruijn indices and intersection type systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6997910"}},"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":"Q4644515$D43CC3B3-0C09-4B42-AF7D-CB0CD24BC595","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8376a608ac9581fa6b55d1b1206bd51a529fb13a","datavalue":{"value":{"text":"Explicit substitution calculi with de Bruijn indices and intersection type systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4644515$50A54EF6-3164-4255-B92C-C2F8C3354B42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6381aa692d2a436187c00165affddb120f08437d","datavalue":{"value":"1405.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644515$AE8249F3-21C9-4B1F-BE35-8EF46911024C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0039c5621955bbc74d242640f4d66a8ecad290b3","datavalue":{"value":{"entity-type":"item","numeric-id":1643144,"id":"Q1643144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644515$5938C5D3-2E33-4B0D-9F75-96FE9A4B874B","rank":"normal"},{"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":"Q4644515$BBFDB678-9886-4F8B-BE87-189A4E6B0F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb39c66b74dd471ce57c28215b275dfb915aaaa4","datavalue":{"value":{"entity-type":"item","numeric-id":529653,"id":"Q529653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644515$B2C83E72-AA28-4059-B5A6-2CE120984631","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34ad1c5244615701b343bddfc2f0d0c1bd63f8ab","datavalue":{"value":{"time":"+2019-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4644515$0FDF5D3F-A357-48A3-A9BC-0E0CAE2C0941","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9786a44be03cf18eae175e3b9b9454cf108d7cea","datavalue":{"value":"https://semanticscholar.org/paper/d89ecfd88052ae5b2add4d6c26ee73b6a1dff079","type":"string"},"datatype":"url"},"type":"statement","id":"Q4644515$BE01D9BE-C3E8-485D-AAFB-A8B1A6AC12F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644515$04613D04-A5A4-45C1-86D8-42C634913E78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de9da5dd5a8de87ad28fba0b5c0eb07350810f3d","datavalue":{"value":"6997910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644515$27445184-838B-4D09-9420-0E66C2D66689","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644515$065E7EBA-9B4A-4C04-8843-DF97DB5A8D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644515$F207AE70-0FF1-42C6-A86D-409DD07F15C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48eea116bddf8a4aa136f21923c9bdf061e63c53","datavalue":{"value":"explicit substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644515$E3989E5E-8B4F-44FC-8A06-136236C3021B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edcaf4b865d581f486f497f6d16d5aa00bdf7e23","datavalue":{"value":"de Bruijn indices","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644515$14230669-D50A-4E74-92B6-64EF70BBF354","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"76f114af989a456ff66e0c603fec6e5c6bd1a401","datavalue":{"value":"Q58001383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644515$2342EC98-DB66-42A6-A94B-D242EE2F607B","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":"Q4644515$2FAAC638-1AC6-4098-BB22-045C0FC90740","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec5c4ea48d58a4815f0413a1b50013ec33534c00","datavalue":{"value":"W2013435627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644515$42084912-1F93-4155-8039-115362D3693E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78ccd4786e9fb4ce02f49cceab0b36e885f4dfaa","datavalue":{"value":"10.1093/JIGPAL/JZU044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644515$CA4111D4-42B6-408B-B411-884583D8E741","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":"Q4644515$E4511234-1BA1-49AE-BC82-32DD9CEABFE9","rank":"normal"}],"P1643":[{"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":"54b6916257a484b53ecc6df76c54f488bcc0802e","datavalue":{"value":{"amount":"+0.9452489018440248","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":"Q4644515$7E542ADB-DC1C-46C0-8FFA-95012DA692F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e445c5ef8aa908ba92c1cca812aa15147a23e117","datavalue":{"value":{"entity-type":"item","numeric-id":3086726,"id":"Q3086726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2516109fb9679427f63f62633d65a02688ccb483","datavalue":{"value":{"amount":"+0.8916929364204407","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":"Q4644515$856CAAFE-97D4-447B-BD54-96FE7D476FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f160c83ae24d405c81d6382e6a9adacae3758c48","datavalue":{"value":{"entity-type":"item","numeric-id":4222186,"id":"Q4222186"},"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":"Q4644515$D7E5B1D6-361F-4CC1-8BF4-08C07115ACFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97b82fdd68ff5e1081cdbdc1ff2b8e0cc9e827e4","datavalue":{"value":{"entity-type":"item","numeric-id":4405688,"id":"Q4405688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6b464647900250d804580e7af51928c16c9ba01","datavalue":{"value":{"amount":"+0.7767626047134399","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":"Q4644515$3F63EA5A-CA25-4203-AF65-1C7486909F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af4c4c3ab305f205539d668894a76d0bf674315c","datavalue":{"value":{"entity-type":"item","numeric-id":5432345,"id":"Q5432345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6b464647900250d804580e7af51928c16c9ba01","datavalue":{"value":{"amount":"+0.7767626047134399","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":"Q4644515$8240CCC8-EB39-4506-AE8A-F180E6E1EFA5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4644515","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4644515"}}}}}