{"entities":{"Q5145343":{"pageid":7174914,"ns":120,"title":"Item:Q5145343","lastrevid":53911679,"modified":"2026-01-25T22:23:28Z","type":"item","id":"Q5145343","labels":{"en":{"language":"en","value":"Boolean-valued semantics for the stochastic \\(\\lambda \\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298792"}},"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":"Q5145343$C38BC391-4DB4-457E-A51E-9D8C5203A8F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa1e73f76f9c76325cb92c8a323875d626f13efb","datavalue":{"value":{"text":"Boolean-Valued Semantics for the Stochastic \u03bb-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145343$184EA880-62EE-4F53-892B-4F08AB152CE5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d32b11707be1ab0ae10b1d5f4372c7f8e8e4fc07","datavalue":{"value":"1453.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145343$000BC6F9-A748-4E1A-8770-8AED85C6B298","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14971dfd332c2b9ed70ad85b400112caca02269e","datavalue":{"value":"10.1145/3209108.3209175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145343$1F75C200-F155-4655-8A3A-D5056F9B2C2D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee82b0c640d35f6663be3f8a5187d8cc540da0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5145269,"id":"Q5145269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145343$A5E4A314-A88A-489C-A367-5C9F5A49B7D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145343$2E1FE09F-B83F-47D2-B76C-B1F612CA85B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7fa4d2acfdb3c8371ba217e6321bb1362211403","datavalue":{"value":"https://strathprints.strath.ac.uk/74747/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145343$B452660E-6E26-47DC-BB60-D72C66C90474","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145343$CDF968EF-9C78-4011-937F-A5097E8B1DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145343$DB325063-DBE8-4AC4-ACFA-59D3F6784751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145343$326E6708-AE5E-4F44-A067-7BC7C08CCA7A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e901b0922f7dfdc4062bcac17ba4c9e1c87dcb54","datavalue":{"value":"7298792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145343$4BEAB422-9517-4B8B-96A5-20F693B8D6F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0432d965a31cea7acbf98425becf9815c9633902","datavalue":{"value":"Boolean-valued models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145343$1C164D5F-9034-454C-9891-F63E3E9A8CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9132ff72a5e5aa08805f4f9467c161dc5248268a","datavalue":{"value":"stochastic \\(\\lambda \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145343$A86299D3-5F40-4B55-A5D1-0111BDC580CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145343$A2AE206F-4C29-49A3-B070-F5C7323061A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c415f1900952a45448736aacc3f87605bf27a5d5","datavalue":{"value":"random variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145343$8A21E4B6-8A77-40B3-8506-7B8446B0D6DC","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":"Q5145343$B5BAE536-91BF-47C6-A780-6F66D2AA8F77","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"526b5925caf793159abde94b5eb67117fdccc3b5","datavalue":{"value":"W2809754822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145343$A8626B5C-56AB-4722-BE28-02F63E6DE132","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ab4fd71ad51ac082fbb6f91bbebab080cc6650c","datavalue":{"value":{"entity-type":"item","numeric-id":1675793,"id":"Q1675793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf7e7304b2b384e304903673a7ffa5702b0c720b","datavalue":{"value":{"amount":"+0.8159199357032776","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":"Q5145343$40BBBDE7-FC3D-4407-8646-41F5E28D4818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d02ae4e2f6c1a09d84ea37b2923286c41e7e6fc3","datavalue":{"value":{"entity-type":"item","numeric-id":2905328,"id":"Q2905328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84b0285aeccbf533dd0c8851446f7ecf8803b742","datavalue":{"value":{"amount":"+0.8029056191444397","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":"Q5145343$710E55EB-C983-415B-8D84-9AE29F9AE09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed887ce0f4bcde671aeccc0c757db6ed49ad390d","datavalue":{"value":{"entity-type":"item","numeric-id":2250553,"id":"Q2250553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f79ff478bc69f94eb22f4800c064808b64342391","datavalue":{"value":{"amount":"+0.8009885549545288","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":"Q5145343$BE27FAC6-E1EB-42D3-B8CC-D2D79848A8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35008d8f805e83cd9c29ae1ba3672867149606d2","datavalue":{"value":{"entity-type":"item","numeric-id":5178903,"id":"Q5178903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b74303549cb2ed2674e98686373b4c807ec7582","datavalue":{"value":{"amount":"+0.7768240571022034","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":"Q5145343$FB45481C-E691-41AA-8060-1AD532A2F840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de9e20076a29920716309cab1079d398be674dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3025332,"id":"Q3025332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b578ac14f55462849e1fec7f322131c9a23b3c3","datavalue":{"value":{"amount":"+0.7695370316505432","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":"Q5145343$C9FC9DC3-9454-4FD2-B8D4-94109454011A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145343","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145343"}}}}}