{"entities":{"Q4405688":{"pageid":6435287,"ns":120,"title":"Item:Q4405688","lastrevid":97243547,"modified":"2026-06-05T13:41:30Z","type":"item","id":"Q4405688","labels":{"en":{"language":"en","value":"Reductions, intersection types, and explicit substitutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1933107"}},"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":"Q4405688$22D16748-6A88-4B09-A4BC-AA8F83B4CED9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"390a13844cc56f126d9a7aed36b751d99b9e376c","datavalue":{"value":{"text":"Reductions, intersection types, and explicit substitutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4405688$B3467246-AA3C-4152-9DE3-19C79D63ADB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"299289ff5b5cbcd5176fd32d6aca8323c6697a0f","datavalue":{"value":"1029.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4405688$9BE9D4A4-4A61-4E45-A534-C467BC41D8F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec6db514a557bc04c07a68ef9867f6ec1a9d17ca","datavalue":{"value":"10.1017/S0960129502003821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4405688$73036A5A-7295-4044-AC26-0270EA429DD5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"46d09af17dc9fa3aa47de0d2a3950670710f7254","datavalue":{"value":{"entity-type":"item","numeric-id":1887144,"id":"Q1887144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4405688$BA0CEAE6-E108-4ED5-8FF2-048F7FADE184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5fd864542907a2da8db322de1436438bd84c826","datavalue":{"value":{"entity-type":"item","numeric-id":579929,"id":"Q579929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4405688$91FD3C6A-4518-4A7D-8A5E-4E0E151F0756","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4405688$8D150431-4F97-4995-B3D7-8C64815B1F01","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c8479a2f47f981ef0e0f4ad28679adf61eafb595","datavalue":{"value":{"time":"+2003-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4405688$F83EDABC-E17F-456E-9F85-229F27B88830","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4405688$582761CC-F856-434B-BF72-F0F8CE8A9D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4405688$146DF547-73ED-42C0-815F-60BB66F41579","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0fc8dc93b9aaf2d00cdc240779eaa56aabf6db0e","datavalue":{"value":"1933107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4405688$228F7F00-D38F-4B15-B8EE-E09F517DB100","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4405688$586D4260-039C-4FB5-8F40-163A00B0517E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"466c42c02ddf75f7f67e6990514dda7f81e85cd7","datavalue":{"value":"explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4405688$40C5D827-F4FB-4B4C-BEC5-5A4C06B27833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a4c07935a385e2ff679b7b381dad17af9f0ec4d","datavalue":{"value":"typability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4405688$42D66471-A293-438A-BD44-5EB39A4711C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d8bb84bd86abec9f57c8cf048201e810211b8ba","datavalue":{"value":"strong normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4405688$E3F57A27-F9D2-417E-AB1B-4FD868B3DC12","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4405688$8C973771-DB23-4C9E-AC02-94653CB0A57B","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":"Q4405688$F63B6654-A39C-4A54-AFA7-9E37C7644B12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a763e3754f9d4e202b4c98cf0c23e64cd8ef407","datavalue":{"value":"https://doi.org/10.1017/s0960129502003821","type":"string"},"datatype":"url"},"type":"statement","id":"Q4405688$573A8AB5-C44B-4CB9-96B3-D7A1BEA7BC85","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a8be76ea798913120d844f67603d64ecb37988d","datavalue":{"value":"W1982055197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4405688$2E130688-2B9B-4BFC-BD54-62153ADEE5C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c600efe4f58f1e6a12d345b86d99f8295fffced5","datavalue":{"value":{"entity-type":"item","numeric-id":1887145,"id":"Q1887145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"229c3b57bbd23d747fe5e6293e030061859ebbda","datavalue":{"value":{"amount":"+0.8588623404502869","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":"Q4405688$859F4AC4-F261-4A35-BF39-AD1AF3409ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05b1e6ec56c83b1cfd582d9359886bc98c25a45f","datavalue":{"value":{"entity-type":"item","numeric-id":4263879,"id":"Q4263879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90f7a8143d9df62a5fea3f07e84d796ff8c64385","datavalue":{"value":{"amount":"+0.8352968692779541","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":"Q4405688$A88FA59C-2A17-4063-8A03-14CA9EDE8250","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":"e08de31583e16cdd08d0a8ab23559ca971092e84","datavalue":{"value":{"amount":"+0.8339892625808716","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":"Q4405688$4E2799F9-E5A0-4DBB-B8F3-B51026F36AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d55cfa6f8279009629969d6b119d073bd5113682","datavalue":{"value":{"entity-type":"item","numeric-id":3044339,"id":"Q3044339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ef26c3aa3dc002d1d2a4ef10796ba60e8ef5162","datavalue":{"value":{"amount":"+0.8329215049743652","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":"Q4405688$49175E5D-7E8A-452C-B719-A5A74FBFCC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d5ba892fb50d0b2422e83b3c16041977fa38eb1","datavalue":{"value":{"entity-type":"item","numeric-id":2778819,"id":"Q2778819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88f8269d27c7e2cac5bc272766686f6e3e6f071d","datavalue":{"value":{"amount":"+0.8192329406738281","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":"Q4405688$E3604933-9AA2-447F-8E4C-691AD1E71949","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reductions, intersection types, and explicit substitutions","badges":[]}}}}}