{"entities":{"Q3503892":{"pageid":5533796,"ns":120,"title":"Item:Q3503892","lastrevid":48780877,"modified":"2026-01-05T20:33:20Z","type":"item","id":"Q3503892","labels":{"en":{"language":"en","value":"Synchronizing Automata Preserving a Chain of Partial Orders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5286066"}},"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":"Q3503892$2D7170D8-F458-4412-8173-426BBA12E616","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62882324df55650ccf447b18c397886463639988","datavalue":{"value":{"text":"Synchronizing Automata Preserving a Chain of Partial Orders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3503892$D7E66F11-A346-4FBD-AB9F-32940F4F988C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8d4ed8fbcb8a2c8955b78bca21f50b939b7a14c","datavalue":{"value":"1139.68377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503892$C4CBAB13-4045-4009-A6C4-C65986E68446","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c937225cea9b768077499fda7cb60300056972d1","datavalue":{"value":"10.1007/978-3-540-76336-9_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503892$34BCE037-9700-4A39-99C7-D667641B0916","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bf83f812d2bbb21784a7f63045abdaccf0cc333b","datavalue":{"value":{"entity-type":"item","numeric-id":2830201,"id":"Q2830201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503892$9412A03C-64DE-4049-9BEA-D430BC5A1844","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"02f425c9fa8666905f3e65543eb13845c1c7986a","datavalue":{"value":{"time":"+2008-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3503892$2DB75F3B-EDFF-4B02-BDEC-125D5FA964E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf98a3cd43f95840ab8b8b328bf25fdb3007941c","datavalue":{"value":"http://hdl.handle.net/10995/72269","type":"string"},"datatype":"url"},"type":"statement","id":"Q3503892$6119ABC4-8014-4AB5-B761-C84E2F6843A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503892$F0146C38-10F7-4F48-B2C9-CB5B6D2A5EF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cfbeff6115cf80e654b08d67839b50c061077047","datavalue":{"value":"5286066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503892$CB5DDB9D-3DB3-4BD9-8B44-4C40A78E70D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a19bb379ed3c76df6d16665e227f00a03e1e7c2","datavalue":{"value":"deterministic finite automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503892$7B1A37A7-D497-4E6C-A273-272C3C11ED5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b65caa91765e2cd64df517de4dd625db242407b8","datavalue":{"value":"synchronizing automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503892$0EF54DAB-0019-4A61-A8EA-46735ECA797A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11612add6abaf2c69ce465ee3d38284020843e75","datavalue":{"value":"\u010cern\u00fd conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503892$6C80CD52-CA1F-4502-BF15-3D2DA61F011E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b5788b12c28c79395e7f922414dc2d91358cfaf","datavalue":{"value":"congruence on an automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503892$7AF31370-D1B0-4913-B132-39D5077FBD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7b53ea4204d7479a44c8455148fcd9a2bdfca4e","datavalue":{"value":"weakly monotonic automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503892$868B0F91-F454-43A2-A535-DC380C38E8D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"701cddcfc66c58778353376d9269e66fcf4c08a5","datavalue":{"value":"strongly connected automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503892$261E5C08-8960-4919-A0A2-BFAC2F55474B","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":"Q3503892$D796C769-AE9F-4C25-A1BE-5C320F2410AE","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":"Q3503892$0CFF2323-9832-471A-9537-A1E1C91AE0C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d7aeb8bf414a0e5411beb63bf9e634352ba877a","datavalue":{"value":"W2096850077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503892$BF0FEA17-C442-4EC0-BAEE-0E85BD0C73E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e71eca737bf91dc8769c546832710d7e68eecd61","datavalue":{"value":{"entity-type":"item","numeric-id":5473664,"id":"Q5473664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503892$590C5DCE-19B8-446D-836B-E11CE7BB7ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b1707c58118aea973a1c9c32eb7d0c1af0a0e0c","datavalue":{"value":{"entity-type":"item","numeric-id":1763695,"id":"Q1763695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503892$B534DEA3-0F99-444A-A08A-4E5D938A569D","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":"Q3503892$65B066C1-FF48-46B7-A6B3-7779E60A5F47","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":"Q3503892$8224DA89-0753-42D8-AD79-D07FDBD5B93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9881c1ae62081c6d316c874c058699bb32ffc793","datavalue":{"value":{"entity-type":"item","numeric-id":1165848,"id":"Q1165848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503892$570BE1CE-01F4-45DC-BE6B-00467644D65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01ff04835164ac609cd1ccce0684ec0eded0af9e","datavalue":{"value":{"entity-type":"item","numeric-id":686743,"id":"Q686743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503892$82EEBF8B-682E-498C-8F47-F2740A7047DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dd71910e891883dfd59f93d06e5c89e791f8551","datavalue":{"value":{"entity-type":"item","numeric-id":4852676,"id":"Q4852676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503892$481A8EA2-0D73-4BED-9AA2-12026A25B3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c63e90fae22b5493807b6e8dec85ea84bfd96eda","datavalue":{"value":{"entity-type":"item","numeric-id":4266486,"id":"Q4266486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503892$3542503B-ADA1-43BD-B7FA-9BDF58998D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dd225cb7a1f1b5d01838e5961bac1df864370d","datavalue":{"value":{"entity-type":"item","numeric-id":5641083,"id":"Q5641083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503892$BA09F4AD-9635-4D8E-B9FD-D518B8292F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12c3e1bc783c746ea5995dd8134cc80b1e90c162","datavalue":{"value":{"entity-type":"item","numeric-id":3674065,"id":"Q3674065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503892$C1D0FF98-5253-44AB-A130-A16E1AF21FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9bc2459f91b8c09a347e7a1add302ae448e191","datavalue":{"value":{"entity-type":"item","numeric-id":1392028,"id":"Q1392028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503892$9A8DDE61-8596-47D1-9AFE-FCE416BCF0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"550e3f267c79f6b5b82ca4713e124385ff1cfde0","datavalue":{"value":{"entity-type":"item","numeric-id":1853744,"id":"Q1853744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503892$1A019D5E-4DAF-45D1-BD61-76D17C1F0CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9091672394dec85151dc553a23b70880e673e5b","datavalue":{"value":{"entity-type":"item","numeric-id":5387708,"id":"Q5387708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503892$11104FE2-C3FE-40A6-B64D-17FAAA670AA8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cf9af939ba8f19da08d70aea949b006bc19e0a3","datavalue":{"value":{"entity-type":"item","numeric-id":840772,"id":"Q840772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbab897a6d3e720dc80b67e0eef4e13e205a07dd","datavalue":{"value":{"amount":"+0.9999999","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3503892$DC15127C-D3EE-4242-BFE3-A5A9E212EE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a358152f22af1e1f805586aabc2166971a51a7ed","datavalue":{"value":{"entity-type":"item","numeric-id":2170286,"id":"Q2170286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c93a50f8640040da384819b01e7365ea4c29ac1","datavalue":{"value":{"amount":"+0.896597","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3503892$B74E223B-67FA-4375-AF0F-92F76E3871FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c7b74066b021b20bb947564a3f4749428578cf4","datavalue":{"value":{"entity-type":"item","numeric-id":4928474,"id":"Q4928474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fa3d562bd773c313422d6f759ad5b733d5aa2d9","datavalue":{"value":{"amount":"+0.89437944","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3503892$14406555-0E38-437C-803E-C983A1A42D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41fbaeb218fbed266e5d1adfe2ec837bb77bacce","datavalue":{"value":{"entity-type":"item","numeric-id":2914705,"id":"Q2914705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88cf688e9788430ea15768310439589e0b3eddcf","datavalue":{"value":{"amount":"+0.89277655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3503892$DCDD19D9-47D0-4B7A-BA0A-A7A471C93CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62b759912393ceb3153340ba9a6da3bc2c534fc1","datavalue":{"value":{"entity-type":"item","numeric-id":2946348,"id":"Q2946348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db2c25a00d6cb87a58a12ac4b3aa199b38b042b9","datavalue":{"value":{"amount":"+0.8921194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3503892$EFB1C619-EE4C-4F2B-B0B2-D9B46D84016E","rank":"normal"},{"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":"a72be49762742f4c38c4e70084ebd12bd3025ab8","datavalue":{"value":{"amount":"+0.8892432","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3503892$FA6DCE71-29C2-4F0E-8305-AD594AC95B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa95d9e5111c8cc0d3492aefb6bd22b6c052c8ea","datavalue":{"value":{"entity-type":"item","numeric-id":3540093,"id":"Q3540093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b887120686b00c9edbb64042f168d59d6574a0f1","datavalue":{"value":{"amount":"+0.8868722","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3503892$12FA48D4-6F58-4F80-8B10-FF831EB28996","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":"b593c4d9d0f200394a303a38db18011d9b4c2668","datavalue":{"value":{"amount":"+0.8843015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3503892$A5E3906D-C0CE-4060-BEB4-6F3BD8DEF661","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":"997f6afbba6f527d45e05dc32653c87ae7d1c9db","datavalue":{"value":{"amount":"+0.8841938","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3503892$9E489570-427C-4C5D-8273-306534B92D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdb565801d769bac2ccec570af3cc70c716965cc","datavalue":{"value":{"entity-type":"item","numeric-id":6178262,"id":"Q6178262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76824d5a84630f862a16792842b727ab89b2c931","datavalue":{"value":{"amount":"+0.8834758","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3503892$7AF8FB33-2B16-41C2-AA9A-BAFE495488B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3503892","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3503892"}}}}}