{"entities":{"Q851558":{"pageid":853406,"ns":120,"title":"Item:Q851558","lastrevid":64866129,"modified":"2026-04-11T22:44:59Z","type":"item","id":"Q851558","labels":{"en":{"language":"en","value":"T-homotopy and refinement of observation. III. Invariance of the branching and merging homologies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5074590"}},"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":"Q851558$0FAD1709-68AB-4DE6-B90F-B8065A769BD2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78c9518b042d8ac6e366bf8e2d1b2b4dac25c6ec","datavalue":{"value":{"text":"T-homotopy and refinement of observation. III. Invariance of the branching and merging homologies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q851558$DC69E189-DA17-43A8-93B3-BAF2AB1AD94E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4153995bda92e993208fd294854d06a978f1a4c9","datavalue":{"value":"1109.55010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851558$8FBCB820-A9A5-4996-837D-CDF05011C891","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":"Q851558$A936C82B-172C-42AF-ADDB-5F88555DBA31","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"67c80c0302a3afef383579ecf23bcd6250b145c1","datavalue":{"value":{"entity-type":"item","numeric-id":168484,"id":"Q168484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851558$6388F9A4-C675-48CB-9B3D-D71A7EEE9838","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4e5404bd82e0784b557b1e990085133eebb42cc","datavalue":{"value":{"time":"+2006-11-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":"Q851558$14D1C9A3-4305-4CBE-B131-3E3EFA34153C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6040b4a2cf9a09416257346019918e3a7e2219f1","datavalue":{"value":"https://arxiv.org/abs/math/0505329","type":"string"},"datatype":"url"},"type":"statement","id":"Q851558$F9F844DD-071F-412A-BAA7-EBC83C3E6B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c0ceb75915f68f8bc497909307d58f0f7404c1a","datavalue":{"value":"https://eudml.org/doc/127155","type":"string"},"datatype":"url"},"type":"statement","id":"Q851558$BCC27982-854F-46AE-A99C-9EEE523D3D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"25c120b82b1a578e2b025e1b73a8c83c683f21a2","datavalue":{"value":"http://nyjm.albany.edu:8000/j/2006/12-19nf.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q851558$4AB6BED3-3E44-41B7-B6B4-30D65EE998FE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d4aebeacd214258d4981155c9e3899db43d2f1ca","datavalue":{"value":"Higher dimensional automata (HDA) model the execution of concurrent processes. The execution trace of a set of concurrent processes is a path in a cube of dimension the number of processes. In modeling deadlocks and unreachable states one is led to the notion of dihomotopy which is a deformation of one trace into an equivalent one. To represent the notion that two such automata are equivalent the author earlier [Homology Homotopy Appl. 5, No. 1, 549-599, electronic only (2003; Zbl 1069.55008)], introduced the notion of a T-homotopy equivalence. The behaviour of an HDA can be seen as a flow. Associated to this flow one can define branching and merging homologies. This paper shows that a generalized T-homotopy equivalence induces isomorphisms of the branching (respectively merging) homology groups. The proof is heavily categorical and relies extensively on model theory. Although part of a series the paper can be read without having read the earlier papers.","type":"string"},"datatype":"string"},"type":"statement","id":"Q851558$44AB59DE-95AE-4378-BC71-1F4DBE50EC67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851558$2A40910B-3C54-4A7F-B417-FD66DC037963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cdb8187fc4d1455ff3846a9767cdfdc33cb2850d","datavalue":{"value":"55N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851558$D1735F90-1B0C-405E-9AB2-14EEE6F1CA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8cc06cc8818f42c97499b7590e26b3ddf428901c","datavalue":{"value":"55P99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851558$B560A09F-5D72-4BFD-9803-23DFE07D5EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851558$6A2F2394-C917-4326-97AA-C79D641B9179","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"738e55645a2f13d5aa1ed2c331c12c2724ebca34","datavalue":{"value":"5074590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851558$4358CD2E-C95F-4E11-9B45-10B58D8DFEA5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q851558$E59CDAAE-1693-4CDB-8CE8-8FBC0A036A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48909d91b240b12fdb290357a227713645c4e255","datavalue":{"value":"T-homotopy","type":"string"},"datatype":"string"},"type":"statement","id":"Q851558$F04FA881-6B2E-4D01-9157-1CB61DAD396F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4c3a98cde44024a3fd82ca73b0d4a1c950a7e16","datavalue":{"value":"dihomotopy","type":"string"},"datatype":"string"},"type":"statement","id":"Q851558$669E5B3B-A972-4771-8959-72EAC685760A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bdc4f60c8e7a0c819d15162773dd356aec29168","datavalue":{"value":"Reedy category","type":"string"},"datatype":"string"},"type":"statement","id":"Q851558$4E4D0F91-4D00-40C6-A26D-1356DDBB1F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcee6f7a74fc73c60f3deb8d985df5711d97464a","datavalue":{"value":"flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q851558$A393EBE3-C11E-4FD7-A71B-6A86A81B7B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"714820dbdc68dfa5506c5b1ed7f8440d91a5003c","datavalue":{"value":"branching homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q851558$7370C7AF-FFE0-411F-B647-106A0F0D0BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"062074952269ee941a46f099321307410201f711","datavalue":{"value":"merging homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q851558$DE30041B-9713-486D-9808-01282B99A086","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":"Q851558$3BEC9329-EA21-4A99-AFD7-B3254C27003B","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":"Q851558$DEFC6E13-0115-44FD-9800-14C5C4CC4B12","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"a050dda12b6b97a8eed76ab597494deb40f3e071","datavalue":{"value":"bafkreielbxiwevsvsu2dt77b7ugaurgstws5k32la6cvksbark6a3woi4m","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851558$83E7248E-9C8E-4BD4-9A40-3F58A16AF6EB","rank":"normal"}],"P1643":[{"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":"f11c7e9d38d31decdebd01e31bcf3e164bd28fd5","datavalue":{"value":{"amount":"+0.8868903517723083","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":"Q851558$95FF8FE4-E914-4F3D-A2B6-3E9E4737B537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6182f542141fca309740206322a248ae0d729823","datavalue":{"value":{"entity-type":"item","numeric-id":925393,"id":"Q925393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42db3b124dc391f28d30cad3c0f75ae6bbb86c38","datavalue":{"value":{"amount":"+0.8764461278915405","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":"Q851558$FC6B0CD2-6F3D-481C-BE33-694C1115A7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"590b3deee97c4785c24c019613623c4b82636a80","datavalue":{"value":{"entity-type":"item","numeric-id":2581070,"id":"Q2581070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e4db6468f680694f01d09875696e5b2d88297c8","datavalue":{"value":{"amount":"+0.8606933951377869","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":"Q851558$54FFF7C1-B913-4855-8D91-F724030D501F","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":"9d12a5eb981f27dc22a967465ae73142d8ad4cef","datavalue":{"value":{"amount":"+0.8535935282707214","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":"Q851558$66A210E7-BCFA-4816-B296-FCA2E24F7616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b38149dc34cf1899df8ef166aa182f020b2bdfe","datavalue":{"value":{"entity-type":"item","numeric-id":2570217,"id":"Q2570217"},"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":"Q851558$1C21F233-FA0A-4953-9CB9-016B245C6807","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"T-homotopy and refinement of observation. III. Invariance of the branching and merging homologies","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/T-homotopy_and_refinement_of_observation._III._Invariance_of_the_branching_and_merging_homologies"}}}}}