{"entities":{"Q5145645":{"pageid":7175216,"ns":120,"title":"Item:Q5145645","lastrevid":41725979,"modified":"2025-05-07T15:11:11Z","type":"item","id":"Q5145645","labels":{"en":{"language":"en","value":"The Benefit of Being Non-Lazy in Probabilistic \u03bb-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7299479"}},"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":"Q5145645$2E33FB59-1662-489E-81F6-EB04595D6FFC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c007b40d9cfe862f8ac6ff4078eab502c81701d","datavalue":{"value":{"text":"The Benefit of Being Non-Lazy in Probabilistic \u03bb-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145645$4644A1C2-22DD-4295-A07B-5993C8828AC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14acfb86822aba650c51b5955f59e9813612dd64","datavalue":{"value":"1498.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145645$B4A0063F-241C-420D-8753-D3D27BB39888","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da2225da5479382b361bc19793ae31c05f306e57","datavalue":{"value":"10.1145/3373718.3394806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145645$143D4029-89C1-4C9C-A84B-3F026866944F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2351080059503621b4dd8c360cc65469cb65c300","datavalue":{"value":{"entity-type":"item","numeric-id":2146056,"id":"Q2146056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145645$CAB44E80-102E-4D28-854E-8D8B756C6765","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":"Q5145645$E11C5108-4EC1-46B1-9AD8-545C4205A39F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d6acabd1d03c7bf4038f1fe09f6b50384b32deb5","datavalue":{"value":{"entity-type":"item","numeric-id":5145612,"id":"Q5145612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145645$1009313D-A159-441B-94E2-8716019DBBA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2be4cfc06a63d907ae95fa44423b78da0f5c0eb3","datavalue":{"value":{"time":"+2021-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145645$C7D5FB9A-97A9-4627-8A93-C4F8CC454743","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145645$AEB6E94B-27CA-4456-B99E-3276C0934AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145645$BA054A61-52BC-4210-BA51-EE60E9D10E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145645$5AFAABF5-1A39-4377-A38B-A6FA0E452C60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"009a2d44f490bb41106c671e90f0deed1ee71368","datavalue":{"value":"7299479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145645$4DEC1BD6-A5E1-4558-87CE-659C57EFFC99","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145645$2E01F67F-E53C-420D-9AB5-F412D45F6C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145645$F4704E30-9703-4BF1-A929-180A83ABD5AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ace8bf4699cb64394d0b2677300163ec8dcbc25","datavalue":{"value":"observational equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145645$8EE6B2C1-D389-46A2-A43B-9917ED29CD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05aa84999b3e35d54a5670b8c4519ff4681e7dc3","datavalue":{"value":"probabilistic lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145645$7B8BC01A-5B66-40B9-A96E-A0FAB2A9DCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80c99afc4950f85b79a2fe3707eb2e870b9567f","datavalue":{"value":"separation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145645$BF6DDFC9-F70E-4B52-88B2-AC75EE43968C","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":"Q5145645$5654FA48-BF15-4D5B-B314-6E7BDAA41E36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f98aaffa12bae3b5161b6e53dc7bf53e0dcda216","datavalue":{"value":"https://doi.org/10.1145/3373718.3394806","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145645$AC81DF54-7695-4029-AA8A-14B8AAE88450","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7352a81b3d2c9eca82937b06a830799f828d54d","datavalue":{"value":"W3032645613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145645$4C903D85-9590-47D3-A594-886A34E92304","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59cbbbe878bfefd506a0814c1562a18cb7869040","datavalue":{"value":{"entity-type":"item","numeric-id":5410701,"id":"Q5410701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1e1a9059cce3a16ae6926d18eab66a603db79b5","datavalue":{"value":{"amount":"+0.9156523","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":"Q5145645$9F6B3BD7-149D-40E2-A377-9FDB15D808C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df5f16e1d5357fe45ba91d829e13d82efe8ced63","datavalue":{"value":{"entity-type":"item","numeric-id":5089028,"id":"Q5089028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9685377f30f1c7fe9a69a9c8c624c04c5c541146","datavalue":{"value":{"amount":"+0.892025","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":"Q5145645$C3DF8991-86BC-456B-B346-7584B1536BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d919f8964d09ebbdebc9dcb4ee89e2cfb8b5af60","datavalue":{"value":{"entity-type":"item","numeric-id":283739,"id":"Q283739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6197ffccade525870c8036e1c15edcf1edb6ebb0","datavalue":{"value":{"amount":"+0.857293","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":"Q5145645$2C32210B-C34E-4A58-8CB1-C86B94C434FD","rank":"normal"},{"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":"3f96e2f9edb495e15f2740cee074895debebbd13","datavalue":{"value":{"amount":"+0.85394317","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":"Q5145645$5E6AA995-82F4-480A-A37F-3AD9192176B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07f16d33dc06994c1e8253b3e6cdf1336fcadfdf","datavalue":{"value":{"entity-type":"item","numeric-id":2848130,"id":"Q2848130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05151b205660737eff7eedbde5bfb71e79bcabb9","datavalue":{"value":{"amount":"+0.85337687","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":"Q5145645$C6603946-6144-4ECE-8D06-7CFE44C3473E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad96146fbb65bf27352de10af474d2e6dddf63be","datavalue":{"value":{"entity-type":"item","numeric-id":1944119,"id":"Q1944119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2ed07e1a5433f68ed66d9af2b5515b16e70510c","datavalue":{"value":{"amount":"+0.8451123","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":"Q5145645$6C5F2771-D147-4E1D-9862-786FEC57E522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b60263cfed2f0011facdda13fb6cb3cf520aaab8","datavalue":{"value":{"entity-type":"item","numeric-id":5079740,"id":"Q5079740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c2a735d61e85085171adce14c7e6f1839063c79","datavalue":{"value":{"amount":"+0.8431793","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":"Q5145645$8C3B6388-C251-4503-B39C-19AB6EDC82E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed90edda5a3ae9478070c0affebd6e7b3e76a613","datavalue":{"value":{"entity-type":"item","numeric-id":2133169,"id":"Q2133169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4303b0b398ea74d3ce11be39c5bc6b13edc344b5","datavalue":{"value":{"amount":"+0.84311366","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":"Q5145645$F7C81CAC-981A-4B64-A8A6-DABE7E97014A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4709877b372ca0fa9cba969462cf15148375a25","datavalue":{"value":{"entity-type":"item","numeric-id":3179291,"id":"Q3179291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"372074209612af768a501144ecc3e699214dea2d","datavalue":{"value":{"amount":"+0.84002113","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":"Q5145645$548B7EAC-9D7A-44F3-B86A-E6033C848ED6","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":"ae88c5273e8d9246a87b6d51fce90a252ef28832","datavalue":{"value":{"amount":"+0.83272386","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":"Q5145645$9FB7EC2C-3C11-4615-BFC6-3B8D217F8A71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145645","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145645"}}}}}