{"entities":{"Q6587136":{"pageid":14198292,"ns":120,"title":"Item:Q6587136","lastrevid":42364921,"modified":"2025-06-13T03:58:30Z","type":"item","id":"Q6587136","labels":{"en":{"language":"en","value":"Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7896561"}},"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":"Q6587136$CC5E045B-59C4-41E0-A499-5669BC215DDF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b21a212677e1c61cdb7e9fd5a9fd85fe006deae7","datavalue":{"value":{"text":"Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6587136$FBD9D30E-295B-43BB-B953-2DEE0FDE6C1C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec514fe460115e16fa2381aba3b18f8dbe14f2c0","datavalue":{"value":{"entity-type":"item","numeric-id":904142,"id":"Q904142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587136$C78ADFE2-78AB-4CAB-90B0-BFCC7F84A41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc6828000455d6a95d0c2ee169c20b1ba0a23b3b","datavalue":{"value":{"entity-type":"item","numeric-id":472793,"id":"Q472793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587136$4666F86F-37E9-49CC-A4A0-6B061FF0FC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4bead2067434c4d8ae91a1820e7027c9ac13185","datavalue":{"value":{"entity-type":"item","numeric-id":2140477,"id":"Q2140477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587136$0F61FF67-2AD7-419F-BB88-3FFEE8FCB8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2226755ce7b891c6e6ed64b8807df159e949df0e","datavalue":{"value":{"entity-type":"item","numeric-id":711614,"id":"Q711614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587136$3B7002AE-E0FC-4F28-999C-4FDE7090F42D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ef272fad473aebc084962aae26df5cb18b0f7c3","datavalue":{"value":{"time":"+2024-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6587136$6DE46B55-1E60-47BD-BEE9-2510DE291130","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587136$DDF14A30-60F0-431C-8E2A-491D13D0FCB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8bac0bbe955c591d3a8fd182d38332c46a6a717","datavalue":{"value":"7896561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587136$81A89E11-F1C8-42C8-A844-3A9C55C42E51","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"048dab55940c5c060a72a2bbad5f3dabbb5c4f18","datavalue":{"value":"Mazurkiewicz traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587136$C92E57C2-0006-43B9-AC54-CE00D09019BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587136$7DAB3011-2F11-4069-B416-B75A5015B592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb49d936f4ff6be946b604a2c6b0b51138f4ff1a","datavalue":{"value":"regular trace languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587136$D174C3D8-B8A1-49BF-AE92-9AFF42708026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e2b1f819495409ffc29c1f8db528862dca4c16e","datavalue":{"value":"asynchronous automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587136$3A0C2A41-60D6-4472-8303-E149D533B28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62b39f85e52c8085a786071206ed9136a46b6cc6","datavalue":{"value":"cascade product","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587136$B9DEE84D-EDA1-4F2E-B684-9363D96A4B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5947902cc19a27fa24ce014c91aaef3843995c60","datavalue":{"value":"Krohn-Rhodes theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587136$0B70B090-2FE5-472D-9EA3-17F488E7B078","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":"Q6587136$C625DA25-5A13-4CD2-A6BD-64FDA6166A14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df712c59fef2f185d35d3810496fa70d5bf6e52b","datavalue":{"value":"10.4230/LIPICS.CONCUR.2022.28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587136$DA279D3A-F0B4-4BDC-81E3-B939172ED509","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6587136","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6587136"}}}}}