{"entities":{"Q1123627":{"pageid":1134376,"ns":120,"title":"Item:Q1123627","lastrevid":67051377,"modified":"2026-04-12T14:36:26Z","type":"item","id":"Q1123627","labels":{"en":{"language":"en","value":"A decidability result for homomorphic representation of automata by \\(\\alpha _ 0\\)-products"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4110129"}},"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":"Q1123627$A1C65BB1-8C5D-420C-B3AD-8415490E2AFB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d35349a1fdb1a5593c5ed18e25a42fb8e6a5585","datavalue":{"value":{"text":"A decidability result for homomorphic representation of automata by \\(\\alpha _ 0\\)-products","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1123627$C3117F6C-1D03-44F9-AB88-136B3C9EF83B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5fc0a9b9b3667b3693cb239808f3c8c88f455a4d","datavalue":{"value":"0677.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123627$02D3B714-8863-464A-9DC6-420B2B1029EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49796764362ed289def31979039a4fa712818149","datavalue":{"value":"10.1007/BF02170071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123627$00E064B5-FF54-4026-BB08-DCFB7ED038C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b942190e17083b575cb45317653fe779fdb5a77","datavalue":{"value":{"entity-type":"item","numeric-id":168571,"id":"Q168571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123627$30D7DB70-E8AA-47FF-9C32-3AF67C3EBBD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1123627$C5A50ED4-468F-413A-B605-A1240652CEF4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f5f0a050b60f6d3a5c3d8ea4fe88ae54aca11c51","datavalue":{"value":"Let \\({\\mathcal K}\\) be a finite class of finite automata of the form \\(A=(A,X,\\delta)\\), \\(\\delta\\) : \\(A\\times X\\to A\\). If A is not metrically complete then it is decidable whether A can be homomorphically represented by an \\(\\alpha_ 0\\)-product of automata from \\({\\mathcal K}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123627$3EBC7425-A64E-4F62-8418-42D2A3A5337E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123627$E9D91287-3127-4E21-A200-9F15BF0A197E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23d1e30be77831816ac5c9020a6f964d6b3f08e3","datavalue":{"value":"4110129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123627$048ED6DB-993E-4CAE-AEF7-B426E72980CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d8ab26526eb6012f223dcc6d0c0e0ffdcc6b9ab","datavalue":{"value":"deterministic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123627$2FBC38F7-E35E-47BE-8855-6A501978F9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5b5212cafe7da0a6dfc0df6f09b8cc733fdb80e","datavalue":{"value":"\\(\\alpha _ 0\\)-product of automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123627$4B41837A-68FB-4729-B1D5-70AF11EB98A8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9243df4908985ba56d3c3600466871cf7fd1101f","datavalue":{"value":"Q123083926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123627$C03264B7-0E3C-4D03-8A82-7F583678BB4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2839fa7df2030a45c4fad5ee858120056b896af4","datavalue":{"value":{"entity-type":"item","numeric-id":265801,"id":"Q265801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123627$70003B33-089C-420B-8F0D-F78E31653C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e40f75f315a2b6fc6ab440992d53ab3ef83eca1f","datavalue":{"value":{"entity-type":"item","numeric-id":1091821,"id":"Q1091821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123627$34791EFB-7FD4-48B2-AC4C-87E63E9EFD29","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9cc5f7effc0f7b49385411bb7354d3da876c65ec","datavalue":{"value":{"entity-type":"item","numeric-id":1160486,"id":"Q1160486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123627$3B777CD4-87DF-4FFE-8E6F-57D8FB05F01A","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":"Q1123627$56BA683F-DAA3-4B78-99EE-C12FF15F9FDF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c239fda4236e9368ab6baed71412177e5b273bd0","datavalue":{"value":{"entity-type":"item","numeric-id":3316601,"id":"Q3316601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123627$99CB4C3C-D599-4EF4-9562-9D54B8701151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f06b302f7f0620107a4cd39cea6bb59cb56dbe5f","datavalue":{"value":{"entity-type":"item","numeric-id":1098636,"id":"Q1098636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123627$E8B1C807-C0ED-4CCE-8594-6490685D5223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"592e983d222a158d40f0174d3f801c58a51ad115","datavalue":{"value":{"entity-type":"item","numeric-id":3321480,"id":"Q3321480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123627$5FF654A7-D0CA-4537-A10D-0CCA902B532A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9326332d252a5115e841e1022521d14628c40500","datavalue":{"value":{"entity-type":"item","numeric-id":3939243,"id":"Q3939243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123627$37C7D697-C8C5-4B84-AE6F-6AE44BC1C51A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"527f0c8a72c9fc06f9bb3953a27cdec700944ffc","datavalue":{"value":"https://doi.org/10.1007/bf02170071","type":"string"},"datatype":"url"},"type":"statement","id":"Q1123627$2C53386A-7C0E-43D6-8895-5D53356E36E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"99b9d026785b056ddec58e929ec3e7863b7fb81b","datavalue":{"value":"W2050849614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123627$EDCD95DF-449C-4005-A5FA-AAFC33FCBE0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d10e310b730c3bb455c2aeb5965e16d27e82acc","datavalue":{"value":{"entity-type":"item","numeric-id":3758249,"id":"Q3758249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"456b9616bf5d39ccb060f3bc013159e4bcc8f32a","datavalue":{"value":{"amount":"+0.8447266221046448","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":"Q1123627$EE4EC2D4-EAFC-4805-BF45-CE94057067EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bb42508c45a129659464b0fe01cf7ce3104615b","datavalue":{"value":{"entity-type":"item","numeric-id":3468615,"id":"Q3468615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87da6e9b559d8e365b6e01c6a130be7722b397a9","datavalue":{"value":{"amount":"+0.8418179154396057","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":"Q1123627$9A2D2108-4F7D-4BCC-808D-5573D05D9F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d2de98baea2300395aaee57ee077beea9270756","datavalue":{"value":{"entity-type":"item","numeric-id":3774952,"id":"Q3774952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"735f48a445cb01aa1370b59aa2d6c1aae0a6f945","datavalue":{"value":{"amount":"+0.8349314332008362","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":"Q1123627$D759135E-32BB-4AAC-9DC9-6C23D601C275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a6c3c798707c8dd7b04f8a778034544f0e29f7","datavalue":{"value":{"entity-type":"item","numeric-id":3321480,"id":"Q3321480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4950e070f8cf719c7639639d454a86fb8623e162","datavalue":{"value":{"amount":"+0.8291144371032715","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":"Q1123627$6EB98302-22F3-4C6C-9734-FC2ACEF8A37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b46407b9e4d23251495e6a93545a171e4a919efa","datavalue":{"value":{"entity-type":"item","numeric-id":3219120,"id":"Q3219120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cd8b46204478acbc39f5c78a42d61ecdd3a7115","datavalue":{"value":{"amount":"+0.8282051086425781","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":"Q1123627$06B22CFB-7B65-477A-BB53-0266AEF41C44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A decidability result for homomorphic representation of automata by \\(\\alpha 0\\)-products","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_decidability_result_for_homomorphic_representation_of_automata_by_%5C(%5Calpha_0%5C)-products"}}}}}