{"entities":{"Q550253":{"pageid":552020,"ns":120,"title":"Item:Q550253","lastrevid":51287762,"modified":"2026-01-17T14:57:53Z","type":"item","id":"Q550253","labels":{"en":{"language":"en","value":"Probabilistic coherence spaces as a model of higher-order probabilistic computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5919042"}},"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":"Q550253$BA4A409F-6B6A-4C1D-B695-568DEDE7E6AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5a25a2fdeded0d681acfeb286c1a7af3fd1ad16","datavalue":{"value":{"text":"Probabilistic coherence spaces as a model of higher-order probabilistic computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q550253$BAAA2365-C9BA-4EDE-9E63-4C13EF67AC0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c3311d72c0dcf9767b30b2a48ac2f91f3967ba1","datavalue":{"value":"1267.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q550253$068051B2-A2AB-4985-B57C-099C92A2B2FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93999ca0789e250fb0db50708f38a31742036836","datavalue":{"value":{"entity-type":"item","numeric-id":550252,"id":"Q550252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550253$4D55B009-78B2-4DFE-B8BA-2AB4BEAF7959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b2a4f692ace663faa44ef268c457b0c011ed01c","datavalue":{"value":{"entity-type":"item","numeric-id":195006,"id":"Q195006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550253$08A9234D-7114-457C-94AA-764E5896F61D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550253$E940ECBA-00D9-4A1A-BDC4-A5A7FF3CE497","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e83de025addf20ea5ebcef37a33b5699c76aba6","datavalue":{"value":{"time":"+2011-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q550253$4AFAE1B8-AE39-4A2B-A650-6C64BE40CA87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q550253$73B45719-F545-4FCB-8B8B-6484EA53B9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q550253$FE937813-99C3-48BF-BE84-A588D0C0BE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q550253$E86841BD-FB71-4701-B232-FB0F35927047","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0c1f2ed04a40fbc9500bc1aeec954729c9a8e1c","datavalue":{"value":"5919042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q550253$F9C4552E-9CB6-4704-A37C-FCCA1636705D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q550253$C48084F4-C64E-412E-B78A-C60FB7D3E755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q550253$38B8E0E5-E7DC-4819-AAE3-BB54B5A8D831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83e1cbf958ca5cdd955db7e283b8f28e42dec1f6","datavalue":{"value":"PCF","type":"string"},"datatype":"string"},"type":"statement","id":"Q550253$E5B27666-A1E3-4979-894D-818E0BED3A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q550253$91FCF2D1-6645-4747-A8FD-7BA897A3BFE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed819d96bc7cff24691938b6313255b68e60e95e","datavalue":{"value":"probabilistic models","type":"string"},"datatype":"string"},"type":"statement","id":"Q550253$F30C0AE3-34B4-413C-8F50-8019F26520C8","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":"Q550253$CFAAC06D-F94B-4D68-9896-DE2069A711E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"73ec130f5cf561ce7e0136df5ef858a603a43c3b","datavalue":{"value":"https://doi.org/10.1016/j.ic.2011.02.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q550253$76FA3E1D-2C36-4837-8AB3-B8872648C098","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b15c05884ef3a6e68d9fae3c5c7cd64efb030bdd","datavalue":{"value":"W2102548545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q550253$30ABF590-D3B6-42E4-8414-7E15936E3EA3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13e2c7bf7641da29d842a6ebdecaddddf4b9405","datavalue":{"value":{"entity-type":"item","numeric-id":4222034,"id":"Q4222034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550253$C22B9A58-F852-4890-8204-C156F2D9E3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c15a37e1cea15f374069f32e15730dc1397414b0","datavalue":{"value":{"entity-type":"item","numeric-id":599898,"id":"Q599898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550253$D8868CB6-7D3F-424B-8B75-8E630B5C3069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"383217e8d7c00d8ca1021a24b4cc0d89492f3a7f","datavalue":{"value":{"entity-type":"item","numeric-id":3221960,"id":"Q3221960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550253$A93D93B7-5E28-470E-8757-38C159CC427C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f91e65f1361da728c4984b4e5cc0f45065012e4","datavalue":{"value":{"entity-type":"item","numeric-id":1170880,"id":"Q1170880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550253$3B280107-560C-451A-8FD0-30DFA466BBAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ef8dc7d2f567a48fc717ebb6174dc3271c596b","datavalue":{"value":{"entity-type":"item","numeric-id":3608420,"id":"Q3608420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550253$10F445EF-9020-4711-9FFE-808694A535CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d7631dfe98f153b44523a49c42bb14e1fd65c15","datavalue":{"value":{"entity-type":"item","numeric-id":3605523,"id":"Q3605523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550253$1A09DA2E-8183-4D74-BE37-F2AE8BEA1010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"456bd0ebb5ca7f1cb78884a9ce263e1bd5e6bc1c","datavalue":{"value":{"entity-type":"item","numeric-id":5738959,"id":"Q5738959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550253$7F753261-2078-4A34-B362-EA2EFF41AAB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65cc087569869137cef606dc04ca1224b51f202c","datavalue":{"value":{"entity-type":"item","numeric-id":3025332,"id":"Q3025332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550253$9F302777-80AD-4EC2-8528-AF254C698B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"780a9ad4c86d73c5a3a0d8fefdaaf36e7ad91501","datavalue":{"value":{"entity-type":"item","numeric-id":4286525,"id":"Q4286525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550253$50D04E60-FFE3-4A2D-B8B6-4B8447005F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8942ca8af4693b2a95bafc41ae23d115582ec56","datavalue":{"value":{"entity-type":"item","numeric-id":4792972,"id":"Q4792972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550253$84B42407-7132-4FDF-AA35-9A86EF762774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b13a22e38312c231e25074be84e18e44658eb2","datavalue":{"value":{"entity-type":"item","numeric-id":5697709,"id":"Q5697709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550253$909E3A77-C701-449F-A753-718799597865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44344e1b9d06c74b17ab363ea3c3099e86c02d07","datavalue":{"value":{"entity-type":"item","numeric-id":860836,"id":"Q860836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550253$596AC6F6-07A2-4A2C-B3FF-D696EBC3BF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550253$029930E7-B5A4-4F2F-86F4-3DFB0DEBB805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550253$2BD59A26-3BFA-423E-B440-939DD8D199F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1440bde07a53009385a9a173fdd2df129d6e01","datavalue":{"value":{"entity-type":"item","numeric-id":1103618,"id":"Q1103618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550253$8FDDBF50-CF31-47C3-8B44-FBE4A3A74207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d7c8129c62fa78a6a79b206009659bebc14d905","datavalue":{"value":{"entity-type":"item","numeric-id":1575868,"id":"Q1575868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550253$C738B5DD-4F2A-4313-ADCE-0C09AA347809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a04ee6adfb04554ffe3257fcb3df23ac08b8729e","datavalue":{"value":{"entity-type":"item","numeric-id":4650586,"id":"Q4650586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550253$A52DC9CD-E5FC-49DA-A95F-D7ADD1644927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550253$68B9D1B3-DC0E-4B4B-9A5A-62B1F26BCFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550253$E4A7FFA3-200C-4688-9F02-E66C47BF3149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9b59a5650f74d0bf864ccb2b42bedecdab9a58","datavalue":{"value":{"entity-type":"item","numeric-id":4501156,"id":"Q4501156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550253$CB98950F-E8AB-4236-8A85-53F79AC26E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550253$A19FE51E-F6DF-473D-9ADE-20D7446F30D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550253$5CB886EE-C676-4915-9DA4-AE3C7ABC0FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fe4277615c121681e25d9d93b68a6f0566c8115","datavalue":{"value":{"entity-type":"item","numeric-id":1139367,"id":"Q1139367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550253$0AB33B4B-97E2-49FE-AB33-129A7D7D0552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31e3166c702946f2401b3476066fee9ebe1fba7b","datavalue":{"value":{"entity-type":"item","numeric-id":4818937,"id":"Q4818937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550253$3FCF7D7B-541D-4FEC-B0B5-C9981494BD99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97203e2af4d50c1df14f063a022bcdcfa1923aaa","datavalue":{"value":{"entity-type":"item","numeric-id":5432352,"id":"Q5432352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550253$7864A6EB-7B23-4BF3-8699-1F8081DF0E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93ded9b57b69cdd985cfd619876f5c125f9cf497","datavalue":{"value":{"entity-type":"item","numeric-id":3197780,"id":"Q3197780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550253$F652CC54-05F7-4EEA-9D82-671E9825EFE4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ae37e04313cd1dd6d823e1501f7abb2705a1b3e","datavalue":{"value":"10.1016/J.IC.2011.02.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q550253$591182E2-7A61-4B71-8E80-CFFA069C951E","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":"2ca4ac850892c3d031b4afafa15175b347a3f22e","datavalue":{"value":{"amount":"+0.8771920800209045","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":"Q550253$49B606DB-2648-4691-8834-3FA2A2F3234F","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":"84bb51da362d333198b16908b3189e78d1ee05a1","datavalue":{"value":{"amount":"+0.8523290753364563","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":"Q550253$63C78337-AA0D-4EDD-9FE0-56C80A5EE001","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":"bf2b773c08929e916031af0ca0bafca67c0629f6","datavalue":{"value":{"amount":"+0.8417521715164185","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":"Q550253$69A2C94E-D648-4B7E-8BA9-352B1D8334F9","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":"a967e727a5546e1b81cf4b895dad60d7f1b66d9c","datavalue":{"value":{"amount":"+0.8233615756034851","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":"Q550253$A53FAF49-93C8-4132-ABCC-C41015EB24CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb49db9558551335dbf79d0ff87551d41e94d690","datavalue":{"value":{"entity-type":"item","numeric-id":2825348,"id":"Q2825348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25182fc5332bb0649ec04f94d29326c1e059f71a","datavalue":{"value":{"amount":"+0.788897693157196","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":"Q550253$1A301A77-AF24-4C22-AC78-CAC637CB07E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:550253","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:550253"}}}}}