{"entities":{"Q2084943":{"pageid":2095685,"ns":120,"title":"Item:Q2084943","lastrevid":57723780,"modified":"2026-04-01T02:45:32Z","type":"item","id":"Q2084943","labels":{"en":{"language":"en","value":"On symmetric higher-dimensional automata and bisimilarity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7601538"}},"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":"Q2084943$AA3720F6-4511-4905-8FFE-6B37D320C6BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61c25efb19e4ccebf6fa95e831b5b1b1e205f4f6","datavalue":{"value":{"text":"On symmetric higher-dimensional automata and bisimilarity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2084943$869D537B-603F-4DA3-A68F-60E2905405AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08c72a0a024d0094f81315cf0c1e8192008b05a7","datavalue":{"value":"1505.18011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2084943$36856C30-E505-474D-BBFF-3397CDF01F2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a83e6e9087f19dc73930a492cb6a00c36550b46","datavalue":{"value":{"entity-type":"item","numeric-id":278748,"id":"Q278748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084943$51CFF80E-E730-425B-9CA2-4F2BE128BE00","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084943$8A50E732-15EB-426E-A4ED-CAB0F709FF59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39fcf3265ef324cd8f042b5ffc2d91b62eb5b915","datavalue":{"value":{"time":"+2022-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2084943$D9CBD598-A0BE-461D-A2C9-17AD95EC1A51","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1bd2ed45153dee0cd0e9cc229073cc6300013dd6","datavalue":{"value":"https://arxiv.org/abs/2103.15223","type":"string"},"datatype":"url"},"type":"statement","id":"Q2084943$B0CDE50E-0FCF-4F7C-8C73-6213FF571879","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"299f768ae39d94bcaac5d0a0bf8b601380da6ff4","datavalue":{"value":"A higher-dimensional automaton (HDA) is a precubical set with an initial state, a set of final states, and a labeling on \\(1\\)-cubes such that opposite edges of \\(2\\)-cubes have the same label. Symmetric HDAs are HDA with a symmetric underlying precubical set. Every symmetric HDA is a HDA and the left adjoint defines the symmetric HDA freely generated by a HDA. It is shown that there exists a hereditary history-preserving bisimulation between a HDA and the symmetric HDA freely generated by it. Consequently, up to hereditary history-preserving bisimilarity, ordinary HDAs and symmetric HDAs are models of concurrency with the same expressive power.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2084943$57ACC403-0960-4B98-A871-52661E8F2F39","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b83d2f7098073ec0ce332f8e7bca96a6bda9b9ca","datavalue":{"value":{"entity-type":"item","numeric-id":589562,"id":"Q589562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084943$28558F69-4340-486A-87E6-1AE1FA8B568D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea9528584418a6ec9fe52282119ea36bf7d92b18","datavalue":{"value":"18C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2084943$5CC95107-FDE9-43A2-918E-8C4F37A10432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd14109b728357c96051ccc125db5e1d8c36ea77","datavalue":{"value":"18A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2084943$A4580302-DF2B-4D78-B137-9AFEE8E8A93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2084943$4519D386-4ACA-4414-B403-3D4A2DFA709A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb565bf7692277d8c001f8c9c72807c94b6568a7","datavalue":{"value":"7601538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2084943$CEDDA437-FB26-4FEC-94CC-89D3860531C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78bc304fdbb7e615338e2e1753879858e314d816","datavalue":{"value":"higher-dimensional automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2084943$809048B5-E379-4EA7-8ADE-CCA188F4B701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbe8b020abcaf72f65919b9d8b4f139070e71ed0","datavalue":{"value":"symmetric precubical set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2084943$4B612757-4BF7-47D8-97A4-AA0169405680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2084943$182D8F81-59E6-4EED-A4A2-0689E20C9E5E","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":"Q2084943$8C7833DC-EE88-48DF-B766-9696CE8E4F09","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f589902f1fbb74bedb1edd824e2bccac693b678a","datavalue":{"value":"W3147304380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2084943$A0F7584F-E736-4835-991F-C8ADD761FA40","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42ce5004c92ebc4ada086a08bcc10802cc0cf142","datavalue":{"value":{"entity-type":"item","numeric-id":5705872,"id":"Q5705872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084943$2BF98F42-4095-4C41-8C3D-EC98D0FEB53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3546b46a649fed581f9d6598ad032e6407f2b021","datavalue":{"value":{"entity-type":"item","numeric-id":2515156,"id":"Q2515156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084943$5B6B32F1-F68C-4EFB-A683-3108F4D309FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"056939c7b6c4c1929e3e0ce7e886b0899d8e7fc0","datavalue":{"value":{"entity-type":"item","numeric-id":3979963,"id":"Q3979963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084943$65EF9509-ED70-499B-8977-E634CB3A2079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9c2cbb2bf8af8fbe11bad5070e570df4153428a","datavalue":{"value":{"entity-type":"item","numeric-id":2500494,"id":"Q2500494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084943$BA1B4CD3-38F5-449D-987C-144B283EA6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e0aaaa0a12c9e5620c2bb63e07945a4655c7a5","datavalue":{"value":{"entity-type":"item","numeric-id":960860,"id":"Q960860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084943$15F511C6-3300-4E7B-88FE-F2694A294F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2f743a02b93ba8a7aa10f804a87a9e4e302de06","datavalue":{"value":{"entity-type":"item","numeric-id":5906407,"id":"Q5906407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084943$59D0131B-DB1B-481E-98FD-4F708F75570A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3916113c855be09ff7c725f2222d49866271f77","datavalue":{"value":{"entity-type":"item","numeric-id":2491631,"id":"Q2491631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084943$65B27FD9-A91B-41EF-BDCF-AAA9C2735428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c32a4c6683243679e78d9f6acc874dcedb1da998","datavalue":{"value":{"entity-type":"item","numeric-id":5179022,"id":"Q5179022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084943$775B0839-A39D-446B-AF87-038A7B511B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cf14a119f9bc85d69ab17e5ae8648669f8d090f","datavalue":{"value":{"entity-type":"item","numeric-id":1397802,"id":"Q1397802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084943$F5F71488-E46D-4C0B-9FC0-43423D900824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5f508e5e71465a6783444b8def50586e956e3e3","datavalue":{"value":{"entity-type":"item","numeric-id":1095245,"id":"Q1095245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084943$C17B16C2-9883-46F5-841B-38ED0AF8E512","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a11ea838d42c0b44117e769fb5a5eddcd8de5e3b","datavalue":{"value":"10.1016/J.TCS.2022.07.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2084943$2F81C141-AC69-4188-A459-6FAA682F1BD2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30bbee76fa677cb3b591a0282c447823d2112816","datavalue":{"value":{"entity-type":"item","numeric-id":265804,"id":"Q265804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"515841f9bc63392f08864bf4284184bfed852d77","datavalue":{"value":{"amount":"+0.8457680940628052","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":"Q2084943$EEEF6CFA-246E-4E94-894B-4D7F417C222D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4865f43eb3ec10659a2602584b749503db41051","datavalue":{"value":{"entity-type":"item","numeric-id":5705872,"id":"Q5705872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39d350401b009124b5e128894075ddb272d29188","datavalue":{"value":{"amount":"+0.8390418291091919","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":"Q2084943$80C7CD4A-5C6E-475E-9E34-8B5490DA2B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2dd95c16a8340f64d3b0126d5f89cd01330372a","datavalue":{"value":{"entity-type":"item","numeric-id":5275346,"id":"Q5275346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d120bfd55d30ef69667c12c3912d70c848d782af","datavalue":{"value":{"amount":"+0.8207143545150757","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":"Q2084943$B0C0D53A-1313-4BE2-8056-0C3E5F7DA70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9012af295635cd5e50b92c69dba43007ba4150f","datavalue":{"value":{"entity-type":"item","numeric-id":3183618,"id":"Q3183618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0c5c2db67c5b2c5a77d9420a432346ca90dac72","datavalue":{"value":{"amount":"+0.814934253692627","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":"Q2084943$F0AFC20F-7EE9-4E1B-B06C-FBB11240DB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b3f4bc11a7e7f8d62f5a484faaa6d9a2ac44243","datavalue":{"value":{"entity-type":"item","numeric-id":3168195,"id":"Q3168195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fdb9339804c144b170db7e3478c98a648067dc1","datavalue":{"value":{"amount":"+0.802154004573822","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":"Q2084943$95EDA887-D5AA-4F7E-9BEB-A90405A81299","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2084943$E4792D22-BC3E-4DE7-9C60-F255B27C58E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2084943","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2084943"}}}}}