{"entities":{"Q5212041":{"pageid":7241612,"ns":120,"title":"Item:Q5212041","lastrevid":94571906,"modified":"2026-06-05T07:09:35Z","type":"item","id":"Q5212041","labels":{"en":{"language":"en","value":"New semantical insights into call-by-value \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7157398"}},"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":"Q5212041$8BE2FCA2-B92C-4724-A44A-A4DAE9CAD4FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d652164980b9834c8771e9253b73cae72de6d13","datavalue":{"value":{"text":"New Semantical Insights Into Call-by-Value \u03bb-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5212041$581C93CD-53BD-43D2-B6E6-6D2281BA6272","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2151a739fbb544d4951d95255bd26627c591402d","datavalue":{"value":"1434.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212041$E2C7E870-5C47-45AB-94E1-B3E3C5B27D5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f074eacbabe11f2452c5a1bed4b9525b4139eee","datavalue":{"value":"10.3233/FI-2019-1862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212041$A301DA19-9193-4732-B6FE-ABD5D9152477","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3efe8e6459b334108812ee64f01c6fe284d1497","datavalue":{"value":{"entity-type":"item","numeric-id":283767,"id":"Q283767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212041$4D5C7BF5-E75E-4023-8D69-C2B6E8A67FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9ab36af565d8772d4e2c198b9339781fbb08db6","datavalue":{"value":{"entity-type":"item","numeric-id":409320,"id":"Q409320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212041$F47A90CE-8036-4E2E-932C-B8E012C95DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5548a7b3c7ed4d552de9e4afd56242ea9f22139","datavalue":{"value":{"entity-type":"item","numeric-id":1198660,"id":"Q1198660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212041$E2A6AF6C-5EFE-4424-A6E3-8D16DBDEC0B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212041$DCA65F7E-A55D-4198-8AEC-B2A94A6B2538","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77882ece4e85a0ce08660c13f940a3d72965a05b","datavalue":{"value":{"time":"+2020-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5212041$86A7C949-6791-40BA-9FE2-FAED6B7DBD6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212041$F7A4FDE8-7EAF-4D94-B11C-A9F597C7273F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59f46b9e1ba234504f844823e0e2d9706edfac79","datavalue":{"value":"7157398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212041$20CAD5C4-D353-4249-BD84-A828E0DFC685","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212041$B9325C46-CC13-4396-B05E-686586396D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0023655cb58cff7dfa4411698356799107789a6f","datavalue":{"value":"call-by-value","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212041$E5DFE917-01FE-40E2-BCC3-A240F4D50ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2faeb57b57f360251067fd610e199173399d9","datavalue":{"value":"relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212041$B62C33AD-3D94-49E4-9FCA-D2BB35AC35B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"897effdc5f2de7ce2cc97a486be83314a1422c9e","datavalue":{"value":"approximation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212041$418998FC-CBE1-4221-B009-827DE4DF3845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212041$65D44DD5-25E0-416D-BD0E-CCF5F8CEBB82","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":"Q5212041$F7B1B8AB-A476-4184-91B1-C71DEC7E0772","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a24c190fefb7ccbe156697558655dbc62c1f758d","datavalue":{"value":"https://doi.org/10.3233/fi-2019-1862","type":"string"},"datatype":"url"},"type":"statement","id":"Q5212041$4879C60F-3F03-40BE-8264-CC9C09FC6288","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1616d77329a95e0cd4fd9ebb52d8f7ad1e240cf0","datavalue":{"value":"W2981389078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212041$B056E5A4-26EF-4B6C-A367-EC6D6FD8924E","rank":"normal"}],"P1643":[{"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":"8b821b1fc349bbf354f97d0b900069cab40b1b7a","datavalue":{"value":{"amount":"+0.7712512016296387","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":"Q5212041$DA62236D-DAC6-480B-9160-F9C806388980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b12692beb3302c9ef86135b2604f9a32fe0b17c1","datavalue":{"value":{"entity-type":"item","numeric-id":5410667,"id":"Q5410667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9bef61fd5d8491b9ddfb32dff84f77b4e012bca","datavalue":{"value":{"amount":"+0.7517440319061279","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":"Q5212041$00BA6298-93D9-4033-8D57-D36ACC911443","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":"8b455afd0d674c146d51c4e48875bafe8f664428","datavalue":{"value":{"amount":"+0.746742844581604","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":"Q5212041$051626CD-B529-41D0-A5E2-AFA7095D9BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72f1b421b817afcf741021a408db76ee457bda8c","datavalue":{"value":{"entity-type":"item","numeric-id":4600771,"id":"Q4600771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c29d8d556781dcb46b16cc0e2a8e621e0f8a67d","datavalue":{"value":{"amount":"+0.7466118335723877","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":"Q5212041$B5D4F5A9-E6EA-439E-BE19-4FE040991752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c56ce5f5bf93bdc994251d2810fee66f8f426f5f","datavalue":{"value":{"entity-type":"item","numeric-id":5277841,"id":"Q5277841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03b086ca6de33a6d7c884e29f303937cfa2787d6","datavalue":{"value":{"amount":"+0.746370255947113","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":"Q5212041$F8DC1428-3533-44CC-BBB8-2CB2BCAC39F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"New semantical insights into call-by-value \\(\\lambda\\)-calculus","badges":[]}}}}}