{"entities":{"Q4580205":{"pageid":6609791,"ns":120,"title":"Item:Q4580205","lastrevid":53167115,"modified":"2026-01-24T09:03:43Z","type":"item","id":"Q4580205","labels":{"en":{"language":"en","value":"Justified sequences in string diagrams: a comparison between two approaches to concurrent game semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6917171"}},"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":"Q4580205$DD271789-431F-4DC3-9AC6-94430F3367E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2925799f8b0e88bb9f134e165a7036a50af9785b","datavalue":{"value":"1433.68250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580205$2CD311F2-6C2F-46A5-9734-9B8DB205979C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d7d0201a046efc2bef201d7a7e62845658b50e0","datavalue":{"value":{"entity-type":"item","numeric-id":2117252,"id":"Q2117252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580205$7F1ED393-2A1B-4877-BF8B-A048D3101FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aec17d4de2993980d020ecf108cf8bca2a360f1","datavalue":{"value":{"entity-type":"item","numeric-id":848737,"id":"Q848737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580205$935F47D6-403C-4629-A1A2-20E77BC6A94D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30feba6170f0dd078cec0568a6ba1b353248bccc","datavalue":{"value":{"time":"+2018-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4580205$4427DF52-34FF-47D1-AC57-B0E8EA646AC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580205$5AD2084F-B998-4AFD-BE24-B60B6B624142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580205$DABC4FB1-F2BF-45A8-A0E7-079850952637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0ee7ce317264382861edb63c533e11ee885fc54","datavalue":{"value":"18F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580205$C89A49F1-70F2-49D5-A901-23EFBA36628C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580205$FE52E61F-76F2-4E20-AD73-EBE20BE4F4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580205$1FD7A3F0-8686-464C-9FF7-D8CFBE58ED29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad0e93f5089da5472f176e3aa2e355d9d3749a95","datavalue":{"value":"6917171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580205$7441741A-B934-4DF8-94F0-4BF3CEF5CD70","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580205$982CBB2A-8575-4D2D-82AF-09424BB68F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ee054c8c42d187b49f517e71febcbe6c612fa4d","datavalue":{"value":"sheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580205$1F7DFD0C-5543-4FBE-89B1-D2203AAB06B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d2db8243c44e119efae19b0e3063adb7818575f","datavalue":{"value":"presheaf models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580205$164B19D7-FDC1-4AF8-A69B-1BBE98380F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580205$F5DDD61E-4AC4-474D-AB19-8EF88D91BA01","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":"Q4580205$7C3D1240-49DF-43D7-B299-0D4F46FFCE9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e43ec587a8cfeb5da461d96901e956f2fa7be01d","datavalue":{"value":"10.4230/LIPICS.CALCO.2017.10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580205$9042B400-64DA-4F81-A2D2-63B8C39DCCBF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"287512fbfd322bb44874feca3fdda6d2b1aac6d9","datavalue":{"value":{"entity-type":"item","numeric-id":2986824,"id":"Q2986824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"226db9e2e8ed4ee7106d17cd400dafcd4b911cbd","datavalue":{"value":{"amount":"+0.7527890801429749","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":"Q4580205$600E10D0-F25D-43D6-A198-6D8140D819E0","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":"a408b29b987647eb3ec974e33ee5617cb888560f","datavalue":{"value":{"amount":"+0.7333988547325134","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":"Q4580205$0F55DFE3-3018-44B8-A385-D10BDCCA68A2","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":"042b25a0ba116874d681439d27c1a57f4a9c551b","datavalue":{"value":{"amount":"+0.731408953666687","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":"Q4580205$D2228433-EF55-4E2F-88D8-82CE54DBD75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41e80e5b2df3d2f9d31063041f43246d3aac6a6f","datavalue":{"value":{"entity-type":"item","numeric-id":5145311,"id":"Q5145311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f3986d73b68b0a3fa8a7b4e81b0daf10e74f44a","datavalue":{"value":{"amount":"+0.7199419140815735","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":"Q4580205$174AF0FC-63DB-4FC5-9CC4-35A0458A5A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"103eb4ff7cada6a29a08cebd89c7ec166b1ddcd7","datavalue":{"value":{"entity-type":"item","numeric-id":5897474,"id":"Q5897474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75d0fa0852607cb58115ce1438b9db8f8d9edae6","datavalue":{"value":{"amount":"+0.7168324589729309","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":"Q4580205$7AA854E3-885D-43E6-9D5E-ACF39C536A72","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4580205","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4580205"}}}}}