{"entities":{"Q5408427":{"pageid":7438001,"ns":120,"title":"Item:Q5408427","lastrevid":51972071,"modified":"2026-01-20T16:09:22Z","type":"item","id":"Q5408427","labels":{"en":{"language":"en","value":"Probabilistic coherence spaces are fully abstract for probabilistic PCF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282432"}},"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":"Q5408427$22F3C1A1-3EDA-4746-893D-64B9956D2501","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc022cc6b5bba70157ffdabe44dc325ae38fd4f4","datavalue":{"value":{"text":"Probabilistic coherence spaces are fully abstract for probabilistic PCF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408427$27FDEE52-BCE5-4BB9-9788-DF5FC16723AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b577f830fd86ee25909f516f942c3c7d0647073","datavalue":{"value":"1284.68268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408427$7B410071-7347-472E-9005-765B6F242511","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9487d2ca4eb1401fc1bb41e979bee52fd6e06601","datavalue":{"value":"10.1145/2535838.2535865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408427$15764123-2D4A-4B4B-B070-C5A3A8E680EF","rank":"normal"}],"P16":[{"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":"Q5408427$F29CE1DD-7196-4CA4-82FB-3A558D87AEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b7061f0dc89ea4c9e92e579c2d5bbcbdff493dc","datavalue":{"value":{"entity-type":"item","numeric-id":891920,"id":"Q891920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408427$565CAE3B-07E4-401C-81DD-C95BF28E6A54","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":"Q5408427$91D1BBA6-1B49-4492-8A15-2BC2FE5815F8","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":"Q5408427$B8DA55CA-90D1-4E15-8922-DD070297294B","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":"Q5408427$AE73E7B2-7A87-4076-B678-AB88F5772C01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408427$3B32681F-4AC9-4CC9-97E8-FD00EB4139CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408427$7A558D64-0981-4B25-AD3C-49A30B583BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408427$55C4614C-346B-42FD-938B-E7E2D7D1D647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408427$1E0689C1-F641-44A8-9290-FF97D10671C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37510159d414759dcafee1995ad1ddf4c470c4c1","datavalue":{"value":"6282432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408427$336B657D-AB5B-47D9-99AE-0F15E9497F75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408427$F2FC274F-9116-40B0-AAA6-F593A55AA2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75a9fc2caac668f17884394097a46c3bd9914c42","datavalue":{"value":"probabilistic pcf","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408427$AC75E1AF-6874-4D27-9695-4DD725593F86","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":"Q5408427$BD06935D-248F-46ED-9505-850F4E9A95B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba918d0bbc42dab43c25144702d5c40c86381727","datavalue":{"value":"https://doi.org/10.1145/2535838.2535865","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408427$6C606922-595C-45A6-918F-17CD70F7C528","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74d00f9a99e76db3d9232133f53f3fac03093586","datavalue":{"value":"W2033104047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408427$41608056-FE02-4A1D-A495-BD376446CABB","rank":"normal"}],"P1643":[{"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":"d71ca2e90e85cd4fd93a02c615b94ac7d3cd21f6","datavalue":{"value":{"amount":"+0.908887267112732","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":"Q5408427$8DF05930-44DC-4AE8-A249-FDB5403431F6","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":"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":"Q5408427$BCCC799F-1981-4D8A-94B6-BB5DF4123C37","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":"58e02d195cc2d591b36499dd42c1b6c479c1e4cd","datavalue":{"value":{"amount":"+0.8341531157493591","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":"Q5408427$1B831133-0C9B-4AD4-96F9-84B976124109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c569d84b50a3b293610375aa3af3a8d7b1c15136","datavalue":{"value":{"entity-type":"item","numeric-id":478400,"id":"Q478400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"238c28663c9d3157a67ddb7bb0f4490cbc55a55d","datavalue":{"value":{"amount":"+0.8115842938423157","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":"Q5408427$09444719-CDC3-46A9-BD00-F72282178897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53950197204c384889877b0f46c1f2c8d1c1165e","datavalue":{"value":{"entity-type":"item","numeric-id":5145294,"id":"Q5145294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e4a8f8adaed149eea69cb5a400ab77570ab18be","datavalue":{"value":{"amount":"+0.8087806105613708","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":"Q5408427$4471D48D-37E8-45E5-9226-8233292C1063","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5408427","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5408427"}}}}}