{"entities":{"Q5408426":{"pageid":7438000,"ns":120,"title":"Item:Q5408426","lastrevid":58555917,"modified":"2026-04-05T17:55:11Z","type":"item","id":"Q5408426","labels":{"en":{"language":"en","value":"On coinductive equivalences for higher-order probabilistic functional programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282431"}},"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":"Q5408426$6E69F4FC-6D3A-4DFB-A699-E69253C764B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2316da0fccb8813fbecea0afa5f4f6317f92a9c7","datavalue":{"value":{"text":"On coinductive equivalences for higher-order probabilistic functional programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408426$4B3AA37E-4C92-4B59-8110-CB6DA9806FCB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce48382d00bd9a07a0e64ee9ad6b029ac8dfc847","datavalue":{"value":"1284.68424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408426$8C32A5E1-B401-403D-AB7C-AB5E6F85145F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a387a5e4b6a508e2ed5a418860d6e1bfaca7d1c","datavalue":{"value":"10.1145/2535838.2535872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408426$2CB70869-EDD0-4539-BC7D-A312CCC0B667","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f9aee8fa2e490413f426890c8aa34847b6dc293","datavalue":{"value":{"entity-type":"item","numeric-id":276253,"id":"Q276253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408426$45921E24-214A-40CB-889B-CEAF7E3D19F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a523e92a90e1412b878e9cc1a8f84e3e5e6b92b5","datavalue":{"value":{"entity-type":"item","numeric-id":342733,"id":"Q342733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408426$40FD208C-EE3F-4CDD-9AA8-E2FF195779D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"60047bee8e3ab5324d9dd2d0b47d97efb6da78b4","datavalue":{"value":{"entity-type":"item","numeric-id":1671143,"id":"Q1671143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408426$DBC4967F-A32C-4480-AC47-A57B8B7143FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"640f3283bf4ebaf19f5992b18fbb1bf0f8463c2b","datavalue":{"value":{"entity-type":"item","numeric-id":5408394,"id":"Q5408394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408426$ACD1B181-3590-49E4-BE0D-3429D30E0445","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-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":"Q5408426$7FD3374E-B5BC-4210-86E7-A2A17DA8ACA2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"581f4594a04104c7df6edcee25d321ef82f7fdd4","datavalue":{"value":"https://arxiv.org/abs/1311.1722","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408426$78943F10-9858-4AC8-94AD-A29BC7FC9006","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408426$BEB53AF6-04B6-420C-AE5C-E09C9AF8DC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408426$92030452-6DA6-44C3-8904-609802646004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408426$B3392D54-416E-4C44-A035-EAEB867B226A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408426$982B8F6C-B374-4BAA-9C08-9D74CA60A78E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4f3735ae1169d055fdf37d0ee936625e1bdb464","datavalue":{"value":"6282431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408426$2755BA0B-0413-43C7-A093-A88474F1A184","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408426$50D9FBEE-076F-4F89-894F-814FE1D93116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408426$BE28D85C-3E03-4AE1-A264-65BD96D0D3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c24558679b006d207a41a9acaf545d2f94db19cd","datavalue":{"value":"Howe's technique.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408426$400AB067-3660-4EEE-84E2-84BDDA670278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cf349d7610c3cafda5ef8b7c78c1f945a88ccf0","datavalue":{"value":"probabilistic lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408426$E73808F2-8496-4940-902B-EC8577377DD1","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":"Q5408426$5773D1DA-F476-48EC-97ED-5A3E425A89A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f4fefd7c4ad61ee97b4329e9864589e052b7205","datavalue":{"value":"W2035063966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408426$7444FC0E-D3E8-4F0A-9CA1-BAC1B197CE89","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":"aa742f9e5f6bf769c6a3b3b33b227e4efad3f4cb","datavalue":{"value":{"amount":"+0.8591291308403015","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":"Q5408426$FE9137C2-3DCE-4068-9DFE-3BC381452E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e96f794f195212c52036e4aadb67f10ff32e1fd","datavalue":{"value":{"entity-type":"item","numeric-id":4222760,"id":"Q4222760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8823d8fcc0526f467c567439ffe6212834091639","datavalue":{"value":{"amount":"+0.8189293742179871","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":"Q5408426$B30C3CFD-E9AC-455D-8376-EE6F1BF64245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1486b45c1c68680cbf686be9b59020d264fc5026","datavalue":{"value":{"entity-type":"item","numeric-id":3449626,"id":"Q3449626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e775ab6d2a30b8f8169858dbbe4e94b8f5cb4a9e","datavalue":{"value":{"amount":"+0.8127323389053345","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":"Q5408426$536B3A9F-1F84-4242-BE39-88B598822DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23cb0ecb65a119c9d7fd6bc8a485baa7617b2694","datavalue":{"value":{"entity-type":"item","numeric-id":4870806,"id":"Q4870806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b12b6f976f7b5b78b88bc9d2a2a46b684dbb0c70","datavalue":{"value":{"amount":"+0.7943511605262756","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":"Q5408426$B0D9E2BB-B61E-40BF-BA3E-F7ED323C8810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e86fffbf2b110759b555950f6d521d8d7229e1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1917068,"id":"Q1917068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b12b6f976f7b5b78b88bc9d2a2a46b684dbb0c70","datavalue":{"value":{"amount":"+0.7943511605262756","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":"Q5408426$BCAB7344-4D88-42BD-BD9E-FF03FA911C99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5408426","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5408426"}}}}}