{"entities":{"Q6645910":{"pageid":14257065,"ns":120,"title":"Item:Q6645910","lastrevid":99936920,"modified":"2026-06-05T21:03:02Z","type":"item","id":"Q6645910","labels":{"en":{"language":"en","value":"On the homology language of HDA models of transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7951562"}},"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":"Q6645910$1EBBA9B4-4B6A-4211-87A3-066E0EEF89A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"891634f2c61ff62551fd2d4646dd7469699ab684","datavalue":{"value":{"text":"On the homology language of HDA models of transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6645910$32F400E1-05E2-48D7-B5BB-D17752B8AF3D","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":"Q6645910$40C92043-DD8E-4C35-9D5D-B1279EDF64FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"beb416faced81cecea274fa4bf7248d0a36a68d7","datavalue":{"value":{"entity-type":"item","numeric-id":141942,"id":"Q141942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645910$50B32F76-174D-4ECC-89E2-784119CF0D6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81a4e48e19408941bfb821094a9f7556c0ec2cb3","datavalue":{"value":{"time":"+2024-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6645910$53811477-5D12-4DC1-B55E-859A056547C0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9819dedf087b4b420c7a046d3eb221bfadf824d2","datavalue":{"value":"Higher-Dimensional Automata (HDA) are combinatorial-topological models used to represent concurrent systems. The homological language is a homological tool used to describe the global independence structure of an HDA. The independence relation is a relation on the alphabet of labels that indicates which transitions can occur independently of each other. The paper shows that by choosing an acyclic relation whose symmetric closure is the given independence relation, one can construct a much smaller nonsymmetric HDA with the same homology language.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6645910$C3DA4221-CD24-4790-9B9E-9F9E68E712CD","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":"Q6645910$C0DA45EF-B0BD-439F-9966-69DDE6B73F05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d4f62d49d679959889250c0021d9257856e4ae3","datavalue":{"value":"55N35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6645910$855E9765-5B28-4AA2-879D-8C437498B709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6645910$91390C02-0DDE-4C63-A2BF-A69A5F72A734","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f035a1d8ba7427967ac6c1f503b9b2ad77498c5d","datavalue":{"value":"7951562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6645910$734627E4-0DD9-42B6-BC15-D20EA729616C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78bc304fdbb7e615338e2e1753879858e314d816","datavalue":{"value":"higher-dimensional automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6645910$AFA7D01E-349F-4315-8457-713D20176FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6645910$4AE23206-C205-4A46-9793-E4B814E59336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa0dd71e443be1acfacbcc71fa8abdbe38d6ef0c","datavalue":{"value":"homology language","type":"string"},"datatype":"string"},"type":"statement","id":"Q6645910$AB0478FA-E7A0-426E-936C-299C8462FDE7","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":"Q6645910$6B8FAE7C-3676-4252-9724-2B3275A54EE8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1b5fc7d0b49232ce7bbaad49c99f11ec3128a154","datavalue":{"value":"Q121097164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6645910$3244C579-3BA3-456E-9769-077F9E882BDD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c4fc907233110cf6ea798294c0827e01035d68b","datavalue":{"value":{"entity-type":"item","numeric-id":1156392,"id":"Q1156392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645910$0AB2A533-5AA7-4EBF-8BD8-EB3E30162549","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":"Q6645910$D003D41E-1BAF-4A9E-A86B-A4D9E5A1A037","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":"Q6645910$87D2271D-F46F-4AEF-BCC1-2C316BB6D8CD","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":"Q6645910$14A6FF9A-E1A9-4910-81A5-259E0D928222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b061330ec723895e16c808cc360689cd54925612","datavalue":{"value":{"entity-type":"item","numeric-id":4707052,"id":"Q4707052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645910$B4332072-8082-4D37-85C7-EA4107C0A2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a50fcc90518a182dd6733d1d9d1210c0f8007aec","datavalue":{"value":{"entity-type":"item","numeric-id":2324599,"id":"Q2324599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645910$B422AE1A-80B7-4355-8A68-CC08043EC28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"903736f11e4baebffb2c47efa3c548d8362bc76b","datavalue":{"value":{"entity-type":"item","numeric-id":5232910,"id":"Q5232910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645910$7D42BC91-398B-42D6-89EC-F27D3E78E451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad27f346844b77081a744accbd4590f47cf324cf","datavalue":{"value":{"entity-type":"item","numeric-id":5038191,"id":"Q5038191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645910$1EC793E8-C598-4B4C-8CDD-14BDF47272CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3552644f3f1b69bbba819e4378f691ef34289697","datavalue":{"value":{"entity-type":"item","numeric-id":2084943,"id":"Q2084943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645910$CD7DC689-7D2A-4E5E-B5C1-8488E09F30B0","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":"Q6645910$EDD0365B-9B2B-4D39-9C78-7A2A7B61BC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db5eb581c5550fe9f1aaa6318cbc6f909c56173","datavalue":{"value":{"entity-type":"item","numeric-id":3771629,"id":"Q3771629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645910$5B6C6025-E4B3-412B-96E8-3BE929CE27E0","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":"Q6645910$533B8398-D3C5-447D-8039-B4D9A49DBBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505ed0ccd70e9dac58c0d9145b209425580f86f4","datavalue":{"value":{"entity-type":"item","numeric-id":4857386,"id":"Q4857386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645910$55B26D1D-14B8-41AE-806E-6618ACDD4397","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f93e2cc2ec4b8aab9b59096af4edb6edeb8ce416","datavalue":{"value":"10.1007/S41468-023-00120-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6645910$E952BFFA-BBF0-4758-A241-294A3177ADF4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"126daa27030366c87542406e636c4586a70f5474","datavalue":{"value":{"entity-type":"item","numeric-id":5038191,"id":"Q5038191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"187f5d72a707cc7cdbbdef91c2145986da141ef4","datavalue":{"value":{"amount":"+0.7747330665588379","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":"Q6645910$45D29F48-883A-4958-AD89-FFAEAC83AE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2ca5310e97ccc012c34f7a0f68c955803bc7772","datavalue":{"value":{"entity-type":"item","numeric-id":5232910,"id":"Q5232910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a766657624ee842c9f808ad00c06f67d76650faf","datavalue":{"value":{"amount":"+0.7571794986724854","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":"Q6645910$E145E863-B157-4656-BB18-68F4EDB9E04B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e7bfd9d8d1060c16a9c2f7f95e761b6e0ae1578","datavalue":{"value":{"entity-type":"item","numeric-id":2444581,"id":"Q2444581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9429e2df35ad96aa6faaa322eaa0f3872962ee38","datavalue":{"value":{"amount":"+0.7557345032691956","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":"Q6645910$85ECA073-A82E-4691-9E6A-87392BE71ADE","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":"b71794484b4ab3abeda5ec8939d8aea2fc4f8e1c","datavalue":{"value":{"amount":"+0.7409473061561584","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":"Q6645910$18BB6220-778C-42BD-8547-5059976F8194","rank":"normal"},{"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":"fa0137bbba4bae347432aef94336bb606a1a5a92","datavalue":{"value":{"amount":"+0.7392569780349731","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":"Q6645910$0C6EA749-23B4-42AD-A1AD-F23DAE5762D3","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6645910$E6CA2704-DD88-4691-9E15-16AA3F08BBA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the homology language of HDA models of transition systems (scientific article; zbMATH DE number 7951562)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_homology_language_of_HDA_models_of_transition_systems_(scientific_article;_zbMATH_DE_number_7951562)"}}}}}