{"entities":{"Q2828300":{"pageid":2839038,"ns":120,"title":"Item:Q2828300","lastrevid":42230596,"modified":"2025-06-02T18:35:13Z","type":"item","id":"Q2828300","labels":{"en":{"language":"en","value":"Environmental bisimulations for probabilistic higher-order languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6642981"}},"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":"Q2828300$543B4D6C-37EF-44FB-B27E-047520043F8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b375751d6cc367ce5128837472a0978f581fcbf","datavalue":{"value":{"text":"Environmental bisimulations for probabilistic higher-order languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2828300$3613E1CF-D7DF-431F-9516-FC018FA78C4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eabf435dc342a8c746046c5a47da0a2877f14095","datavalue":{"value":"1347.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828300$DBD48B4B-4F1D-40AE-B4D8-F7730EAEAAC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1bcc1f5d6aabae5bb01710bfb35c2ccbf988a72b","datavalue":{"value":"10.1145/2837614.2837651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828300$B5A9B752-3981-40F3-9D16-C0DBA1395EC0","rank":"normal"}],"P16":[{"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":"Q2828300$82F79CAA-30D1-4132-9963-BFA8E8F3997B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2e2a49c5a0de600393d8880b41f1d7788f7eb62","datavalue":{"value":{"entity-type":"item","numeric-id":2828299,"id":"Q2828299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828300$84BF0F87-0C1B-4E87-B210-F39FA15050B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a99b403aab07b56f8645942f86d22ab58064aa8","datavalue":{"value":{"entity-type":"item","numeric-id":2828237,"id":"Q2828237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828300$3A98D014-C392-4886-82BC-F6CDCC7382EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a707999eca047eb3f3f8c2c26743b59dad9c97f","datavalue":{"value":{"time":"+2016-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2828300$2FBB3F25-0F14-45FB-97C9-E7D20B232014","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"622f672775692ffd0e7c30504027a8e5bd6b1736","datavalue":{"value":"https://hal.inria.fr/hal-01337665/file/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2828300$C4B2A4B1-11BC-446B-AB72-008558E0B7CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828300$55B99DC9-6A64-4A6D-9F42-9445DD7E374F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828300$5497F721-F717-4053-ACFA-5A202D6210B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828300$C70D8F2B-6239-4941-BA87-5C143F4CD4D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"196fdaf54f4d672a3fdd013903b23c0efd39282f","datavalue":{"value":"6642981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828300$9EA9656B-D56F-48F7-9600-F98C64D6C65D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b6692564b9126396903952c44aa98b86a268b23","datavalue":{"value":"contextual equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828300$73133AE7-FAAC-400B-B0C1-FB488E4E7EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f0b6b561661f7ff738af74c31debb838e599d93","datavalue":{"value":"environmental bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828300$DD8E01F4-7071-43C6-AC11-ECFA844A1100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af91b09e72b36bc7bcd91efa52b51782b9e99697","datavalue":{"value":"imperative languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828300$D4A56095-8F64-4ED3-8659-69D0953B5C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05aa84999b3e35d54a5670b8c4519ff4681e7dc3","datavalue":{"value":"probabilistic lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828300$203FCE12-DF9F-497F-B451-990C9940114C","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":"Q2828300$B2072EA5-C9A8-4696-B316-357C61C696E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"df456b9d3df6f2a6f4e54b5a6c062f852ebcbfc7","datavalue":{"value":"W2296330072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828300$79E98013-6F8A-4FB9-8283-8E557024FB49","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f25a83d5837b7795d35bccc383385e16a7a70b18","datavalue":{"value":{"entity-type":"item","numeric-id":2495642,"id":"Q2495642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1792acbea97d91a4443ac7ae537120ee8bb43db","datavalue":{"value":{"amount":"+0.90064514","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":"Q2828300$621D727F-C47A-41F8-8C33-116DDFA412F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a726cfe2b75d6205f8651954b7c7dac02df421e1","datavalue":{"value":{"entity-type":"item","numeric-id":5412012,"id":"Q5412012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c3b6b59d06f2b25fb6152a9c8387c9a52a62f4b","datavalue":{"value":{"amount":"+0.89596903","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":"Q2828300$05342757-DEC6-40AA-AE95-77B399C9E2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a34fb33233288677cb4d36670355a53519645dc","datavalue":{"value":{"entity-type":"item","numeric-id":4571977,"id":"Q4571977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c70aef7b1d3a80363e14e2927268935fa68158c","datavalue":{"value":{"amount":"+0.894486","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":"Q2828300$3FD09563-854B-4D87-B131-DDB7B8C9AA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7788b629a24741a83a77059e6c66cb77a96d49b2","datavalue":{"value":{"entity-type":"item","numeric-id":1960528,"id":"Q1960528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c70aef7b1d3a80363e14e2927268935fa68158c","datavalue":{"value":{"amount":"+0.894486","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":"Q2828300$5880A0C8-AAD5-48BE-8A21-1ABF525758A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0509920ed35473137dcf14232b632bcc1341c04f","datavalue":{"value":{"entity-type":"item","numeric-id":4535031,"id":"Q4535031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"865fcd30ee4e69d3b11451ed46bfbbc1ff609128","datavalue":{"value":{"amount":"+0.89004314","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":"Q2828300$34740E7E-E491-45C0-8C28-F0BEFDF22A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aef3fb02448c0c064a8a2ad9598173066a17fa22","datavalue":{"value":{"entity-type":"item","numeric-id":5739359,"id":"Q5739359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"561b5130582c2662f475423b809a5f08bc985e82","datavalue":{"value":{"amount":"+0.8883928","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":"Q2828300$D9C068D8-BF15-49FF-AF0C-E240073C38CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e04e28a65958541ac34a5814835d312f57fea436","datavalue":{"value":{"entity-type":"item","numeric-id":3190122,"id":"Q3190122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d277a6a537ef154ba47429f5c2b11ab3fa91cef","datavalue":{"value":{"amount":"+0.88730145","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":"Q2828300$C4C9FFA6-66B1-49D8-A9D7-72D019242184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97213f4abcf4e8b14ba06467622adfaaf23c0640","datavalue":{"value":{"entity-type":"item","numeric-id":2937796,"id":"Q2937796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66ba94d672c37dac855ee34f316b4b92e15620c9","datavalue":{"value":{"amount":"+0.8826299","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":"Q2828300$DBF9CB6C-5F09-481E-A418-64275D251346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"827a057f6ccc2e999f2798b8eb857bc3816480c9","datavalue":{"value":{"entity-type":"item","numeric-id":3012928,"id":"Q3012928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea7ae49656558421fd9bc1e43cc7a92c28fb9732","datavalue":{"value":{"amount":"+0.88079643","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":"Q2828300$06C0F396-089A-4B3F-BE2F-733E33FCA4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"913724d19c5f2456e6de8506edc37016dd1a83da","datavalue":{"value":{"entity-type":"item","numeric-id":4536612,"id":"Q4536612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6ad684a61f8e875c5b8d50e98305168b43eb028","datavalue":{"value":{"amount":"+0.8789481","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":"Q2828300$96A612DA-0046-4CD8-87AF-D6AB4126B018","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2828300","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2828300"}}}}}