{"entities":{"Q5145294":{"pageid":7174865,"ns":120,"title":"Item:Q5145294","lastrevid":53911571,"modified":"2026-01-25T22:23:24Z","type":"item","id":"Q5145294","labels":{"en":{"language":"en","value":"The concurrent game semantics of probabilistic PCF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298746"}},"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":"Q5145294$C9AC6CF7-495A-4F7E-8137-C1BCCA983159","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60569c507c187b11be6644796ef249c236577eeb","datavalue":{"value":{"text":"The concurrent game semantics of Probabilistic PCF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145294$5D6D9155-2FF7-4C8F-9B40-7DF9F6B9ACEA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adb6bdf6d087cd2fc4045ac3253c5e306c21987a","datavalue":{"value":"1497.68331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145294$DD1633AB-FA59-4436-8876-526A8013C216","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5afe198e12c401e9fad8863fecf71561735574bd","datavalue":{"value":"10.1145/3209108.3209187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145294$01658F06-AE27-4EDD-9B26-6497D967B87D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"938af2ce07fc16cbb0856de7e6d7dfd8979851b4","datavalue":{"value":{"entity-type":"item","numeric-id":283742,"id":"Q283742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145294$B5CEC08E-E977-4150-AB09-AAF6B10E6146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af6ed2d9d88301ad27573c1eaced6d353e375ed8","datavalue":{"value":{"entity-type":"item","numeric-id":265793,"id":"Q265793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145294$51B19499-134D-4518-9B70-C125EFC03D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf8100fe1daaa10fd66d71f1ac2928d6a6695385","datavalue":{"value":{"entity-type":"item","numeric-id":2134836,"id":"Q2134836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145294$D27B3CE8-073A-45ED-B838-3DA92C959F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a31faab77501481f5eeb576293dcd59bdbba3a61","datavalue":{"value":{"entity-type":"item","numeric-id":265794,"id":"Q265794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145294$3B9EC59C-F36B-4BDC-A0BD-637F170BCF12","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee82b0c640d35f6663be3f8a5187d8cc540da0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5145269,"id":"Q5145269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145294$627E007C-410E-402F-ADEA-1BA8667FC71B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145294$D6F14156-3CC0-454D-8231-5040F3D975F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b0c7d6555ee8d2b9899ab795638f37886f28788","datavalue":{"value":"http://hdl.handle.net/10044/1/58832","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145294$D18EE307-C2AF-4075-BBCC-1E6FA304F479","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145294$A4D8FDBA-08BF-4837-B7BE-457058053AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145294$578A30A4-6F48-473E-A993-500E611FA342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145294$37E2E7FD-2D85-433C-960C-DA3ADC3B11FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145294$D3CA99FB-7D69-46B5-A808-FB42FD4224E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1de9a1d3cb56529b73145f0d0e44984f8457e444","datavalue":{"value":"7298746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145294$8ABFCC27-2A03-4B43-ABF7-78454B4E2BE4","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":"Q5145294$65EB0AF9-FE11-4764-BA47-1AFFD2FB35F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70da0924c2fe91b66928b35dd52bb3608c6f3803","datavalue":{"value":"W2798278864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145294$080DDDF8-0CB2-47E2-98C1-A67B8E1F5CB0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8abc5966f941d49dca9050870ebf5b033fc9847","datavalue":{"value":{"entity-type":"item","numeric-id":4635807,"id":"Q4635807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0db8a88332cb185a3d859de69fbf56bf1fe01752","datavalue":{"value":{"amount":"+0.8624918460845947","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":"Q5145294$E45DBDBB-2614-4C60-90AB-238DC02E1F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f82440d75f6230f8e0a8adecf6d808dec059c173","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b451c08eabc7f5d90959a5b4414b10df2645f6f","datavalue":{"value":{"amount":"+0.8199940323829651","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":"Q5145294$15AE9DC7-9909-4EE4-8D3F-224FC78FA416","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":"4b451c08eabc7f5d90959a5b4414b10df2645f6f","datavalue":{"value":{"amount":"+0.8199940323829651","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":"Q5145294$B5011BF0-ECA9-4CCF-9878-6EB7D5C2B0DA","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":"c2eb16f8838b9cdac082d7c826df497ab1d8b1dc","datavalue":{"value":{"amount":"+0.8188478946685791","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":"Q5145294$FD8C86DF-81A8-4233-A817-59442BB981AB","rank":"normal"},{"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":"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":"Q5145294$A2B33A48-3A8C-441B-B72A-1397A9666356","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145294","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145294"}}}}}