{"entities":{"Q5261275":{"pageid":7290843,"ns":120,"title":"Item:Q5261275","lastrevid":41596003,"modified":"2025-05-06T05:31:03Z","type":"item","id":"Q5261275","labels":{"en":{"language":"en","value":"Call-by-value is dual to call-by-name"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6455113"}},"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":"Q5261275$973C6CEA-F7DE-4346-8808-66C5FD62C9EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e8ab024890186eae2c890d5b39683a43d8935a5","datavalue":{"value":{"text":"Call-by-value is dual to call-by-name","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5261275$B225E4A7-DFDC-4443-997B-C937305EE3B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea2189138decf11973ceb1e4a1739d55e05da45d","datavalue":{"value":"1315.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261275$3E48FB37-C1B3-4826-A6F4-97D67FCD77FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c220031c72a1048dfaad90001faaa98b10bc338","datavalue":{"value":"10.1145/944705.944723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261275$A5D2AF1D-36D0-4F71-8E02-1FB4352C56AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8fea356f84d37a924ceb58cfe03d1b4469ed36c","datavalue":{"value":{"entity-type":"item","numeric-id":879365,"id":"Q879365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261275$53E112EC-B06B-4DD5-9282-ABECFE42954A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94171c1d9483ba92f553ba0e2b86a3a8cb6d7f94","datavalue":{"value":{"entity-type":"item","numeric-id":5261261,"id":"Q5261261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261275$C896931E-48EF-43F6-AD4C-F1C7F18B9BDE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"574af01bec34fab94fbd05c1ad16d21d195c1ca6","datavalue":{"value":{"time":"+2015-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5261275$F861AB0E-1F4A-45F0-B379-38C97E78D4BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261275$4A32B609-48A1-4ABA-8D50-5E8B2A180897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261275$12E961FF-20BE-4B2B-86D2-D6A78F9438DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a6d340f4d6aab82a756d4f61c99c1cb2942282e","datavalue":{"value":"6455113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261275$53E20D11-C65E-43FB-8B0B-165D2C3E9837","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f89b34d84a29901e6cfe557573b31fa1373d9525","datavalue":{"value":"Curry-Howard correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261275$BCDA1459-77AD-4E33-BE5E-CB2A4C0234C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"904428db61932a69caaf19cc1d83e424212dba92","datavalue":{"value":"De Morgan dual","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261275$5A07EBEC-BECE-429D-A14E-8757A9731ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261275$316237DD-CA06-4D3C-A519-6E6C6FE78773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e377735fef4b0e5d31c97baa26e95cc6323e216f","datavalue":{"value":"lambda-mu calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261275$27942FF0-44F0-4129-ADBB-D193AE128459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261275$0E17F221-0AE1-422F-B5AE-3061794503B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261275$11C7AEC8-8015-4FCB-B2C6-FC5008596E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261275$FECBFE3A-3566-4309-A01B-01F8F25936A4","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":"Q5261275$D0066C9B-9954-4B80-99B2-C4548072DBC9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"003e3907ea585c0768804ac755c754fafcd2ea5c","datavalue":{"value":"https://doi.org/10.1145/944705.944723","type":"string"},"datatype":"url"},"type":"statement","id":"Q5261275$1F43D718-86CD-4715-AC30-81FD553B76A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"691c11fbbfeb819acf061faa3b37df9c6e011788","datavalue":{"value":"W2053198071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261275$AD6A510E-36FD-40E3-B588-09BE2C8945C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"297cb8b6d6d9db350be7614b48fe76d93ad5dc18","datavalue":{"value":{"entity-type":"item","numeric-id":3498450,"id":"Q3498450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc19285552129a3065ec01e914656757be959ba0","datavalue":{"value":{"amount":"+0.97498655","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":"Q5261275$5D27045B-F902-492A-B50A-7B843C116022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1fb28875ab49be64b193c59ac5afa46c7b196ec","datavalue":{"value":{"entity-type":"item","numeric-id":5703848,"id":"Q5703848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6564d26810d32d9b72e364afa2a1a067f5312655","datavalue":{"value":{"amount":"+0.96934867","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":"Q5261275$54D34EDC-ECE2-43A7-853D-0290E29663B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd49be3dda82391c0fa4e6fdf2723add821bdd25","datavalue":{"value":{"entity-type":"item","numeric-id":4362933,"id":"Q4362933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afc88801f840740a6393eaebf3bd325545045548","datavalue":{"value":{"amount":"+0.9125056","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":"Q5261275$CB21424A-604C-4528-AED2-DE68C021C347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38311a2e0e119938fd37a8af79304637b50591fa","datavalue":{"value":{"entity-type":"item","numeric-id":4411844,"id":"Q4411844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b3ef507434d1428723ed2f8d270592fb64e6fa6","datavalue":{"value":{"amount":"+0.9016707","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":"Q5261275$7B3A13FF-CA31-464E-B3FD-CA04398BF40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a8aec5cf497c6441690a8319325eee2e4d847b4","datavalue":{"value":{"entity-type":"item","numeric-id":857915,"id":"Q857915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bce93f4d156f0fb3a5786b8480992e76a4fd05d","datavalue":{"value":{"amount":"+0.88475114","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":"Q5261275$9BCD431E-0B25-43D2-8574-EB1DCFD1D4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8401ba608e80d0c39c51c451b2d79d15be37584f","datavalue":{"value":{"entity-type":"item","numeric-id":4954454,"id":"Q4954454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be57859721c7696ef22289bed5e491bf34bd08fe","datavalue":{"value":{"amount":"+0.8601953","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":"Q5261275$06CF94F4-1988-4AB2-A2AC-6C4326BCAE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d025ba33fd9e34bb4c7d3ffd85247ecf3e3535d","datavalue":{"value":{"entity-type":"item","numeric-id":3498449,"id":"Q3498449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fa6fa3a96c860f6295d82709d75d745aa026667","datavalue":{"value":{"amount":"+0.843057","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":"Q5261275$FDE2EA1A-AAE2-4988-A90F-CA534F918BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84ec486a6eb9deb2d92010d8f0befef9c12ce1db","datavalue":{"value":{"entity-type":"item","numeric-id":6159923,"id":"Q6159923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57f2bb3cafdc866a3596c6fd791d3d02a4a4e10d","datavalue":{"value":{"amount":"+0.8346721","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":"Q5261275$DB161E6D-EC69-4394-80F2-723C541905A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afe56bc0b16f676fd218cc20ba8ceb177122d848","datavalue":{"value":{"entity-type":"item","numeric-id":4281486,"id":"Q4281486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c45cf91f676381468ac555e818da33adb4323d05","datavalue":{"value":{"amount":"+0.82308275","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":"Q5261275$9A03F70E-D37A-42DE-8CFD-9DF2D1C649D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62fcada12735c1fea924e2bf1cf594793a712ba5","datavalue":{"value":{"entity-type":"item","numeric-id":2817680,"id":"Q2817680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"861bdf49e559380be330b1b9c0425071ee9288b7","datavalue":{"value":{"amount":"+0.81954676","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":"Q5261275$AE995738-1C1A-44FC-B7A6-7C89BAA445E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5261275","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5261275"}}}}}