{"entities":{"Q4982059":{"pageid":7011637,"ns":120,"title":"Item:Q4982059","lastrevid":41565955,"modified":"2025-05-05T22:30:47Z","type":"item","id":"Q4982059","labels":{"en":{"language":"en","value":"Denotational Semantics of Call-by-name Normalization in Lambda-mu Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6418432"}},"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":"Q4982059$D94EDF16-431C-46ED-8BE8-FCE3861EC9FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4908b0c624770d9b44af8a8bb9cd9add00e0bca5","datavalue":{"value":{"text":"Denotational Semantics of Call-by-name Normalization in Lambda-mu Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4982059$D4949228-6FD3-4F86-A7E4-79F158541C97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"deefd6c063996ef32fe497ff78a6967decab36fb","datavalue":{"value":"1336.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982059$39F64BB2-05EF-40A2-A49E-92DEE9FE56E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72768fdfe79592f5d8fd814ae684417832427132","datavalue":{"value":{"entity-type":"item","numeric-id":588686,"id":"Q588686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982059$862B2FB6-E785-443E-9F04-B3471EF3DC90","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982059$936347BF-C957-45EA-BEF6-D57DE0134619","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"809666719f9ff28a4fe4775444803d2f896fa4e9","datavalue":{"value":{"time":"+2015-03-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":"Q4982059$FD62A9D3-0692-4B4B-A5BE-144407E37D3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982059$62E3435E-5C51-4E07-B7B1-DE45124EDAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982059$0076CFE2-5B1C-4991-87E2-B8C81FFCE220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982059$F1B2E412-D262-4111-80F7-41C22DE421EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7cb9f4d736dae2ea22659e1653fd5690cb6515f8","datavalue":{"value":"6418432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982059$2C84CD9D-0B4E-45A1-A759-3EA55F7C3150","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d48dd8c65c97dad8b3660fbfff19c59ff7d59bd","datavalue":{"value":"Yoneda embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982059$8AE331FA-7CFE-43C2-BA19-5010C0DE6581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982059$72EBA2C4-09CA-4213-97A2-91326F9E96F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f25686c6ad10c85712f9026b1a758266db4fae3f","datavalue":{"value":"categories of continuations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982059$8F986F87-3E44-448E-B9D6-DACAAAE77D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e377735fef4b0e5d31c97baa26e95cc6323e216f","datavalue":{"value":"lambda-mu calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982059$5EB2417D-9405-4EA9-BDC4-1AD24DDC05B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982059$871603F5-4331-4C53-9F73-32921AD4BD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a70123e3939e6fbc904ae7f6a00f83c4e19e7ca","datavalue":{"value":"partial equivalence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982059$E286BBD8-EA19-497E-96AB-98B5D179A23A","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":"Q4982059$27178522-3E1E-4BB2-9747-EB3AEF2E5824","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3742c8aadea8a81fcaf53d5bebee0ebbd6e09a3","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.12.072","type":"string"},"datatype":"url"},"type":"statement","id":"Q4982059$269F2885-3D41-49DE-A4BF-DA0F54A793A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70de3dbff7db6a8e943471c45089435fd365dcec","datavalue":{"value":"W2036029152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982059$5EF1D2EE-F4E3-4056-A2B6-08D869837A67","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f21a4a0099d31e158836c7dcfba6aa43c852ab","datavalue":{"value":{"entity-type":"item","numeric-id":3342534,"id":"Q3342534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982059$41C549B3-3F53-43D9-8CA0-190E7BAB2C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69d1a9251d88d87e3308844dfd876a1c96f0f056","datavalue":{"value":{"entity-type":"item","numeric-id":4236219,"id":"Q4236219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982059$8C80C498-B26F-4474-8C29-A392DBF1B790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfd8d78db07bbfbadb3bd525794ef4a1e8772f3f","datavalue":{"value":{"entity-type":"item","numeric-id":2506496,"id":"Q2506496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982059$35B147ED-B710-4E9F-8064-06D02F101A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a283f6beb98075fee57b6325bcdf6dfd5d181a1","datavalue":{"value":{"entity-type":"item","numeric-id":4679165,"id":"Q4679165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982059$BCEC1C11-75BD-4C61-8969-7D51A81A4EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"654b9da35bb1975c7b6e87c0586a0aa8bf916f88","datavalue":{"value":{"entity-type":"item","numeric-id":4040149,"id":"Q4040149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982059$00FDE4C5-7B38-43C7-A7F9-2BBBAE037A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982059$6EE073EA-2D32-4A15-8057-A4E332F27E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"965839c0ea8638546b46825672df2ceebf6a3d0f","datavalue":{"value":{"entity-type":"item","numeric-id":4411843,"id":"Q4411843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982059$0FC8EEB8-FA34-48E6-B16E-AF936D6B77BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982059$1BC422C3-7040-4B63-B8FF-B94F8803E25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d25189cadcfb01bfb85424fb5e34c27a9558087","datavalue":{"value":{"entity-type":"item","numeric-id":2719799,"id":"Q2719799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982059$7FFBF6D6-C7B5-4036-90BB-1F1E17047AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db7629881c3e7bd88e597d7e4f26d7cbdf6a97ce","datavalue":{"value":{"entity-type":"item","numeric-id":4240152,"id":"Q4240152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982059$10F5D488-B017-46EE-AB6B-BBA7C90E11DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd39017cf06b6ed1be30482c94291fa52c6909e9","datavalue":{"value":"10.1016/J.ENTCS.2008.12.072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982059$BA2830AA-584C-4CB0-B12D-30180AA013CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07b590f7833b5b81516e443e90cbcf1844c2832e","datavalue":{"value":{"entity-type":"item","numeric-id":5703850,"id":"Q5703850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e64ec260306998910c71d099f6b106d63b5f755e","datavalue":{"value":{"amount":"+0.8986562","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":"Q4982059$1C59AFE5-969A-4BA1-B53E-8C97E685471C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3cf884216827827d76dc386643225100b15468d","datavalue":{"value":{"entity-type":"item","numeric-id":2844073,"id":"Q2844073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"609c3a9f1c876a65738778cea9f64a16b2b51a74","datavalue":{"value":{"amount":"+0.8961037","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":"Q4982059$F8B2434C-854C-4E72-8369-6AF8B3A99AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0aa8e284cef6d924df1530d1735d2e8afca2262","datavalue":{"value":{"entity-type":"item","numeric-id":2683029,"id":"Q2683029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"411520d91e04de9831ea771aa5be2dad91d95d9e","datavalue":{"value":{"amount":"+0.8937192","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":"Q4982059$9FC58A70-4E2B-4CF9-AFA5-7B3660E64AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eefdd1f58ff199e8bca039cd98675c2bb0d07477","datavalue":{"value":{"entity-type":"item","numeric-id":4880706,"id":"Q4880706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18fcd263f283da11b779cd363ac8c94079e30176","datavalue":{"value":{"amount":"+0.88784176","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":"Q4982059$D4E5439B-5D00-4430-9EE2-B029C61705D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b366c6b332c393ba63cc53f80458cfffbf4b8e7c","datavalue":{"value":{"entity-type":"item","numeric-id":1853595,"id":"Q1853595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b7048b71ace6546b61ce066fa57b04c4a02a434","datavalue":{"value":{"amount":"+0.8859717","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":"Q4982059$D98B50CA-B0AE-4C1D-B337-F28EB6F2914F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"615205a820ea49605a4feddfbfe6164836c5fc6f","datavalue":{"value":{"entity-type":"item","numeric-id":4222771,"id":"Q4222771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4491f5e72cef3a668af381426e42dcf84a7cb25b","datavalue":{"value":{"amount":"+0.8853526","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":"Q4982059$35EF0CC3-9DE3-4D4A-B509-E9106B21EE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3990ddbb99bb2d44d04f9e4faa256d5f9dc307ec","datavalue":{"value":{"entity-type":"item","numeric-id":1575882,"id":"Q1575882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4f47ca8627f3f0b69a3fd3b3bf0629a2ee4f306","datavalue":{"value":{"amount":"+0.88378716","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":"Q4982059$F22A03ED-F666-4C24-A32A-28B447C61428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f0a9cf79e1ed5803a8f687285e06121320254bb","datavalue":{"value":{"entity-type":"item","numeric-id":4719353,"id":"Q4719353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"022a6e854e2c0df926c07bfee61a6362a2f0aa18","datavalue":{"value":{"amount":"+0.8814083","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":"Q4982059$845D7F94-0A3F-451C-B77C-3DFEA0645D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b33377db07332cc929dc466c09021761dadca1c","datavalue":{"value":{"entity-type":"item","numeric-id":5889884,"id":"Q5889884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f85144725f9dd26cb6c1f7f023b73a6dab267ef","datavalue":{"value":{"amount":"+0.8807951","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":"Q4982059$41AAE5E0-02E0-4BAB-ABC0-68130716442C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4561662ea25861eee8a7823dfb783e1751d20ce0","datavalue":{"value":{"entity-type":"item","numeric-id":2778820,"id":"Q2778820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eea3639cd99943e6193898672899eaa93911e16","datavalue":{"value":{"amount":"+0.8798562","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":"Q4982059$20F227F2-EC6A-4AE4-A95D-2FA61D986433","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4982059","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4982059"}}}}}