{"entities":{"Q283739":{"pageid":285506,"ns":120,"title":"Item:Q283739","lastrevid":60640176,"modified":"2026-04-10T18:13:48Z","type":"item","id":"Q283739","labels":{"en":{"language":"en","value":"Applicative bisimilarities for call-by-name and call-by-value \\(\\lambda\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6580851"}},"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":"Q283739$0187BA99-45C0-45BC-89B2-D4E4B60A535B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8941234170f71c2554aa9746943c4de0c7374cea","datavalue":{"value":{"text":"Applicative bisimilarities for call-by-name and call-by-value \\(\\lambda\\mu\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q283739$1B0BD7C0-1C9F-400B-BA2B-4C2101280AA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc0f97decbc5275e8d5bde35b5ff8e6ea1a81349","datavalue":{"value":"1337.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283739$71523068-02B8-4227-8301-02C630B263E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aac8057f9fd1520fcbc0231a1d841513ef433ea8","datavalue":{"value":{"entity-type":"item","numeric-id":283737,"id":"Q283737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283739$93865378-BA11-4827-ACF4-3581FF7A2876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34d559683f27157f77bd17779cb2a67ae4a95cea","datavalue":{"value":{"entity-type":"item","numeric-id":283738,"id":"Q283738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283739$3450C7B2-DDA5-4BBF-8650-AE64B3F60AC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"659004eb67caabef990f3b9c257f2b5657544074","datavalue":{"value":{"time":"+2016-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q283739$502F82EF-286D-4ABA-BA74-23099478C19A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283739$81B5146D-767F-4909-8178-D65B806CDD4F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28c6277aa831bfa52c4ad1f4e6d0a330a3af4ab9","datavalue":{"value":"6580851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283739$04739C87-A95A-4F59-8FEC-B2049EB5B1AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b6692564b9126396903952c44aa98b86a268b23","datavalue":{"value":"contextual equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q283739$2A232F8A-7D93-486A-A09C-EED44A82658B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88604c932a4378b4fbbfef3c13b130a9daa220f7","datavalue":{"value":"applicative bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q283739$EF7F3E21-43E5-44FB-9CCB-3D72B9595DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1d25e20c0482078eadaa7ad2ed9897358d4d26d","datavalue":{"value":"continuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q283739$517145F6-B6A5-468D-8871-243C776BDA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c8c10fd8f5e601ad5e16ed4d971edf3e9979b8b","datavalue":{"value":"control operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q283739$DAFFE1DF-A6BE-4B8D-8DC2-C431310B3CD8","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":"Q283739$1994EC84-95E4-4C3D-A998-B81DA5DBF229","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4638b626781623e92ea23cb39924ff85ec392354","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2014.10.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q283739$CA07FB4D-5031-45A6-B999-356574DEC0C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1346a835b3474ee308d54889ee114e3aef5b8038","datavalue":{"value":"W2122794371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283739$619C6B53-9D05-42FE-9C04-E0C4594C48E8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c1dbb6db3a45f405472aff027c0d5cdfe5bdf38e","datavalue":{"value":"Q113317852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283739$E19D4109-1282-4EFA-B624-673914C04DCF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"685d2851821d701f452585df8a3f635e1c021d3a","datavalue":{"value":{"entity-type":"item","numeric-id":2892764,"id":"Q2892764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283739$47CF653F-71DB-4C7F-89B7-31B83341272B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea1ed148ff66b406057a98235839d96140aebe76","datavalue":{"value":{"entity-type":"item","numeric-id":2732290,"id":"Q2732290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283739$56A833C9-7B45-41AE-BFDC-648C441E618B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14199d752f4bebe689aaa85d75a54b5e20dfe3cb","datavalue":{"value":{"entity-type":"item","numeric-id":1199538,"id":"Q1199538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283739$27FA72E6-FC23-41E2-B08C-68D0A8FF3C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"634969c7735e685aeb8a1782172ac61025af3861","datavalue":{"value":{"entity-type":"item","numeric-id":1575889,"id":"Q1575889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283739$9F46193D-FB3A-43F7-B5F5-067A3E5BF8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef8e8a1bd6a36d7048ab6f3cc2d1559d18184388","datavalue":{"value":{"entity-type":"item","numeric-id":1917068,"id":"Q1917068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283739$81CC3D08-5987-4BA0-81C8-6938CEFD2E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e23ad7f02426eb9734b3fe6d68d72ea663383e2","datavalue":{"value":{"entity-type":"item","numeric-id":5739359,"id":"Q5739359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283739$CD442B62-B93F-4781-951E-7705BD6DBCAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1f064cf159579794bfae00dee95adb9cea90f6","datavalue":{"value":{"entity-type":"item","numeric-id":4261091,"id":"Q4261091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283739$BBC1FD99-58FB-464E-8F3F-1E720ED0131B","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":"Q283739$AB228DCE-BD3F-4FDD-893D-126A854B8CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956598292838c18761f954571ae7abd804f61a56","datavalue":{"value":{"entity-type":"item","numeric-id":3189795,"id":"Q3189795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283739$6A2FF718-62B0-4EA9-883C-5D3A62EB5367","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86774e65946af7797c9a6a530f81a84d6a771712","datavalue":{"value":"10.1016/J.ENTCS.2014.10.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283739$AD54B310-A89E-4C7A-940D-84A9EC5694B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59cbbbe878bfefd506a0814c1562a18cb7869040","datavalue":{"value":{"entity-type":"item","numeric-id":5410701,"id":"Q5410701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b23afa5419ccaeb155765138f6c7d42cd7a8731","datavalue":{"value":{"amount":"+0.8165518641471863","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":"Q283739$84A2BA8A-8C87-451E-A005-5E086654732F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e93a2885fbfcad8c8d7d7bba6bb88774a65db06","datavalue":{"value":{"entity-type":"item","numeric-id":2892764,"id":"Q2892764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f045fd650d163cf4fc3a729c92b07b902658d822","datavalue":{"value":{"amount":"+0.8015442490577698","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":"Q283739$10C38147-E684-4BC5-AF80-E23D4F4879C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1486b45c1c68680cbf686be9b59020d264fc5026","datavalue":{"value":{"entity-type":"item","numeric-id":3449626,"id":"Q3449626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e065340df446e804941717dce85681d0ffd7e465","datavalue":{"value":{"amount":"+0.798482358455658","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":"Q283739$F7B51A5A-5CF4-4B81-A23E-DB8BF3D1FA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e26451f27c289025ae847318871dd88f9c7915cf","datavalue":{"value":{"entity-type":"item","numeric-id":1989333,"id":"Q1989333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d63f0f5df9b551bdaafe62cc0db637bf3aef5f07","datavalue":{"value":{"amount":"+0.7943523526191711","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":"Q283739$C1E3C098-4CAE-487A-A802-7D566EEF38EF","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":"a27e902c6dc4161f5b9847e733298d70f67eb133","datavalue":{"value":{"amount":"+0.7903690934181213","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":"Q283739$2D2DBEA3-3228-4EE6-9D63-021500AD0379","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Applicative bisimilarities for call-by-name and call-by-value \\(\\lambda\\mu\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Applicative_bisimilarities_for_call-by-name_and_call-by-value_%5C(%5Clambda%5Cmu%5C)-calculus"}}}}}