{"entities":{"Q2787451":{"pageid":2798189,"ns":120,"title":"Item:Q2787451","lastrevid":83328446,"modified":"2026-05-07T07:14:45Z","type":"item","id":"Q2787451","labels":{"en":{"language":"en","value":"A Mathematical Game Semantics of Concurrency and Nondeterminism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6545750"}},"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":"Q2787451$F95FFB98-58BB-46FC-A995-9DF8A8664FA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90d4b49014c7b91e785c4257671de537f6bad9d5","datavalue":{"value":{"text":"A Mathematical Game Semantics of Concurrency and Nondeterminism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2787451$B15749D8-2911-44CA-B496-80CFDE5BCE1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d304651dfe65339af5f35216322c121d1b0ced6","datavalue":{"value":"1471.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787451$E31A28BA-D44A-456F-BF6D-1977773F77FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45e579b7c66ea3913bd2ccdb456610744498e86a","datavalue":{"value":"10.1007/978-3-319-25150-9_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787451$514F5672-140F-4532-9AAB-342A25DCEF5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c83e4af14bfe1a46b2cc1e1d2fe63d184f56896f","datavalue":{"value":{"entity-type":"item","numeric-id":345708,"id":"Q345708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2787451$BE597A14-B758-4AE7-A340-A5138C912827","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"29f4257b03367012cbb1c618842dfbd25e3bc715","datavalue":{"value":{"entity-type":"item","numeric-id":2787411,"id":"Q2787411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2787451$48C7A0C3-D124-46C9-B1A3-AEBA31AF897A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b711090eb2dd20f1569e188bf3cf69015580f99","datavalue":{"value":{"time":"+2016-02-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2787451$0DC023EF-0A4E-4E95-A905-2E2F9D294D7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787451$44BA77B0-F4B2-45C2-AE44-7BADC9FA921C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787451$98D23B5D-1CF3-4F47-A288-747A73FC103C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"510e330772fd04e754f6dc13a22280a9e1e62256","datavalue":{"value":"91A44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787451$A22D147A-57D5-41AF-B21A-8C8D2FDBEA63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74fc689db003d73b18982e6ff99307cc238f11ec","datavalue":{"value":"6545750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787451$CEA6C1B6-638F-42BE-82D1-969852457EF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43a29a916a7304f820c367a6add4a9f5f8bae1e8","datavalue":{"value":"concurrent games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2787451$5B3592DD-5A66-448B-83EF-651C6A085D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9543d191890c3fc35c2b31a437a879636e45869b","datavalue":{"value":"event structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2787451$E19961DA-E5B2-4963-8C53-25FD014EF080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0bdacfc00f070fa477355a17c5232246f664f3d","datavalue":{"value":"closure operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2787451$DA7D8757-64D5-4F24-AA71-7E1A3221F6CF","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":"Q2787451$CE1A640A-7C55-46B6-8861-FAC716FC932A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77e97145d01b0e3f3eb895caf07a84adc2ba69d5","datavalue":{"value":"https://doi.org/10.1007/978-3-319-25150-9_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q2787451$EAECD060-425C-4779-8337-3A29103C77FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf3293b6f869391f88f7e113e91375ffc5722082","datavalue":{"value":"W2407279529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2787451$26DBDCD8-E477-4D23-9325-40B0B707823E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc67884947a4fec8b69e3e850671852ceb6f093b","datavalue":{"value":{"entity-type":"item","numeric-id":5386004,"id":"Q5386004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9973aa25c6eabdd2290b0290d03dad1e1dca9375","datavalue":{"value":{"amount":"+0.9251109","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":"Q2787451$AB64A065-43D7-4E94-B195-D486FCC4A7E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a91c79c474780637b7480fe272d25772414381fe","datavalue":{"value":{"entity-type":"item","numeric-id":1652962,"id":"Q1652962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16ed5af0f6f56f6e29fdc4117ad717d98667de91","datavalue":{"value":{"amount":"+0.92001426","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":"Q2787451$183BEC5A-BB10-4622-9810-D35330CD341E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"201aed92b47cdbaedcfb80237c32525bdee26ab9","datavalue":{"value":{"entity-type":"item","numeric-id":5005142,"id":"Q5005142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abb99871d3588487cdef5330cea6f57a5613c533","datavalue":{"value":{"amount":"+0.9189839","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":"Q2787451$76A47E69-C01A-4F73-900F-73090462442C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78908da88e16d28d873aef7455dc657810b4eff7","datavalue":{"value":{"entity-type":"item","numeric-id":2130597,"id":"Q2130597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83a3744a9e017aa44a44b7133bbe09754ecbf5ed","datavalue":{"value":{"amount":"+0.91052705","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":"Q2787451$68FF46C1-B305-40A0-BFD6-77B5D3F31B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16c6ce0f1b02bbf2426a7f919253d6530e52a6c2","datavalue":{"value":{"entity-type":"item","numeric-id":4967237,"id":"Q4967237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de4fea43ae32b1fc5e4afadfb5ef227fb9e2f15e","datavalue":{"value":{"amount":"+0.9029278","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":"Q2787451$A0758CF2-32F1-4912-853D-E8E823AC7148","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":"2dc69cd1912265de437fb3125519bc8989acf590","datavalue":{"value":{"amount":"+0.8993781","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":"Q2787451$48081696-2333-43DE-9F81-C4D2D3ED0738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b90db92c30306f1713986c9b5aa37be77041b8e","datavalue":{"value":{"entity-type":"item","numeric-id":4461213,"id":"Q4461213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a327d826d3e9fe0b736f58b78528143a7b68b56c","datavalue":{"value":{"amount":"+0.8955723","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":"Q2787451$D91AEA29-A21A-48CE-9F27-EF0A5622B655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"276cba5eddc1f6c76d7365e936e34fdf6e444377","datavalue":{"value":{"entity-type":"item","numeric-id":5079748,"id":"Q5079748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e274b25458b056c2b74dc305d5ecbbf410f6443d","datavalue":{"value":{"amount":"+0.8945073","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":"Q2787451$89C7635D-7A2F-45A0-B85F-ED3B896DED31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49e1f6d9d391e298b895b02ce8a0f36e2be40149","datavalue":{"value":{"entity-type":"item","numeric-id":2988382,"id":"Q2988382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"144e412cb7e0d9f6051f58c83319ae655558bb3a","datavalue":{"value":{"amount":"+0.8943695","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":"Q2787451$A8BDCBD8-57DB-4243-BF68-5AF9E4618E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b34eadbc0ff3e5fdf91c6b0155ae9c54afe7e54d","datavalue":{"value":{"entity-type":"item","numeric-id":3204036,"id":"Q3204036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42f86dd9914f0470a6bf653eaa51bd06bb02760b","datavalue":{"value":{"amount":"+0.8943652","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":"Q2787451$9266BE0C-107B-443C-B39E-FDF7CEC2E5A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Mathematical Game Semantics of Concurrency and Nondeterminism","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Mathematical_Game_Semantics_of_Concurrency_and_Nondeterminism"}}}}}