{"entities":{"Q1770310":{"pageid":1781052,"ns":120,"title":"Item:Q1770310","lastrevid":70862229,"modified":"2026-04-13T17:45:00Z","type":"item","id":"Q1770310","labels":{"en":{"language":"en","value":"On the homology of small categories and asynchronous transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2153120"}},"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":"Q1770310$AD830CF6-93A0-4BD2-BFCA-E3A9984F5C0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91ebb21897fec1e751a8b27af635b9326242c203","datavalue":{"value":{"text":"On the homology of small categories and asynchronous transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1770310$967A0AC3-C036-4067-9F5B-8D6954AB1396","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"780aa0a5949497e84cb809fea6a284e71bf825c1","datavalue":{"value":"1078.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770310$3E778239-9ABC-4774-918D-68D52A63A5BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1de1023dedb02d19661820923cf7ad5814c2c018","datavalue":{"value":{"entity-type":"item","numeric-id":590338,"id":"Q590338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770310$3C5CA6B8-482A-4DAC-A22E-5C23D4D995EB","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":"Q1770310$1B46750C-563F-430E-94CC-CA083EAD0E95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69cf2a81b6ae1673a040d25ae05c9f6a7d99e6cc","datavalue":{"value":{"time":"+2005-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1770310$11D4BEDC-F5C6-4045-BE7C-4C02AFAC765B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf3af77e1baab4f4c9128f9c02bbe5c89a96f60b","datavalue":{"value":"https://eudml.org/doc/51917","type":"string"},"datatype":"url"},"type":"statement","id":"Q1770310$DA2E4D71-EF25-44C2-A6D6-5E73819AB74C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"12f7097cb4360f2e0e37fb151c2fc63f389c9a24","datavalue":{"value":"http://www.emis.de/journals/HHA/volumes/2004/volume6-1.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q1770310$011832F0-DA13-4B7A-9867-05D775D431F1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bd73b5cf36ebb7c188661dc3054ddabc2c689e17","datavalue":{"value":"The main subject of this paper is devoted to the calculation of homology groups of concurrent computing models. In a previous work, the author, together with \\textit{V. V. Tkachenko} [KhGPU, 23--33 (2003); http://www.Knastu.ru], proved that the category of asyncronous transition systems admits a functor into the category of pointed sets over partially commutative monoids, permitting now to define homology groups for such systems. The interpretation and computation of the first homology group of the small category given by a rewriting system shows that its elements can be viewed as the equivalence classes of the flows in the graph of the rewriting system. Then, the homology groups of asyncronous transition systems and Petri nets are obtained.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770310$CED5A3C7-4EDB-48C4-ABAE-452BD3A1A8F4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f7b6592526c21adc1b3ae63ffd6b669f1f49ebd4","datavalue":{"value":{"entity-type":"item","numeric-id":588695,"id":"Q588695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770310$F5704EBF-B501-4935-BE49-CF43AFDE288E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770310$8C927FF2-BEFC-462F-B6C3-06CDEAA094D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd769afa46598af86731556d0d1502291ae401d1","datavalue":{"value":"18G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770310$7B299579-0D57-44BB-A522-3F42246430F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770310$2E9B3CE1-4653-45C0-972A-305D92FD1B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770310$9E7DF67B-91A9-4C84-96CC-32AB2236B07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770310$DF90E008-25EC-4B83-9F8E-73B17081E7CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47e8f7cd9a4667303c6c6a9ac4ead86987ce293f","datavalue":{"value":"2153120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770310$B973BAA3-3AA0-43C6-B7EF-E0B0139A7322","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a47ca6d5cb89caab9f6ca420b69c176b68163e17","datavalue":{"value":"homology of categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770310$6123EDD2-417D-4BF0-B917-A28B79B86692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d27c8b4772f4cee7e1eb70f572cdb50f83fffd1","datavalue":{"value":"asynchronous system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770310$E02FAF64-4DC6-45B3-A2F9-55703D8CE474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770310$42CCB1CC-2482-4A40-81E4-8642066B591C","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":"Q1770310$E92564C0-74AE-40F5-8879-D197D534410B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33e82ed998f12c6f79dcd4086a3c8c060002b67b","datavalue":{"value":"W2103614868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770310$FFAF3F9C-7F84-4932-BB3E-22F19938F523","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5cc304ec67b6eeed77aa1ce60056d33fed1b7477","datavalue":{"value":"10.4310/HHA.2004.V6.N1.A22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770310$D294525A-B060-41D0-9184-5C3278852930","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfcad592382da0a51ac165ff2ce0354e2b9f9ad3","datavalue":{"value":{"entity-type":"item","numeric-id":890902,"id":"Q890902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3e14aa89950b41facd7b14e61d7156207f1eec8","datavalue":{"value":{"amount":"+0.8634850382804871","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":"Q1770310$6D1753B1-7C68-4CEB-8C7B-3166E3AB9A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"333dc19bd936fe6f18d8489620a9aadad4232156","datavalue":{"value":{"entity-type":"item","numeric-id":892055,"id":"Q892055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1859cd1e86106da59805632ac8eaabd108fcc748","datavalue":{"value":{"amount":"+0.851802408695221","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":"Q1770310$A92E314B-0DD3-475E-9CD0-8492B835CBB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab1f234f75a539d7554810186180c62437141b74","datavalue":{"value":{"entity-type":"item","numeric-id":1770322,"id":"Q1770322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44046c471cfd24eb86678af939aecb6b2d85fff2","datavalue":{"value":{"amount":"+0.8505309820175171","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":"Q1770310$6A9C728E-3DE1-4372-A41F-DF823F07A24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fe3877ab9ab5ff02c0392ef0bf3c535343a4dc7","datavalue":{"value":{"entity-type":"item","numeric-id":395664,"id":"Q395664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bd159b9b068d0fed7035228971d152bfd4137ab","datavalue":{"value":{"amount":"+0.8181484341621399","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":"Q1770310$2D35A1E7-A1DC-407A-AA92-E6BA1DEF8B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53dd4be63b3c285c3daad8f9f84885feb7b7139e","datavalue":{"value":{"entity-type":"item","numeric-id":3005483,"id":"Q3005483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c997ee2b421b3e4a14fe508796a87ab38ebee7d","datavalue":{"value":{"amount":"+0.7883338332176208","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":"Q1770310$9AFF9695-479F-4E32-B7FB-6B6B130BB641","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the homology of small categories and asynchronous transition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_homology_of_small_categories_and_asynchronous_transition_systems"}}}}}