{"entities":{"Q5441124":{"pageid":7470682,"ns":120,"title":"Item:Q5441124","lastrevid":100988210,"modified":"2026-06-05T23:37:25Z","type":"item","id":"Q5441124","labels":{"en":{"language":"en","value":"Call-by-Value \u00a0-calculus and LJQ"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5233218"}},"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":"Q5441124$B5307AAF-FFDE-431B-8FB7-E4FD0CA30D17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2d86a4c3d50a81d8d5b21addda7331285de3ffd","datavalue":{"value":{"text":"Call-by-Value \u00a0-calculus and LJQ","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5441124$3D1C1535-1936-4C95-B97B-F2C3F6319B96","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e308e0c64d238d1169e4c99f3c4e78c0c534643","datavalue":{"value":"1133.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5441124$543D243D-2168-4F56-8E3D-5628085BD563","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f07b5b97e9021286534ec61e4c6a7a24654de93","datavalue":{"value":{"entity-type":"item","numeric-id":452346,"id":"Q452346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5441124$8532F9E4-9EE6-4D3A-9AFB-2F85DC9FC0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d79cf40c9d083fd33fffca7f5d652f193d57871","datavalue":{"value":{"entity-type":"item","numeric-id":876040,"id":"Q876040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5441124$A3125057-3A41-4883-A183-7398E949299F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"697e270ffe317ee6e67284d461875459574e3ac8","datavalue":{"value":{"time":"+2008-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5441124$2DA78289-ABCA-40BE-8B3B-A26E41B12D33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5441124$9043CAB2-200D-446F-B3D2-B317B103ACC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5441124$82A3228F-BFE4-4242-8EB1-5160935308E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5441124$FF89F023-EBA0-41D9-8407-53D60CB56DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5441124$31560D6A-C1CA-4E8F-BD03-A7091D89E5DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"719d829f1f1d8df1726b8dcdd9afc272d43b8d37","datavalue":{"value":"5233218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5441124$469E97BB-A30B-4300-96AF-FA12976C0705","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5441124$3B66AA22-79A6-4BD2-90A0-19AEE5AA4A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0023655cb58cff7dfa4411698356799107789a6f","datavalue":{"value":"call-by-value","type":"string"},"datatype":"string"},"type":"statement","id":"Q5441124$508CF7B0-BB71-4D41-A224-FD874F2C9738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5441124$016B380D-8571-4C13-BCED-BBA581E2E1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77a56318e87d9cea0fbfa8b0b6ab6c60ac4b99c0","datavalue":{"value":"continuation-passing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5441124$E4EE1A9D-E273-45EE-B090-A20246C12B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5441124$B529BEA4-F646-4A51-9562-FDC596653B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5441124$49CA2CA6-85E2-43AD-8DCC-06855B3D5AF4","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":"Q5441124$78A9EF3B-7AA3-4BED-B749-9A1AAB5970A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91d1626bc569b06e5cba0372cc559ad4223bd620","datavalue":{"value":"https://doi.org/10.1093/logcom/exm037","type":"string"},"datatype":"url"},"type":"statement","id":"Q5441124$54CF0B48-57C1-43BE-8790-28B467C4F456","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed5f0eb5a9ddfbd33fc509aa76414c9aed0b29a6","datavalue":{"value":"W1995430920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5441124$59040D5F-3E5D-424B-92AE-E90521DACF4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29d15ccf663088b3f434e0663f6bd3cb43c3fe39","datavalue":{"value":"10.1093/LOGCOM/EXM037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5441124$462B39B0-26D8-4A75-A9C4-49D322C77A8B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5441124$506190D6-2D0E-44A6-96A8-674E970D7811","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d07069691ba3230e60b31cb0b078b1a65ebb0a1b","datavalue":{"value":{"entity-type":"item","numeric-id":5898815,"id":"Q5898815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b102cd907d6fe84c377591b1768c019723331159","datavalue":{"value":{"amount":"+0.8980147838592529","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":"Q5441124$0786EDE5-444A-4953-9146-71FF4572985D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a703c3ce23ef0429e78c5e840d2ea5f218beb41","datavalue":{"value":{"entity-type":"item","numeric-id":897928,"id":"Q897928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea86917e15d2e1d626686c0b8e4e3a2b0aebd4e9","datavalue":{"value":{"amount":"+0.7664017677307129","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":"Q5441124$5B4684CF-FFCD-4A83-9786-39FCA7607EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf4f08aed74baba680dae44fb6e9d14dabd755aa","datavalue":{"value":{"entity-type":"item","numeric-id":4992391,"id":"Q4992391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ae8bd8d52d5dfa53f2b10f66aa3d274acc308a4","datavalue":{"value":{"amount":"+0.7637037038803101","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":"Q5441124$355ACD3A-41AA-41C8-BE78-5E042CC2AF7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a793ce1b179bb932cdefbf30ce0d98f6f9c3c9fa","datavalue":{"value":{"entity-type":"item","numeric-id":3637192,"id":"Q3637192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a710509af2e91969b9f79fce112fc4a623baf601","datavalue":{"value":{"amount":"+0.7609291076660156","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":"Q5441124$20D8869F-5410-4530-B7C7-9804BC21DF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63ead40b726cdc4e69a5e1d35cecc6127c908133","datavalue":{"value":{"entity-type":"item","numeric-id":3623002,"id":"Q3623002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbfc5d533d0c0c6e89097128c4c89a2d7fbef48c","datavalue":{"value":{"amount":"+0.7532087564468384","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":"Q5441124$1B1A28FF-20E2-42AA-A043-09774F9137AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Call-by-Value -calculus and LJQ","badges":[]}}}}}