{"entities":{"Q763480":{"pageid":765329,"ns":120,"title":"Item:Q763480","lastrevid":42679553,"modified":"2025-07-08T10:13:11Z","type":"item","id":"Q763480","labels":{"en":{"language":"en","value":"A correspondence between type checking via reduction and type checking via evaluation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6013678"}},"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":"Q763480$8376F421-17EE-4A9D-BD76-1AF92F834E28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc7ec5e7cc975ecd88e70c2548ea3340147ac1aa","datavalue":{"value":{"text":"A correspondence between type checking via reduction and type checking via evaluation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q763480$81530A8B-BB52-4F8F-9802-22B0930250AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dbbccf40458d22b39d32254f8c553d40e1a7a966","datavalue":{"value":"1233.68157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763480$509FF107-CCD6-4E69-B447-BB24D26FC08C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93e7aa46ac3d887e424dd5cc7f00c3746db134d5","datavalue":{"value":{"entity-type":"item","numeric-id":763479,"id":"Q763479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763480$0E27669B-30B1-440E-83AA-EA4DCA7487AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9cc5cabec05078a7abde982478f0085b75b93b8","datavalue":{"value":{"entity-type":"item","numeric-id":436386,"id":"Q436386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763480$9471A36E-1D00-4080-A1E2-8651318327B1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763480$E709082C-74A1-46B8-843C-2BE473F4128F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"644c8340ebdd907b25449e0ddfe634a742ba671b","datavalue":{"value":{"time":"+2012-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q763480$756B3A92-3211-41C3-8191-03243E86B988","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b668e581501a5674c31304c2d1e71e908cc1c365","datavalue":{"value":"https://lirias.kuleuven.be/handle/123456789/320219","type":"string"},"datatype":"url"},"type":"statement","id":"Q763480$1DB028FF-DFF2-4100-A3F8-E050EE6EC564","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763480$6FE472EE-11AB-4958-9F6A-1256A5A5B239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763480$09413F70-2B04-459D-89BD-F549D9FB445B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763480$12E31DA5-7B31-40F1-9816-3036BD47FC31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cdd45f0db01d1d96bf29d0bf4efee1da841f2e3","datavalue":{"value":"6013678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763480$0C609EBA-9DFE-4641-9CF0-32F1B6C628F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q763480$1AEB8D9B-1CA1-4024-8B06-C434C5652C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q763480$097FF2BF-1015-42EB-A1A5-06A05687969E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb675d1324aaecf28ef105f28f86619813a27909","datavalue":{"value":"compositional evaluators","type":"string"},"datatype":"string"},"type":"statement","id":"Q763480$42EF229E-C79D-4036-B740-75791A8368DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb357c28aff363691020c4391fffbe7c722ffa1d","datavalue":{"value":"type checkers","type":"string"},"datatype":"string"},"type":"statement","id":"Q763480$35EF5396-8C9E-44A9-B1E1-932D6696D35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab87aa835f8252208f84aeeed9d52ac88067f31d","datavalue":{"value":"continuation-passing style","type":"string"},"datatype":"string"},"type":"statement","id":"Q763480$617A9831-9E8A-4880-861E-A57AD3D5A7A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f74261be4e8c8ef6eee96e7062b95918b27cb1d7","datavalue":{"value":"defunctionalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q763480$4C9AAE8E-AC73-40C1-9222-6AEB33535853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afe48754407a8ee0cde59d7c3dd662f362753ff8","datavalue":{"value":"refunctionalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q763480$84158141-341C-4B8B-8076-4F6E64D3E7C6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"854b234eb9a95f8c5e737feeb323e817bee5cabc","datavalue":{"value":{"entity-type":"item","numeric-id":19233,"id":"Q19233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763480$B2F52F4A-CFA8-4533-A5C4-B9CC7BDB6342","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":"Q763480$01AD4D4F-656B-4E32-B844-B6B697AD9B71","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbcb4aef7cd6290c6e154e37bf23658587d348d6","datavalue":{"value":"W2061740608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763480$846CA44B-4AFD-4D24-9326-81F0F41E7DBF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3d6fff22d80d103a67815db01fea22a1e6d57bf","datavalue":{"value":{"entity-type":"item","numeric-id":2566031,"id":"Q2566031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763480$D47CAC9D-8234-4439-A036-D8EDE7375017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4234c7e72103e41cbcb427b4b64f43853600e234","datavalue":{"value":{"entity-type":"item","numeric-id":5277795,"id":"Q5277795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763480$27317D6B-7C5B-4A74-B568-25C3D5D04602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63c8e2fbc7e72cac91af3f88f7b51d965f3fc63e","datavalue":{"value":{"entity-type":"item","numeric-id":3649133,"id":"Q3649133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763480$AE4C13FA-ED7B-4AC2-B2E2-89D07F61BFFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac73fee7e32f804d1c419d118594248d046d93fe","datavalue":{"value":{"entity-type":"item","numeric-id":3623008,"id":"Q3623008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763480$BDC9E3BE-3AB8-4818-B1D1-BBDE1CB65FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ebef1a8cead56989ed544ee3c516c448d6373c","datavalue":{"value":{"entity-type":"item","numeric-id":963342,"id":"Q963342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763480$59EF32D2-C2A0-4D7A-A14C-B7E0B672EF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a68d09cf1650942cfe5d18404ff5aaef0982c0a7","datavalue":{"value":{"entity-type":"item","numeric-id":923881,"id":"Q923881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763480$0D000F49-1DCE-4C0E-B430-86097E6FB0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ec914e13778f9f7efd28b1b1c29a040fb309cfd","datavalue":{"value":{"entity-type":"item","numeric-id":3655271,"id":"Q3655271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763480$354A65DD-7881-4F1B-83E2-9B955EE843C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ed2a8b063dc9c503e3d261d834163c7aaf22bc","datavalue":{"value":{"entity-type":"item","numeric-id":5756511,"id":"Q5756511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763480$3EAF580C-53B6-4666-8A7B-2F1CA8349233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763480$692E64B6-6541-40D7-AEB5-DDCAE0FF6A8F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8414f0314c46c309cd293e5bd5cae788310dabf8","datavalue":{"value":"10.1016/J.IPL.2011.10.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763480$7C8D6534-1986-44F1-9B40-E90D24F4E7C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f6c57751c5c5873ec1f337d267a35633e233939","datavalue":{"value":{"entity-type":"item","numeric-id":1087865,"id":"Q1087865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"844a9ce3b5c742d179884c81e926f524ad18f012","datavalue":{"value":{"amount":"+0.89273846","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":"Q763480$D761FAB5-7290-4693-8ED7-C3CC301F5522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ca4074521f3827a20d8788fc24c14cddcddf22d","datavalue":{"value":{"entity-type":"item","numeric-id":3216641,"id":"Q3216641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20f5c4379ba54edc7689fbd6d83e0d88fb95bc43","datavalue":{"value":{"amount":"+0.8897994","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":"Q763480$D8657F1F-9089-44BA-8F52-0E97CEF32972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05151f8a50288256d476f6eeeef08cb5d1080c0a","datavalue":{"value":{"entity-type":"item","numeric-id":5935790,"id":"Q5935790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee79f6d42c9f83e7d6fd76acf994e886043f429d","datavalue":{"value":{"amount":"+0.88511896","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":"Q763480$4E214BF7-BC59-45C6-B043-31486DBBBA2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0da6873d290eb87a3111f9aae504e1a935cb6b7e","datavalue":{"value":{"entity-type":"item","numeric-id":5704015,"id":"Q5704015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b801c9f10500faf4195440b46502d51015002a7","datavalue":{"value":{"amount":"+0.88154805","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":"Q763480$2D7F92C7-A747-4364-8451-854002B9135B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3544f126f3acb0ddff92d948e9a57d81389ad6a2","datavalue":{"value":{"entity-type":"item","numeric-id":1104311,"id":"Q1104311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c12b7f254c7a9babb38ae187190065930a40885","datavalue":{"value":{"amount":"+0.8798455","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":"Q763480$AF7E6898-B081-4A17-B8D4-0482729B3D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a16a5f952fe65580ad3102001ed35bf577f03a9a","datavalue":{"value":{"entity-type":"item","numeric-id":5028472,"id":"Q5028472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13c73317a83b1fa5ce8ce69a0e83d15e52a7a251","datavalue":{"value":{"amount":"+0.87788075","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":"Q763480$1C9F6CDF-2A52-48A3-9B5C-5C7BFD1A021C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"539040da095e23804f5baac2d5572d0eb8dd1690","datavalue":{"value":{"entity-type":"item","numeric-id":4490749,"id":"Q4490749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6d59417aecf478455c49f8d1eab7e9f5d2a304d","datavalue":{"value":{"amount":"+0.8776757","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":"Q763480$B45A0262-89B5-4A83-89ED-6CBE0764F255","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":"07ed26b479f9f606d37da32e81979cb42ca4fa49","datavalue":{"value":{"amount":"+0.8775213","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":"Q763480$817FB0CC-D964-4FFD-81B8-44BB2146A9CA","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":"07ed26b479f9f606d37da32e81979cb42ca4fa49","datavalue":{"value":{"amount":"+0.8775213","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":"Q763480$C517003B-A27B-43A2-9B3E-371BEB8BE475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e107f4d053dfdc137bb4895809243c4210b6f226","datavalue":{"value":{"entity-type":"item","numeric-id":5096209,"id":"Q5096209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e28f5174dc61fa0c052ab9d3b9837d6b1fc9026","datavalue":{"value":{"amount":"+0.874351","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":"Q763480$D2312829-EFB3-40C3-BEDC-B7E8C0D324A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:763480","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:763480"}}}}}