{"entities":{"Q2200839":{"pageid":2211582,"ns":120,"title":"Item:Q2200839","lastrevid":73580457,"modified":"2026-04-14T16:31:57Z","type":"item","id":"Q2200839","labels":{"en":{"language":"en","value":"A curry-style semantics of interaction: from untyped to second-order lazy \\(\\lambda\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7250950"}},"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":"Q2200839$68ADD6F6-1DFA-4582-800D-DC1CD76D0E3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f143266f16d45e43e37fdb9447981ac757f9ce0","datavalue":{"value":{"text":"A curry-style semantics of interaction: from untyped to second-order lazy \\(\\lambda\\mu\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2200839$5868B231-8D8D-4AFA-BB5B-8FAF108F43DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"108dd38783bee759c76be5116ed613a34adbd17b","datavalue":{"value":"10.1007/978-3-030-45231-5_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200839$3C991767-9F38-4300-8613-4E73F9EB9B1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6364bdb301780deb7e621bfdd19479f58be43169","datavalue":{"value":{"entity-type":"item","numeric-id":2200838,"id":"Q2200838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200839$060BB74A-E8FC-4BA2-97F2-F23F079040C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"675a5c487b4c2f0d035548f97f026fe5d0481979","datavalue":{"value":{"time":"+2020-09-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":"Q2200839$3440D1DB-F9C3-416E-B3C4-75377820960C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200839$82BF4439-7B50-4F01-B711-B019D245B634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200839$D043838E-C42B-42BB-8EB9-5A0CF0394132","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"187c8d685aabec3e1c4ca67623f1b662afc49ff4","datavalue":{"value":"7250950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200839$3DAB8EB8-D5FC-4521-BD7E-DB4ECCCFCA80","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":"Q2200839$57800112-B433-40E7-AC39-385D8ACC97A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d569314a4d6951df9b4628c21210792796f98623","datavalue":{"value":"https://doi.org/10.1007/978-3-030-45231-5_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q2200839$35F2DB17-4D6F-4AE4-869A-2302D0D3B2F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b16da81284f8d1bd974016d88dc0e461006f420","datavalue":{"value":"W3016315428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200839$199F10F6-BCCD-4D3B-AB8A-4E692BECD628","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"598d99525e9a0094b9fed1dcff845cc4b8ee91b7","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200839$466B0774-EBC2-4D02-BCE4-B6385009758A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a9414b6f40cbda047adefa0d8681a5a5af47eb6","datavalue":{"value":{"entity-type":"item","numeric-id":2778815,"id":"Q2778815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200839$386B2EC3-13B7-4243-A9B4-7AA6E0B0D50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e448d527de3c8eb1346eac6db1db6761d13c9456","datavalue":{"value":{"entity-type":"item","numeric-id":2576663,"id":"Q2576663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200839$E9C95C6F-9728-4895-A744-13E4722D40B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a51147e79634c001b7f4d1a5009a51d7527679ea","datavalue":{"value":{"entity-type":"item","numeric-id":5170803,"id":"Q5170803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200839$C81D418D-8AF2-422A-AA4B-12697C3D4891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4385740d7b36e16bac5817543ff7ccba2a459b5c","datavalue":{"value":{"entity-type":"item","numeric-id":3178283,"id":"Q3178283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200839$A72C0015-F7BC-4431-BC08-45219AD99D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54351e142ba78301c80d7c3516f9734aa8ddee58","datavalue":{"value":{"entity-type":"item","numeric-id":3791120,"id":"Q3791120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200839$0AAB6956-44E9-47A6-8F20-111CC10D8B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200839$B77CFDFC-7640-42D2-A4EB-3FEB11B0DFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce6ec21fbe747f2d41af1ffc8ef5c6fc6065340","datavalue":{"value":{"entity-type":"item","numeric-id":1884932,"id":"Q1884932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200839$3F925A70-0624-48EA-A058-3D305F5B256A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b707ea6aeb6789674e09ff2dfbae760974c8632e","datavalue":{"value":{"entity-type":"item","numeric-id":5957913,"id":"Q5957913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200839$E8078927-0CE3-422D-B031-1597A6ED388C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20c4b79829f8fd84af3b54b011e9baecc4634b7f","datavalue":{"value":{"entity-type":"item","numeric-id":5428848,"id":"Q5428848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200839$A4F39456-6B2A-4B02-8F9B-76F26887F411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be8f768879e9705386be9b7d1daa025f7b293a4f","datavalue":{"value":{"entity-type":"item","numeric-id":3587438,"id":"Q3587438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200839$598A0E80-1090-4E49-B42D-7E4E605436F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba9855fb0dec792706c6a7c15ba8556e83763d04","datavalue":{"value":{"entity-type":"item","numeric-id":5395726,"id":"Q5395726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200839$7740316E-FC74-4E98-B287-6CB0F39427E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5583e5c752f6e319df38e82d83799f2bcbd1ad81","datavalue":{"value":{"entity-type":"item","numeric-id":3608419,"id":"Q3608419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200839$01E06328-5197-4FD8-AC29-872BA29EAB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f40bd03d8ab90958989b2ac9cee270bee53b766b","datavalue":{"value":{"entity-type":"item","numeric-id":3520148,"id":"Q3520148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200839$DC66F4F9-DBE4-4321-97C5-171255728E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8315bbf95312796cb6ad16a384a2b0559e0c4b91","datavalue":{"value":{"entity-type":"item","numeric-id":4635649,"id":"Q4635649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200839$52F1BF30-B3B1-41B1-956E-3BA3EFAB2660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb49d5ba8660e6f6ecb70d742d62a3c8fa7128ba","datavalue":{"value":{"entity-type":"item","numeric-id":1050334,"id":"Q1050334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200839$3A17694C-3B79-45E6-8E35-BC98E32A187C","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":"Q2200839$629798C3-45E3-473C-B258-79E4E5AA833F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ffef44f4d63520001869844161b5a9ab99f758","datavalue":{"value":{"entity-type":"item","numeric-id":5357704,"id":"Q5357704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200839$EAB7BCF7-1B99-4383-ABBE-DB9C580F2CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7c974da2fbdfbb494f4ddce13bd1f1e2231832","datavalue":{"value":{"entity-type":"item","numeric-id":2849600,"id":"Q2849600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200839$F9403A9D-5DEA-4F68-B1F3-E1CFB6555489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200839$9DBBD78A-C59F-4132-81E0-1A532FB760DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e2f25b593085008bb89b7f7a78c39c5e0b98eb","datavalue":{"value":{"entity-type":"item","numeric-id":1327395,"id":"Q1327395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200839$48E4E727-27B7-4E40-A50F-340AC4EA1433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200839$7FEB77DC-FE66-44FD-B6A2-56B19008B2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e1344014b2bb568b0c0b1ed562e1a4ad0a2e85c","datavalue":{"value":{"entity-type":"item","numeric-id":4635919,"id":"Q4635919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200839$8EEA20D2-B5E2-4584-BB03-64C965283576","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e33dbb9901a6fdb1dfa25bb5af1ce184da30aeb","datavalue":{"value":{"entity-type":"item","numeric-id":4490718,"id":"Q4490718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3e476fb0a807114fd922a2d675367762e7ba764","datavalue":{"value":{"amount":"+0.7568809390068054","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":"Q2200839$218DBAEB-3AB5-452E-B84E-B387ED1DDBAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"917ea07c6751ccad8a0a4e89c5a85116a0c53fd5","datavalue":{"value":{"entity-type":"item","numeric-id":4995379,"id":"Q4995379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00d2feb75a077acc70a9895630d367e4e685190d","datavalue":{"value":{"amount":"+0.7542516589164734","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":"Q2200839$9396386D-8542-4054-AD16-4CFDF91392BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d70834e68ce7634aeae4ceb056fe957684a6a65","datavalue":{"value":{"entity-type":"item","numeric-id":4210114,"id":"Q4210114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92626e20a0b87aca446f8336776a1d947b7c8888","datavalue":{"value":{"amount":"+0.7235369086265564","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":"Q2200839$75346FAB-DDBE-4DED-8B27-0853970C8E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d95e7bd79db6ca56521ad6b79f2aa2e7a405332","datavalue":{"value":{"entity-type":"item","numeric-id":2946616,"id":"Q2946616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b710451105bed82692be9e9748526e5dad06d40","datavalue":{"value":{"amount":"+0.7224053740501404","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":"Q2200839$6252E87A-F693-448D-A32C-DA0A484E4B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"862485bacb01c8419cfaaa78a29947b212d8e07c","datavalue":{"value":{"entity-type":"item","numeric-id":4263869,"id":"Q4263869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29111544d22572120bab2a551c97b23b68510009","datavalue":{"value":{"amount":"+0.7213781476020813","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":"Q2200839$0D5647C7-F05E-4207-8E6B-267B1D543961","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200839$46D88C06-D885-43AF-987D-918CA716F4A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A curry-style semantics of interaction: from untyped to second-order lazy \\(\\lambda\\mu\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_curry-style_semantics_of_interaction:_from_untyped_to_second-order_lazy_%5C(%5Clambda%5Cmu%5C)-calculus"}}}}}