{"entities":{"Q6178262":{"pageid":13313150,"ns":120,"title":"Item:Q6178262","lastrevid":41776404,"modified":"2025-05-08T04:48:04Z","type":"item","id":"Q6178262","labels":{"en":{"language":"en","value":"Synchronization of finite automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7733482"}},"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":"Q6178262$B457572E-14E2-45EA-B6AC-017B6434F052","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d950e7481cdd49e331e02ec1f33d744411290214","datavalue":{"value":{"text":"Synchronization of finite automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6178262$F0070D45-8B04-4E1D-A2FA-478C5A5448AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9836a36a6248613f2664814a87ea01a9c752cb6","datavalue":{"value":{"entity-type":"item","numeric-id":1729794,"id":"Q1729794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178262$125FB95E-78C4-4681-90EA-CA21A9D0246B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f860f69f39e97a44d9dc91185aaf877a84e0b855","datavalue":{"value":{"entity-type":"item","numeric-id":2710703,"id":"Q2710703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6178262$A979CDF7-8487-49B5-BDF4-97742E91ED77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"781e7768df6ff0509a791232a854e44aa5d404bf","datavalue":{"value":{"time":"+2023-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6178262$F951C45B-8EE5-4DFE-A680-1C4386108A20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb316cec08f0584cfee06d16888523dab74b8c1a","datavalue":{"value":"http://mathnet.ru/eng/rm10005","type":"string"},"datatype":"url"},"type":"statement","id":"Q6178262$D5AC58BB-3F2D-45A3-BD0D-8EF40218B942","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178262$68739514-238F-4C02-AA6F-5381ED9E5E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178262$50475A0F-F9F0-459C-92F3-90FAE48ACD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178262$E9B3828E-F2FB-41FB-9AB5-353105BFAE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178262$3F091D81-06DA-4FBF-8CC4-C7AD9E2E8DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178262$CC4E3327-6B57-41A5-AB7A-D581F58AEECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178262$06CE83FB-5072-43A0-9FE6-59859D9C90E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178262$B664F0C9-D0A5-4E81-AFDD-2CE6842505E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37c9e63401856193fcc54690151a3990edaa5246","datavalue":{"value":"7733482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178262$3F7C40DA-2764-46CF-B84E-238B59BC1B75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ac3aa141a5e99f6d4ec0321d581483dfafb5e9","datavalue":{"value":"finite automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q6178262$E4985864-F86A-4178-A926-5725A6123715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccf9bc148cc377aa54c8b949eb83c7a87c576bfb","datavalue":{"value":"synchronizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6178262$544A9021-24B8-416E-BF4A-6D867D591AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q6178262$71B16DFA-19C0-4A53-8486-36C5CB79A123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6178262$E7096107-AD19-4FB8-819A-0CA81BEF1B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a01c05c9f7ccc83ea518678a200f9d40b4277c20","datavalue":{"value":"reset threshold","type":"string"},"datatype":"string"},"type":"statement","id":"Q6178262$C81D9E2A-B507-4314-B15E-2A330883B0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"406e99af6aa9a77039afd065890c8d40ec417a0f","datavalue":{"value":"\u010cern\u00fd's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q6178262$727C2445-EB71-4EB3-9054-600FA9EDDA96","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":"Q6178262$8B912A0F-049A-43AC-AD20-40470EE302DC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e5a76a6980be4c347dfa960b1b81f4b9af0e9e3c","datavalue":{"value":"Q126177095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178262$7AEAA716-3882-49F1-B941-82AA67F9313F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"136a241e4eb394f6469cf887c30ca8e357e68d0b","datavalue":{"value":"W4381306234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178262$CCE2CB7D-7894-4D17-A41E-1B7793EE7F19","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7f168296708c3e8ef433f63b14c136cf5d19aa1","datavalue":{"value":"10.4213/RM10005E","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6178262$ED2AA83A-0C7F-437B-9E36-06A9A8FFC4DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66802c67564b94c2620c57314f5c228c8895bf49","datavalue":{"value":{"entity-type":"item","numeric-id":4858462,"id":"Q4858462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"764d2fe297db3a5d604d283c866e3b291557ce48","datavalue":{"value":{"amount":"+0.9656192","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6178262$B6A40C29-45A1-4D6C-A271-9C2F6D967CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f4295c85b6d2056391f08aee796f357ebbe6cca","datavalue":{"value":{"entity-type":"item","numeric-id":5422239,"id":"Q5422239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc27a27c33ab926b6fec266ac5e1dbb2a6bcdc3c","datavalue":{"value":{"amount":"+0.9648906","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6178262$3B520136-A880-428C-926D-B940D9DA00DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1da150e526a842d516e5bb6188638d6fdead13a4","datavalue":{"value":{"entity-type":"item","numeric-id":3182910,"id":"Q3182910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cae3f080315bf41ee303ac1eeac1f85a41037d84","datavalue":{"value":{"amount":"+0.9584471","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6178262$F46566E9-123F-4AD8-9D90-90C1BF36FEDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb9b37da6baa9453c26d7b88df89ff3e995ba43c","datavalue":{"value":{"entity-type":"item","numeric-id":4623036,"id":"Q4623036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"017b20b87660c95fc811a774e3db18849e61ddae","datavalue":{"value":{"amount":"+0.9545984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6178262$EC39BAAD-07DA-4B92-A783-7CFA6F22010E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efdf1a48f4d45ab757176914cc44b9bf0dc53d6f","datavalue":{"value":{"entity-type":"item","numeric-id":4414724,"id":"Q4414724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07e3084a660264b46daa4b9120751a94f31490dc","datavalue":{"value":{"amount":"+0.9482994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6178262$E290E76F-F556-4827-97D7-88179F2DEFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bf50d979e9492f1fa3e580d4712515bc402746f","datavalue":{"value":{"entity-type":"item","numeric-id":4852675,"id":"Q4852675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"917d7fd611b97ab2353c54092b53e37eafdcdaf8","datavalue":{"value":{"amount":"+0.94595444","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6178262$9FD6D99E-E8BE-40EC-95D0-A4DB30F8D27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0cd0aaf44a575d352ebf23507907f9c61530927","datavalue":{"value":{"entity-type":"item","numeric-id":5365563,"id":"Q5365563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e788868dd09ac2d9a1cea24cc0396f4418a69c8f","datavalue":{"value":{"amount":"+0.94384193","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6178262$5B40C4BF-DEF5-475C-8604-E003EB65BBB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ffcced55fdd4aeee88baaab4bfe87482f756295","datavalue":{"value":{"entity-type":"item","numeric-id":3618621,"id":"Q3618621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12493d7ce9e3334f6d3d4a123ca15a7ec1072557","datavalue":{"value":{"amount":"+0.9425919","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6178262$5C79AB9F-A5F9-465B-8629-5D528ED98900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6372308b58689f5b91c2742fd293e76058774043","datavalue":{"value":{"entity-type":"item","numeric-id":3617051,"id":"Q3617051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a593e9c676af5a947233e696a884252e78f4e3a3","datavalue":{"value":{"amount":"+0.9398656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6178262$39237196-9683-4505-81CC-9130C6686D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e0eee493b0402c53a1e3dda0a6dfe930f66b83d","datavalue":{"value":{"entity-type":"item","numeric-id":6067332,"id":"Q6067332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"528f4b9fbacb0246777c519e3e3f09de69a66a44","datavalue":{"value":{"amount":"+0.9362829","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6178262$95B4E340-8183-465A-BA1F-E3122C07AD08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6178262","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6178262"}}}}}