{"entities":{"Q832939":{"pageid":834787,"ns":120,"title":"Item:Q832939","lastrevid":64751286,"modified":"2026-04-11T21:58:54Z","type":"item","id":"Q832939","labels":{"en":{"language":"en","value":"Constrained synchronization and subset synchronization problems for weakly acyclic automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498727"}},"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":"Q832939$3DEC1458-1A5B-458F-9676-29A9BEE7DEA2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c648ef02d869b10952eaa505aa03cb2bf30b9094","datavalue":{"value":{"text":"Constrained synchronization and subset synchronization problems for weakly acyclic automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832939$CE4B9D07-1ADF-4A0C-8162-29170D2C58DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d40b14c76230e2d2c082aa5661de52688af31330","datavalue":{"value":"10.1007/978-3-030-81508-0_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832939$3BE8BCD1-5BCC-4C6C-8762-2764F3D141D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"104dc1dd875f1570aed563ac88ba97d1c9da1090","datavalue":{"value":{"entity-type":"item","numeric-id":278721,"id":"Q278721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832939$393CE6A6-E8F3-493F-816A-84E6C3C1A464","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26426ab4d5a6ecfa201abc41ba9257e3996155a5","datavalue":{"value":{"time":"+2022-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q832939$F3AB45A0-B40B-4B0E-8C9D-53046ADA6696","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6364294bef65a6c99ef4f8465ae0aece3838a644","datavalue":{"value":"https://arxiv.org/abs/2108.06984","type":"string"},"datatype":"url"},"type":"statement","id":"Q832939$CBCBA9E5-0CE9-457E-A074-0CA10BBFE2FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832939$70FA6426-9FE8-4D85-A517-E8E24974BBED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5aca7cbbb1909b8f74ec9bf4b123c3d7456fc7a4","datavalue":{"value":"7498727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832939$CA68E566-1212-4FA0-AFC2-FA650BDE7954","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68c261570392928413cb911f93665f42e10898b6","datavalue":{"value":"automata theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q832939$156EF42F-8224-4759-BA05-BEA46A1301DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3756408b1494d861afb997fa0087953e01380c0","datavalue":{"value":"constrained synchronization","type":"string"},"datatype":"string"},"type":"statement","id":"Q832939$3F2F5D0A-51E1-4A30-AF11-B662774286CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q832939$862502CA-5987-48DF-842D-C5A505A3611A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e8e330ce5644645906664f0fea4446dfe9295d0","datavalue":{"value":"weakly acyclic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q832939$D97B36F0-6E71-42DA-AC8B-05DA39B7F8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32559342d3e9fec9673a5ce358be74a88b10d7d3","datavalue":{"value":"subset synchronization","type":"string"},"datatype":"string"},"type":"statement","id":"Q832939$9CC7631E-543A-46B0-A23F-F09694B0CBB5","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":"Q832939$DF82C1D4-2EFF-45F4-B865-D62077D9AD92","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b9f8249c2e35c7844744d08737d14eeddced298d","datavalue":{"value":"W3196516880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832939$C27AE0D8-B73A-47F2-8312-C5DC77798BC8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9798d3740a95e4e3ba4a7be88bb0160529fe3a5d","datavalue":{"value":{"entity-type":"item","numeric-id":5002800,"id":"Q5002800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832939$1AC5182C-0A56-4397-80F2-86C4E83F10C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d6b050a08ed7ada469b1b7c24f557ef61f544e4","datavalue":{"value":{"entity-type":"item","numeric-id":2208257,"id":"Q2208257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832939$AC0CF5FA-EA68-44D1-9872-EAB8382D7D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92bf1485810a300ea994e9295c3f39a0174a10c9","datavalue":{"value":{"entity-type":"item","numeric-id":347114,"id":"Q347114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832939$FF90C8BE-B68E-493A-965C-71DC4210CEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1dc80b5fe4af4e79f2ba1feef40e4d86bc2233d","datavalue":{"value":{"entity-type":"item","numeric-id":5021111,"id":"Q5021111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832939$853F0323-BF13-4E43-BDF9-32DDB9CAFA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc00bca55189cd4e7d7d742d1a91c859be66edf0","datavalue":{"value":{"entity-type":"item","numeric-id":2110733,"id":"Q2110733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832939$AB7E5E07-12BC-4159-B89B-8EDB192C41B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6962679078cc12aa1ee93bda1f570c936af3d480","datavalue":{"value":{"entity-type":"item","numeric-id":1146010,"id":"Q1146010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832939$383B1B7B-8A6A-409C-ABE2-82D04F3EA3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6583ec4e2863cbecf9dfbbfd9fc5c34e7c30d15","datavalue":{"value":{"entity-type":"item","numeric-id":5509690,"id":"Q5509690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832939$05815C95-76C7-4450-90BF-CB4A04AF44C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832939$62FDA758-3A69-4494-884C-019FB83CEAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c8f3818c05861ef1188d363d4ce3e07f5a3a822","datavalue":{"value":{"entity-type":"item","numeric-id":2573633,"id":"Q2573633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832939$B1DBC4B1-A49A-4C6F-AE8D-75664B9C25DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b44fadf49fbf71804bd01233e1c102242554fa1","datavalue":{"value":{"entity-type":"item","numeric-id":3476281,"id":"Q3476281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832939$A551FADA-0FD2-4AA8-85F8-B7EED57458E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"875d56740c1307f96b7266572b5b4654524af249","datavalue":{"value":{"entity-type":"item","numeric-id":1201288,"id":"Q1201288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832939$BDAF0FBD-AF33-41B8-9065-E52C294E5451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5090c4ead11efc999367fd652b1eaee0081694c2","datavalue":{"value":{"entity-type":"item","numeric-id":5092426,"id":"Q5092426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832939$8DEC4E44-DE74-4342-8CBD-D2E5E9A8CD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5f3afa6b864a91ab64ead6ed3823c5a9fbe968c","datavalue":{"value":{"entity-type":"item","numeric-id":372966,"id":"Q372966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832939$BAE3ADC1-0221-4922-8150-0B803EF8252C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a52fff56d1d26c2b49de6d5f54c18f76a854141c","datavalue":{"value":{"entity-type":"item","numeric-id":2914705,"id":"Q2914705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832939$3BBD7FE4-FD6B-430D-85C8-50E9BACB16E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c90aecb43a9141dc8ecb4631469d4d0f0b8aa9b","datavalue":{"value":{"entity-type":"item","numeric-id":2019491,"id":"Q2019491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832939$68E4A0C2-6C14-4BDB-ABE0-38213F476A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832939$D3AF79C3-E071-4945-ABDD-72B561F19C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d551123e7c1cd3ccbb3430f600d28865cb33f0","datavalue":{"value":{"entity-type":"item","numeric-id":2914712,"id":"Q2914712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832939$361071D9-8794-4ABA-A19A-A6553D240C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9da60ca6417e28a15bdb080e24e7a6558b8af6fc","datavalue":{"value":{"entity-type":"item","numeric-id":2013561,"id":"Q2013561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832939$04D1618F-35E4-48BA-98A3-C9FAF3B2C92C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac6f99f3c5ac60934ee33d7e3b9b796679e0feec","datavalue":{"value":{"entity-type":"item","numeric-id":1111023,"id":"Q1111023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832939$770A64B5-FBA0-433E-96C4-82E57E22D515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f6f2fc7b333e78a1c846887df6bc34d4b48f29b","datavalue":{"value":{"entity-type":"item","numeric-id":2914716,"id":"Q2914716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832939$0F28CA41-E390-41BA-8D4A-25700C44C1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb95932974b7e6e7a05018efe7eff2e74e5351c3","datavalue":{"value":{"entity-type":"item","numeric-id":5900313,"id":"Q5900313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832939$0EF19169-652D-4DAC-86D9-79478033F13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf19246a25338050b21c9937e8106ba281f148f6","datavalue":{"value":{"entity-type":"item","numeric-id":1113687,"id":"Q1113687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832939$1C3E416D-3687-4C26-A5A1-D1ED3BCE8ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e846e9e9f23126c5a717a1c9f14b50ee45ecca5d","datavalue":{"value":{"entity-type":"item","numeric-id":1838038,"id":"Q1838038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832939$9728E000-E319-4873-A43B-DB0B9CD88E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90a3c2c48e8711a06cbe33fea6900c75fca5b0cd","datavalue":{"value":{"entity-type":"item","numeric-id":3540093,"id":"Q3540093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832939$E43D8124-84BD-4D82-B95C-33051D9A6A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1602ad065ec03e843b134002d9c1b62c2fd10cd2","datavalue":{"value":{"entity-type":"item","numeric-id":2833542,"id":"Q2833542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832939$C069CFE7-D438-4345-B7C6-C3C3AEE451F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f636ae66439d470cb3833a38855d634839f85c8f","datavalue":{"value":{"entity-type":"item","numeric-id":2164757,"id":"Q2164757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"166af80bc103d08d56f5231661de5bceefa72507","datavalue":{"value":{"amount":"+0.8731738328933716","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":"Q832939$08514EF6-CB38-41A4-8A11-56C64425877F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"800067748ac068cc5f59b8d282780f2380a04df8","datavalue":{"value":{"entity-type":"item","numeric-id":5092426,"id":"Q5092426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dde659b0f5c27ae48375a631693c8bf30bbf3f90","datavalue":{"value":{"amount":"+0.8705978989601135","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":"Q832939$9DCEBFF3-7738-4CE1-A1DE-C4B25029AF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dd6b41996c6ec4a83581c6c272f782b1ae7fa85","datavalue":{"value":{"entity-type":"item","numeric-id":2235741,"id":"Q2235741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ee32c586674d7d812d2bbcdc34b16c46a3d835f","datavalue":{"value":{"amount":"+0.8700490593910217","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":"Q832939$E2EF2DE9-755A-40D3-9374-6CE61E8B5441","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constrained synchronization and subset synchronization problems for weakly acyclic automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constrained_synchronization_and_subset_synchronization_problems_for_weakly_acyclic_automata"}}}}}