{"entities":{"Q5262945":{"pageid":7292521,"ns":120,"title":"Item:Q5262945","lastrevid":91853186,"modified":"2026-06-05T00:14:18Z","type":"item","id":"Q5262945","labels":{"en":{"language":"en","value":"Observational semantics for a concurrent lambda calculus with reference cells and futures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6457562"}},"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":"Q5262945$F759A9F2-628C-44C6-811B-F14F8C958EBB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d80fc1b07bfe11724586154ba7ba5423f7299bb4","datavalue":{"value":{"text":"Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5262945$F4841A84-9449-42CA-8138-2F46ADF70280","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"114d5fe4d1f3996285b744f59f5ab788dd8771ef","datavalue":{"value":"1316.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262945$9BF05A42-B8E2-4E7E-98AA-4E1ECBDAA979","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d778d8975d333bedd66ddf13d7dd6389095a118d","datavalue":{"value":{"entity-type":"item","numeric-id":174813,"id":"Q174813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262945$3D41EA7C-0077-4B82-B6CD-89B5679B5A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3211ec0fd031f0134e24af3ce5cb141879b2940d","datavalue":{"value":{"entity-type":"item","numeric-id":352944,"id":"Q352944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262945$870DB0EF-BAF8-4864-8682-A7A877A65C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d0c8e7fc7107924c2bbe29f5a4f74a049a1ff57","datavalue":{"value":{"entity-type":"item","numeric-id":1110492,"id":"Q1110492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262945$36EB5BCB-53D5-4ED6-8305-B15E85E2616A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f6e1f9f3f83ab8ce5ed045378a12428f006569f","datavalue":{"value":{"entity-type":"item","numeric-id":2339471,"id":"Q2339471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262945$ECD4DE0B-D049-4392-A2E3-4C574DF232E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262945$0FAEAD92-656A-4A28-B43C-1C457A69D510","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9969939bb103ca6857dea96cf377517e2479ab0a","datavalue":{"value":{"time":"+2015-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5262945$304D8120-9E69-4D2C-A89B-987E7F2698FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262945$538B14F5-1586-4AEE-A19A-473E60E560B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262945$3611A431-1B0B-4F6C-A8CF-10EEDECF3CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262945$ECBD4A29-51FE-446A-BC6C-3A6DE5AA7F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262945$F07F43DA-9868-4AC3-A588-64776A155E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262945$92409996-9F2B-4897-BD55-A42F7AB03D69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d36a4a2f8d85ad208a1b06c4ff217ea8a8eca7a","datavalue":{"value":"6457562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262945$06C2FC58-23E6-4FEC-8105-2A61AB355EBE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b450d2a08c200959bbbbe396a5c3b2484c2c386","datavalue":{"value":"concurrent programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262945$767C65EC-A7FE-48AE-8EC4-BB2A559B9BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262945$4599CC32-484D-4708-BBCF-6E1743BE0D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262945$E83EA8F4-32E6-4C45-8DBB-CCFE77603C05","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bb93cf78691f43914bdf854eb0aa4deba2c2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":14610,"id":"Q14610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262945$427C66A5-90FF-480D-9F73-8272A24CC10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2ccbbe6930c8e1cc299a9de96016fd336eaa915c","datavalue":{"value":{"entity-type":"item","numeric-id":18874,"id":"Q18874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262945$9390BDB9-61A0-4BF0-A15F-49198B622423","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":"Q5262945$C8EF9C64-D7EA-48D9-ABDF-A4B3E82E3FCD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd8f394354c52da30e5043c5ae2a7bf17c823a0c","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.02.041","type":"string"},"datatype":"url"},"type":"statement","id":"Q5262945$40874E1A-4245-4D2F-887D-8F8CBF41ED6E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"593d631619301d857753bc5f0924f91dc2edf8a3","datavalue":{"value":"W1983326670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262945$B2A0A20D-24B5-4CA8-AD0A-01ED8DA760AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1aa493c321f05aed8353e788b6c1db3a4ef14ce","datavalue":{"value":{"entity-type":"item","numeric-id":1763728,"id":"Q1763728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262945$C1C07BAD-4557-4E9C-A2B0-8E328AFD213C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9f90c3a0b3dbb3744b2661c026e3eef3dabc3a9","datavalue":{"value":{"entity-type":"item","numeric-id":4236976,"id":"Q4236976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262945$4D1280BB-544D-418B-9C0F-991FAA4FCF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1a7e4b474158f147651cf0ba89e06743562a007","datavalue":{"value":{"entity-type":"item","numeric-id":4256146,"id":"Q4256146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262945$AFA013FD-DF78-4379-B80C-727041707AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a38afda5b02f7521f890d112a8cba2020fcff83","datavalue":{"value":{"entity-type":"item","numeric-id":1882896,"id":"Q1882896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262945$863CE580-EC12-4D4A-8788-6AA1FB013C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ff8d61329145c82d13d9d25665563352a89931","datavalue":{"value":{"entity-type":"item","numeric-id":5348907,"id":"Q5348907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262945$938AB110-E80F-4167-B46D-9FC315EBEDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262945$A0E9DB18-91C2-435A-9222-A5E7483A7886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4742d7a0d6c8d8a486327d93a0aaeff26ab6ee84","datavalue":{"value":{"entity-type":"item","numeric-id":860851,"id":"Q860851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262945$42D16143-D60D-413F-9B8F-A694EDF78F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca8e84233097140277b284dcf67324b3ae9eb585","datavalue":{"value":{"entity-type":"item","numeric-id":4813228,"id":"Q4813228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262945$7E1DCFC2-D7A4-434C-9225-5D0DD15D2FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262945$BC7AC4AA-71D8-4E44-9E1F-4C86F271DAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6de6c4baa2462148dc7c1421fca878b906d1cfc4","datavalue":{"value":{"entity-type":"item","numeric-id":3520145,"id":"Q3520145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262945$594543EB-9543-4DFA-A896-7933E9DFD102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e2f25b593085008bb89b7f7a78c39c5e0b98eb","datavalue":{"value":{"entity-type":"item","numeric-id":1327395,"id":"Q1327395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262945$6C14C74F-585C-49C6-9D66-AA56476D1E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262945$A8F58C7F-B773-420F-AE73-5A9ADC641118","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ff70b460b852d767e4f80a27db2ea47ebf668dc","datavalue":{"value":"10.1016/J.ENTCS.2007.02.041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262945$0B702EE9-7D6B-49D4-9A95-E9C80B205DA4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06132f2955a325de4fda019d0d7d1014d1d5d4fa","datavalue":{"value":{"entity-type":"item","numeric-id":5491903,"id":"Q5491903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c0b7286300b760a8cc848c93798e5e0a54ea61f","datavalue":{"value":{"amount":"+0.8736251592636108","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":"Q5262945$65C1EC2A-5362-4F96-A41E-4682480E843B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60c7c26119e6b84a05337fe461dc7b9d25112d4f","datavalue":{"value":{"entity-type":"item","numeric-id":860851,"id":"Q860851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8f36472fa35902bc0d12fe5db88945d2b5cff8b","datavalue":{"value":{"amount":"+0.8471311330795288","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":"Q5262945$066674CF-160D-437F-B1FD-75C3DFAA5C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e33dbb9901a6fdb1dfa25bb5af1ce184da30aeb","datavalue":{"value":{"entity-type":"item","numeric-id":4490718,"id":"Q4490718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3f090f266746eb0938b5a35a40383f38ba3e62a","datavalue":{"value":{"amount":"+0.7752813100814819","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":"Q5262945$5FE7BD02-FEF0-425A-AC49-CED5E536E720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06242276daedd3ab96d16aac7937d12b2a95f855","datavalue":{"value":{"entity-type":"item","numeric-id":2704322,"id":"Q2704322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11501e216a19c6f81a865168d419b365c059809a","datavalue":{"value":{"amount":"+0.7562749981880188","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":"Q5262945$92EEC1E6-FEB9-46C8-AAC0-0767883BE2FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"485d55ce65dad6117a3cc1559df78c174b4da058","datavalue":{"value":{"entity-type":"item","numeric-id":2817693,"id":"Q2817693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44e19f089471abbd12b33eba44933e9f4e756c78","datavalue":{"value":{"amount":"+0.7431012392044067","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":"Q5262945$C9E511FE-4987-4BED-99EE-929C9E223983","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Observational semantics for a concurrent lambda calculus with reference cells and futures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Observational_semantics_for_a_concurrent_lambda_calculus_with_reference_cells_and_futures"}}}}}