{"entities":{"Q4719353":{"pageid":6748930,"ns":120,"title":"Item:Q4719353","lastrevid":40904617,"modified":"2025-04-13T23:41:42Z","type":"item","id":"Q4719353","labels":{"en":{"language":"en","value":"The call-by-value \u03bb-calculus: a semantic investigation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1383794"}},"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":"Q4719353$867728A0-ABEA-4186-A079-3348312DAB0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f2efd298ede959abd6abf3e538470a860901bcb","datavalue":{"value":{"text":"The call-by-value \u03bb-calculus: a semantic investigation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4719353$047B75C2-B32A-4D25-869A-DE46332022DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c77134b5fbe4efb6ee466004b077c5ea19435850","datavalue":{"value":"0936.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4719353$7F1809CE-508F-46D2-B4A5-2E560DE9067C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7130f298756613fd96f077a02aeb986fda9dc146","datavalue":{"value":"10.1017/S0960129598002722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4719353$8C3491AA-057D-4B1D-9556-176FA80B717C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8885cc5d01ba6dba6767a645f4b6befee60aa63","datavalue":{"value":{"entity-type":"item","numeric-id":3024850,"id":"Q3024850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4719353$982BFA72-E682-4D5B-A188-A04D3E072036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7fe2e34ceb1a5a0fc819d5b27ac5700ee0e0306","datavalue":{"value":{"entity-type":"item","numeric-id":737108,"id":"Q737108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4719353$73BB7CFE-2840-4A09-994A-D37E54840502","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":"Q4719353$41C0C27E-94CC-406D-A815-370D65CB1BF4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4719353$0A81A5F4-2DC6-4694-A633-DD982C254036","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ab51f0da63d563b6d8e1e1f2adfc1cb2e4c22ff6","datavalue":{"value":{"time":"+2000-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4719353$DC96A4CA-9226-4482-A739-E0847627F2EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4719353$7ED1A63F-A127-4DC0-A1FD-81E74F084B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4719353$6BA1DFBF-2A42-4D35-A294-7B82B158E96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4719353$BB41C87C-F5A0-4E25-B61B-5478F28052B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4719353$DA03C022-8ECF-4188-986A-EBC36C78090C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48ab03c911c85a3423541686d0d7ec0c403781fe","datavalue":{"value":"1383794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4719353$13269695-EE6C-4F2F-99E1-18D9D07479F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53fdeed5704ac6449c47a837de8fb2e700668d51","datavalue":{"value":"coherence spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4719353$2A3DBD31-804A-48EA-B16E-01C75C9CEE88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0939e88686209711ebec08d0a7c1bb85c0c05d4","datavalue":{"value":"Scott domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q4719353$CBCA7574-6A8B-44E2-82FB-1999525D8C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a23064bee5a7c5da6dcf0d91edb0dcfb715749f","datavalue":{"value":"call-by-value \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4719353$99D77100-2549-40F8-A9CC-3D1452083AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2a51da2905bdba578a7e4ae07513608630cb896","datavalue":{"value":"category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4719353$4B30CF74-C4BE-40A6-B9A2-9C08B5A856DD","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":"Q4719353$C28F9DF2-882A-4374-954B-3F9D207FF8B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0edf92a06695a8c7a3d3aa9d7b5fb933baace185","datavalue":{"value":{"entity-type":"item","numeric-id":5212041,"id":"Q5212041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8fd49d5a11c70094d3a57370245415c9533194c","datavalue":{"value":{"amount":"+0.9722344","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":"Q4719353$E835BB58-1B56-40A4-814B-13B6A1D00E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a460a926bb69789abf32beba28d2359c22722666","datavalue":{"value":{"entity-type":"item","numeric-id":5874223,"id":"Q5874223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c314d315c6d108daee191a73407686b4ead46524","datavalue":{"value":{"amount":"+0.9610032","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":"Q4719353$28A15F2E-6F97-4257-B450-B325191B03A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f51a8bdfd627dbda58be721fb94cba17b0763db","datavalue":{"value":{"entity-type":"item","numeric-id":5441124,"id":"Q5441124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"430d31b2a3251debb612663249d7671fdee949c8","datavalue":{"value":{"amount":"+0.9389122","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":"Q4719353$685C48CE-1CF3-48CB-885E-A88F3652A880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31fc4025beee5e031858610505a84ced82fb1c44","datavalue":{"value":{"entity-type":"item","numeric-id":6171751,"id":"Q6171751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39239577f9900cfae33b66c07dd4021ff231d8b1","datavalue":{"value":{"amount":"+0.93501395","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":"Q4719353$93B5C9D1-77CA-4B9F-9172-77C5E8268A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e35c753c6cb36d7150387f1443ac0bb7aa68ab05","datavalue":{"value":{"entity-type":"item","numeric-id":4035237,"id":"Q4035237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b60649e2662675b14a4d450b32b650629dc9941","datavalue":{"value":{"amount":"+0.93282694","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":"Q4719353$FC2E3821-1B17-4FDB-A45B-8671750FF8A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d8b78ad67ea637acfdde64e29d61878b7e4aac2","datavalue":{"value":{"entity-type":"item","numeric-id":3024851,"id":"Q3024851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b020cdc01b9725f660a8b170e511e2055a93879","datavalue":{"value":{"amount":"+0.93197685","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":"Q4719353$A9F7C0F3-195E-4461-8C1F-2337AE85F966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5102e5a9530fcc8eec7da4af1cf50ecf302b195","datavalue":{"value":{"entity-type":"item","numeric-id":3518269,"id":"Q3518269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbc677985c35851c7e628fdeff8650987460973f","datavalue":{"value":{"amount":"+0.9294809","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":"Q4719353$29024057-E805-4BDB-9631-7F57D0A33FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8e0b669973656d870f009463961fcc7dac6d70b","datavalue":{"value":{"entity-type":"item","numeric-id":2319993,"id":"Q2319993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"138d9b3fd3f237450a8098ee1de8bb2d857ca98e","datavalue":{"value":{"amount":"+0.9196069","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":"Q4719353$7E6EA7FE-879B-435F-9480-C652D40B8F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3990ddbb99bb2d44d04f9e4faa256d5f9dc307ec","datavalue":{"value":{"entity-type":"item","numeric-id":1575882,"id":"Q1575882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f047d4dff12d94da5a518567a439add621ab3d9d","datavalue":{"value":{"amount":"+0.91721684","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":"Q4719353$BAA37E94-6D57-44BE-A1D0-49DF5CD8E1E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"615205a820ea49605a4feddfbfe6164836c5fc6f","datavalue":{"value":{"entity-type":"item","numeric-id":4222771,"id":"Q4222771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feec4659b032101e7fc765e909be6701bf10ccd3","datavalue":{"value":{"amount":"+0.91717094","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":"Q4719353$CB48640B-2FF4-4025-967B-53532A999CC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4719353","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4719353"}}}}}