{"entities":{"Q2570217":{"pageid":2580960,"ns":120,"title":"Item:Q2570217","lastrevid":73570206,"modified":"2026-04-14T16:29:58Z","type":"item","id":"Q2570217","labels":{"en":{"language":"en","value":"Homological properties of non-deterministic branchings of mergings in higher dimensional automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2218613"}},"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":"Q2570217$E7A6B9D7-708A-490D-97EF-40F01E56FFEA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c22c07714cdb79f67a30dcc29dee45cb33a3a379","datavalue":{"value":{"text":"Homological properties of non-deterministic branchings of mergings in higher dimensional automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2570217$669376E2-83F0-41F2-BCC6-6D4D1E3B1EDC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c33b01dffc96d7e1c7e36a83635a5cd0b2826fd5","datavalue":{"value":"1085.55003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2570217$97952896-4B8A-488A-B267-1157EECFB519","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04af14be06875b6d000c614c4e31adf700210869","datavalue":{"value":{"entity-type":"item","numeric-id":589562,"id":"Q589562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570217$66790BD1-A63A-47AD-BABD-318E1F6F5813","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1e22c5b89240190fc74b760088a55141cf0fb60b","datavalue":{"value":{"entity-type":"item","numeric-id":180135,"id":"Q180135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570217$336D4C49-AE47-4F03-B5D8-BC2B25AA6C1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fde6c619ece55a662f3e34f9f0884a152591e6b","datavalue":{"value":{"time":"+2005-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2570217$1AD93EEC-4DC5-4A43-BD25-6E2DF51DCF4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2fd5b221dd380657f15bb9f7f18218176eb141a1","datavalue":{"value":"https://arxiv.org/abs/math/0305169","type":"string"},"datatype":"url"},"type":"statement","id":"Q2570217$8560BD4D-AE39-449F-B733-F70B5CE872A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"bfba6960d0acc099f0f4b9269eaa400eab4de8a9","datavalue":{"value":"https://eudml.org/doc/52279","type":"string"},"datatype":"url"},"type":"statement","id":"Q2570217$B2853627-1A1A-4A8F-8451-FE84439A93B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"d767103a21fdc6a3e4e41678ea2d982e7f62b733","datavalue":{"value":"http://www.emis.de/journals/HHA/volumes/2005/volume7-1.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q2570217$9F457C98-EBD1-47C4-8D5E-B08F99FA6932","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"682dd99f0382fc0e41ec01f8a3f3a45228da387c","datavalue":{"value":"Higher dimensional automata model concurrent processes. These in turn can be modelled by the category of flows. In this category there exists a notion of ``direction'' corresponding to that of the flow. There is an analogy to homotopy called dihomotopy which is intended to be such that two dihomotopically equivalent flows will have the same computer-scientific properties. The goal of this paper is to define two dihomotopy invariants \\(H_{*}^{-}(X)\\) (resp. \\(H_{*}^{+}(X)\\)) called the branching (resp. merging) homology of the flow.  The main result of the paper is to show for these homology theories the existence of a long exact sequence associated to a morphism of flows. The method relies on showing that associated to a flow on a space \\(X\\) there are topological spaces \\({\\mathbb P}^{-}X\\) (resp. \\({\\mathbb P}^{+}X)\\) unique up to homeomorphism that represent the branching (resp. merging) flows faithfully enough that their homology gives the desired homology theory.  The paper is mostly self-contained although there are a couple of places where uses of notation precede the definition. The paper includes some illuminating examples at the end.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2570217$1E7983BF-6EBE-4CAE-B880-2C7C854C2060","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d4f62d49d679959889250c0021d9257856e4ae3","datavalue":{"value":"55N35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2570217$5EF21766-5573-4163-A9C9-97F805C4DEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8cc06cc8818f42c97499b7590e26b3ddf428901c","datavalue":{"value":"55P99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2570217$5B98483A-1A5A-4C30-ABD7-D9BA9F01ACF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2570217$3DF1E8F9-DF43-483C-B477-246BA887F295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2570217$348A6174-C491-46D5-93C8-A589020127CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21f94a8ca8d349600476075630e578974d421b30","datavalue":{"value":"2218613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2570217$EC39EEA4-F1D8-4506-A68A-25C0BD0B916A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcee6f7a74fc73c60f3deb8d985df5711d97464a","datavalue":{"value":"flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q2570217$29CFF1F6-39B1-46FC-9D06-F09FCB9DA4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2570217$C3C66182-00CC-4747-9C3D-CAEA3BA8C860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"062074952269ee941a46f099321307410201f711","datavalue":{"value":"merging homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2570217$45EF03A5-1087-47AF-A106-63E98FB4106A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4c3a98cde44024a3fd82ca73b0d4a1c950a7e16","datavalue":{"value":"dihomotopy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2570217$FD5A7227-FF58-45CD-BC8F-CB4880C48D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"714820dbdc68dfa5506c5b1ed7f8440d91a5003c","datavalue":{"value":"branching homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2570217$5AC7E79B-7A03-4D36-9293-D09EE5279C68","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"073034c111734685a386a9ec1a39b197886ab678","datavalue":{"value":{"entity-type":"item","numeric-id":1235431,"id":"Q1235431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570217$C202AC1B-4F85-49AA-BB31-C452D8D5997B","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":"Q2570217$D478A928-F809-40E5-9250-3C5C18DFA44B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd2e95c512b3126ac849c88463a065f6d005c67f","datavalue":{"value":"10.4310/HHA.2005.V7.N1.A4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2570217$2D3134C5-70DA-4D08-A464-C108FD287BA6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"646b71718b49ad825d11a0de50f16e8ef5d3ee9b","datavalue":{"value":{"entity-type":"item","numeric-id":851558,"id":"Q851558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"159b8d3175a484af878f06fb299f8c25b5649a8a","datavalue":{"value":{"amount":"+0.882072925567627","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":"Q2570217$AB0789D3-6969-4D1B-B344-E64FE96755B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfd386a9d682805f36b48af2dbda3d9c5c8528ab","datavalue":{"value":{"entity-type":"item","numeric-id":2724148,"id":"Q2724148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb5038c9ac2ca45822b62cde4fe9c68f6792b224","datavalue":{"value":{"amount":"+0.8761177062988281","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":"Q2570217$1D593212-3EE4-4514-A32E-F6AFED678B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a1cccebf791801a6ca84da0e655fd70752ea801","datavalue":{"value":{"entity-type":"item","numeric-id":441103,"id":"Q441103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47ee53175fc2cb5fd367e0f28f1282afeef1e3cf","datavalue":{"value":{"amount":"+0.8376655578613281","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":"Q2570217$B157B16F-19B5-4DD4-B0B8-76B16CB939AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd009e38fcf8c0ea529bd75e03bf4d1efcfd7a13","datavalue":{"value":{"entity-type":"item","numeric-id":851539,"id":"Q851539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8875a511340fff90000401839337f40f70a82fb3","datavalue":{"value":{"amount":"+0.8185020685195923","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":"Q2570217$B4097F5D-E128-438C-A1B0-45BE910F212C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"109e7fc81f91ad52df2a7c16e03296887bbb63da","datavalue":{"value":{"entity-type":"item","numeric-id":2427617,"id":"Q2427617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc22be37c98c492b426e83b76b09b3ac130be788","datavalue":{"value":{"amount":"+0.8178313970565796","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":"Q2570217$D387E37E-A9F0-4D78-BBEB-D549AEA9CEB2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Homological properties of non-deterministic branchings of mergings in higher dimensional automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Homological_properties_of_non-deterministic_branchings_of_mergings_in_higher_dimensional_automata"}}}}}