{"entities":{"Q4608684":{"pageid":6638267,"ns":120,"title":"Item:Q4608684","lastrevid":90558581,"modified":"2026-06-04T20:41:30Z","type":"item","id":"Q4608684","labels":{"en":{"language":"en","value":"Causality vs. interleavings in concurrent game semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6851954"}},"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":"Q4608684$2FB58FDC-BE74-4F20-8C24-110793C0AAFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96001164b0985fa8ee001a6f40377f1cfc7ced43","datavalue":{"value":"1392.68287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608684$93A04EE8-ACD7-4569-AF7F-0FBD620B78E9","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":"Q4608684$D25C5529-8138-4070-B3A6-1BB4130ECEF4","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":"Q4608684$34C2B15D-CBE9-486D-9F66-466695E5E98B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b370aaa83f4efe6143e52606b64b18fd663e7c7","datavalue":{"value":{"time":"+2018-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4608684$C94F1BBE-E96A-420A-A069-12DAA3C8E05E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608684$CD3EE69C-814F-4C73-8978-EBCA24D422AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608684$013B55B7-5201-40D1-9C6E-845E41590C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608684$340716D5-9969-40A3-B9D6-8F5E0201C540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608684$154EB8C4-7E5B-41F2-9579-279585CB2F59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e618a9421b03f7bacba440e6892ba5cf3dac00fe","datavalue":{"value":"6851954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608684$14F97976-4FBE-444C-BB9A-BCEC25683A22","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608684$E6ED77EB-3CC0-482B-A4C1-A7A0C49CAF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608684$0C9CA84F-A4C9-49BC-BDC4-B7BD39322DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c40ddf808060ba42d097128ffb37e89bf3adfd06","datavalue":{"value":"causality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608684$828EF53F-D1E0-4F7A-9648-098CE875D56A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9543d191890c3fc35c2b31a437a879636e45869b","datavalue":{"value":"event structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608684$C5190D48-1C4F-40EE-8B63-1E9E07DC4942","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":"Q4608684$5A2ABD15-E051-41DD-984E-8BA942053120","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe1dd4bc73911d3fda97e028b9f6abea90284b95","datavalue":{"value":"https://hal.inria.fr/hal-01474550","type":"string"},"datatype":"url"},"type":"statement","id":"Q4608684$7FCFA42A-0BF1-4E01-87B4-75052C4E770C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ffae035c7213cc3106e85f23275613d448abe079","datavalue":{"value":"W2537740402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608684$1EC5D803-C5CC-452F-AF45-00E5471F8C04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f52ad9e37c225c79225a892b5cfe535d77a29d6","datavalue":{"value":{"text":"Causality vs. interleavings in concurrent game semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4608684$7F39CB11-C91D-4CE4-A7FC-3A843B463454","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70d90dca29e103c3d5a1f550b4fd05e92a316a0e","datavalue":{"value":"10.4230/LIPICS.CONCUR.2016.32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608684$BAD7EF69-84FE-4F6B-B5F6-63812A15F576","rank":"normal"}],"P1643":[{"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":"17b33853eeaa5c05e4c93935f00bd2cb1ad8c29d","datavalue":{"value":{"amount":"+0.7709839940071106","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":"Q4608684$C5E709F2-6379-4189-A85C-10AF176D00FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"741c8c96e770b77a80ceb44a95ae6ca9fe43524b","datavalue":{"value":{"entity-type":"item","numeric-id":4917059,"id":"Q4917059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d492c6e62b0df499fd5034fbe141ecd29c5d9ea9","datavalue":{"value":{"amount":"+0.7592130899429321","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":"Q4608684$9EA09445-4EE9-482A-8825-6EF2DCB8E9F2","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":"60d338abc7086d014975f6a1dc0971e856e260ff","datavalue":{"value":{"amount":"+0.7551174759864807","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":"Q4608684$715D8FE9-C1A7-4BD9-BBB3-50F5A7854752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dcf36a4e64cb418cf86010ad63159a0d4366903","datavalue":{"value":{"entity-type":"item","numeric-id":1605181,"id":"Q1605181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ccfe323a06253b04a4c6c0b653a072d372d2637","datavalue":{"value":{"amount":"+0.7515571713447571","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":"Q4608684$CA0BD4A3-BDE7-48B4-ADD8-7EC7F018023E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2624814dc00433bef8e8c2caf5d89ae0494215d","datavalue":{"value":{"entity-type":"item","numeric-id":5308452,"id":"Q5308452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6637cd91bb658f07268ecd85e4f1129e6f0d77c","datavalue":{"value":{"amount":"+0.7409665584564209","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":"Q4608684$69EB40AE-2029-4575-993B-4050B2F8B235","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Causality vs. interleavings in concurrent game semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Causality_vs._interleavings_in_concurrent_game_semantics"}}}}}