{"entities":{"Q2289088":{"pageid":2299831,"ns":120,"title":"Item:Q2289088","lastrevid":78546011,"modified":"2026-05-06T11:51:06Z","type":"item","id":"Q2289088","labels":{"en":{"language":"en","value":"Strong adequacy and untyped full-abstraction for probabilistic coherence spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7158708"}},"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":"Q2289088$A4C9DE6D-3F85-4E63-9A69-E94D5556181E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c19493a6b93473b3e9ec3e20bf3fbbed2b5171f","datavalue":{"value":{"text":"Strong adequacy and untyped full-abstraction for probabilistic coherence spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2289088$55CF374C-D0D0-4ACE-BECF-2EAF6D9E9E03","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"588e14f0ad570024eebf464ab4365440193c80bd","datavalue":{"value":"10.1007/978-3-030-17127-8_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289088$B227AAEF-C711-413E-98FB-F690BFCE089B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"903cd1850797454adb49ea57efcb96fb0be5e76d","datavalue":{"value":{"entity-type":"item","numeric-id":2289087,"id":"Q2289087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2289088$FA10A7CB-3C42-4B30-8244-CAA9CB1D0DFE","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":"Q2289088$C3C353E1-6D4B-4D2C-8F48-9142402550D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c3667234f64e059790aacf6846d4478bb70e09b7","datavalue":{"value":{"time":"+2020-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2289088$FBD42582-8636-450F-A6F7-48D185B9DD9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289088$BC0E5C1B-F658-42CA-AF82-DE0A5EDC2A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289088$952E1CF3-8820-4C02-83E9-3539FBEC1D2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"057d46db3ce7235136e444d66921b99ab7e6b2cd","datavalue":{"value":"7158708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289088$81A8211F-0F05-4145-A60A-1A6D53D6B3C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2289088$0B272224-EE66-4C51-8E3E-7E8A0C325BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2289088$EDC36B04-CFB5-4295-B8B7-5AA8EB893422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ad811518abb5bec64610c5864cf571987121126","datavalue":{"value":"probabilistic functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2289088$09A7D0BE-3022-4098-B4E3-9502EF297D94","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":"Q2289088$A9A17945-E5EA-4345-90AC-D96EDE93B875","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0772baa631ab66cfae48f49d9df5ea2a66ebd4f9","datavalue":{"value":"https://doi.org/10.1007/978-3-030-17127-8_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q2289088$F8708759-8136-4F28-ACDB-84D08D0424A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"637a6ae6d57be60b82bf60f7b698729a3a2b748b","datavalue":{"value":"W2931195835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2289088$CE00894F-8965-49E4-9A2E-64A188EE9188","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff295f27806eb93f7637b1e6403c75407fb59232","datavalue":{"value":{"entity-type":"item","numeric-id":5408427,"id":"Q5408427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ca13139ed1d9900d50d65c366276a828afc71f2","datavalue":{"value":{"amount":"+0.8548134565353394","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":"Q2289088$51AED87F-335C-479E-BAB5-F9690E074381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7b97c4bf4868abb29efa5e36c74ad7bb1c680be","datavalue":{"value":{"entity-type":"item","numeric-id":4561511,"id":"Q4561511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c6a470410832383c1f9eae3318c3577645b3dc7","datavalue":{"value":{"amount":"+0.8417530655860901","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":"Q2289088$2B2B412B-006D-47F0-99CB-8AF2277CED37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789baa11c99421e6c5178e5fbbc7f6a9ceeb7e86","datavalue":{"value":{"entity-type":"item","numeric-id":550253,"id":"Q550253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"717c6be374094df4bc8c30fff402cdea2bd2c4b2","datavalue":{"value":{"amount":"+0.8281262516975403","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":"Q2289088$A7C57514-64E3-483B-A303-34DC3427ACEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e711760fa5ae8e40607f9d94365556c1e40bf1e","datavalue":{"value":{"entity-type":"item","numeric-id":4611384,"id":"Q4611384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eab7ef0988f44924a0880a9caf39b71a96bc83a","datavalue":{"value":{"amount":"+0.7916808724403381","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":"Q2289088$097D437F-3BF9-49BD-B4E0-FFCFECB8C236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"494a53445db9e0ca2e7bd6bde2f49be6a0d7865a","datavalue":{"value":{"entity-type":"item","numeric-id":2988358,"id":"Q2988358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80e64b6dad4a993e575723535021e1a4160f195c","datavalue":{"value":{"amount":"+0.7894076704978943","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":"Q2289088$D4A28FD1-BBCF-4ABD-9DE7-A4B44FCBB161","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2289088$28D4FAC0-9C41-468A-A4E5-16581B0164D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strong adequacy and untyped full-abstraction for probabilistic coherence spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strong_adequacy_and_untyped_full-abstraction_for_probabilistic_coherence_spaces"}}}}}