{"entities":{"Q557801":{"pageid":559568,"ns":120,"title":"Item:Q557801","lastrevid":62730207,"modified":"2026-04-11T08:04:37Z","type":"item","id":"Q557801","labels":{"en":{"language":"en","value":"Simulation relations for alternating B\u00fcchi automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2184042"}},"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":"Q557801$3CC1F748-EF36-40EE-B14E-DA77739E0919","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c69acc7858e310574559935ebe89f7e87ff36d8","datavalue":{"value":{"text":"Simulation relations for alternating B\u00fcchi automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q557801$72CD6327-ADE3-4491-92EB-FC0FAA601CD5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b16306c585461ead4a33a8eb6f2d797349b2b35d","datavalue":{"value":"1078.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557801$6B0A1D09-5716-41EC-A6BC-E5BDDED46EDE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"353dcfc201312b19a0e12c8dea717a3e06c26a9d","datavalue":{"value":{"entity-type":"item","numeric-id":557800,"id":"Q557800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557801$4CA50179-C3DD-4728-A31B-84287D17DBB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26eaa7a3159ba545420366ef8b151ea4c3766e0","datavalue":{"value":{"entity-type":"item","numeric-id":208756,"id":"Q208756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557801$7B4A12E6-C2B3-4815-B14C-36F4773BAB3D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557801$4EC6E456-6928-4B80-8B32-700582B7FF59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3be35b99bc40d25914143aa31268a19fcdde1b9d","datavalue":{"value":{"time":"+2005-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q557801$4301ABBA-8D89-4636-BBD7-159BE9BAE1A3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2ba2aed5fee0f56f42ad48128cfaf1110d3f575f","datavalue":{"value":"The authors adapt the technique for minimalization of the nondeterministic B\u00fcchi automata to alternating B\u00fcchi automata. Based on the same simple game the authors define three types of simulation relations (direct, delayed and fair) for alternating B\u00fcchi automata and show that all these simulations can be used for checking language containment. Two new quotients (minimax and semi-elective) are presented and it is shown that the quotients preserve the languages recognized. It is shown that the simulation relations defined by the authors are compatible with standard translation of alternating B\u00fcchi automata to nondeterministic B\u00fcchi automata, due to Miyano and Hayashi. At the end an efficient algorithm for computing the simulation relations is presented. This algorithm has a lower time complexity than other existing algorithms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q557801$B43CCD99-B0BA-44A6-88DA-34C7C089B3A4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"10ce3a5d9313b648d3b16631524f630b08f534db","datavalue":{"value":{"entity-type":"item","numeric-id":587297,"id":"Q587297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557801$62447BFF-A89B-4D2E-BF27-5AC66140FF63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557801$7B0497E8-AC1C-4D19-91EC-942BB94BCA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557801$C1239A01-4092-413D-8A89-C0CA37ACEC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557801$217962BA-2BA0-4F82-93F1-62F178A6DA49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1ec74ed528cca5f509f3e5c0be3b801e353cb43","datavalue":{"value":"2184042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557801$A6A1761B-B9B5-4CBD-BB8A-EBF108D36275","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03dec23bfabd2e80d595a3a253b903efd88865fa","datavalue":{"value":"alternating automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q557801$2321A8DF-3F8D-4634-9E62-9BAF31B69D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q557801$17ECA003-473D-42E8-B6EC-2C8DD0F2580E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b0fff531f62acfc283a5a9181040fc8d873e6a3","datavalue":{"value":"B\u00fcchi games","type":"string"},"datatype":"string"},"type":"statement","id":"Q557801$4F058230-5516-44AE-99A1-DDE2B95CA87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"548fb38e0e5082d1d0202592e69ac8e93ecf206b","datavalue":{"value":"simulation relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q557801$5223EE9D-CED4-4BEC-BE57-D69488522782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cab451d1a56d941fa21ae498f4ab1826a5b5ab3","datavalue":{"value":"quotienting","type":"string"},"datatype":"string"},"type":"statement","id":"Q557801$C2A18CB7-F14A-4243-AE30-BECB916479EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41bf607c7a0c685b49cc655a4d057166c465434e","datavalue":{"value":"automata minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q557801$FA7DAF11-57D7-4EBC-94A2-B3C65227C937","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7f2469d411e2768bc47538ae7e680705572b900","datavalue":{"value":{"entity-type":"item","numeric-id":22908,"id":"Q22908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557801$900C7969-1EC4-422D-8F1E-2529D39E6A64","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":"Q557801$FE5E1FAA-65BE-4B21-83CD-8A52F76A1230","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c5fd97c13767f99612e26f65dbe5c6ca22be268d","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.01.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q557801$70D297A3-6621-4F81-A662-3D60F5F484F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e45bd9e6d2339fd1206e4162e7e9a730366c457","datavalue":{"value":"W2013689938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557801$8CDC30D5-7B7E-4AFE-B6E5-8B3A8971EF10","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"88841c928c327a6860d292686b79d9d48a1bdc75","datavalue":{"value":{"entity-type":"item","numeric-id":4484507,"id":"Q4484507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557801$51119080-A437-4344-A10C-FF509D2C08AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e489f60b50ffbcb76ff4a8ca52e7c0625bf4ef0","datavalue":{"value":{"entity-type":"item","numeric-id":4536615,"id":"Q4536615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557801$2D66E30C-20D7-446D-AD61-0C19CEF2E074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43ed076b922bab4526d2e55f06121ec4c2de885","datavalue":{"value":{"entity-type":"item","numeric-id":4535055,"id":"Q4535055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557801$4C881297-986E-4F75-95E0-B2B2799F8DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8815be8d7d5cd349532a95ef9c4572798782f172","datavalue":{"value":{"entity-type":"item","numeric-id":5191511,"id":"Q5191511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557801$34D1EB44-AE41-4522-BF41-9FB1598BF26E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d69af03ee4c43d6c01a82d5a153d541726cc26b","datavalue":{"value":{"entity-type":"item","numeric-id":2848035,"id":"Q2848035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557801$E79CB11C-AA55-43BD-9354-F971ED43AF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aae05df22266c751ca129e105f1a7db0dffd3800","datavalue":{"value":{"entity-type":"item","numeric-id":4804905,"id":"Q4804905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557801$F14CFF57-9BE0-48A4-8288-19C31B1A25BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46a36cb944c08f94b6b89ba8b39e20dba78080a3","datavalue":{"value":{"entity-type":"item","numeric-id":4535056,"id":"Q4535056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557801$4DAFF274-6B25-464C-A415-263854F04ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557801$916FFFD7-5911-410C-804A-C2386F71FBB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9afd4fa313d72573c9bd3f393fea2eaa1326a6b","datavalue":{"value":{"entity-type":"item","numeric-id":4418589,"id":"Q4418589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557801$9DC63024-1FA5-477F-97FA-70BD50C1BC96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01da25e464c0aff317b994d1238b1479d2a74b38","datavalue":{"value":{"entity-type":"item","numeric-id":4447232,"id":"Q4447232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557801$903B9C78-7EBD-4667-9231-E5A288E62522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8ec65e1653887006cf0321041ea2e9f40544562","datavalue":{"value":{"entity-type":"item","numeric-id":4484508,"id":"Q4484508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557801$F63DB6D0-12BE-4BDB-A771-F9B8495B9773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606fd070630bb1cb73b0655837c2616dd769a509","datavalue":{"value":{"entity-type":"item","numeric-id":672251,"id":"Q672251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557801$02E449CB-5D7A-4B5A-8927-AE2ED2B4EF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fefd3695fc6c127353eeeaf9bb631916756e929","datavalue":{"value":{"entity-type":"item","numeric-id":4168037,"id":"Q4168037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557801$07316F59-A49F-49EB-9946-74A60FC50E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56213f215f8589cb5b9b607fe971b63f08690128","datavalue":{"value":{"entity-type":"item","numeric-id":293167,"id":"Q293167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557801$5A66154E-A7F3-427D-A6CC-CBF0B2263FAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b723b0948d5a2929a75969131db04142e2303cfb","datavalue":{"value":"10.1016/J.TCS.2005.01.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557801$75E57AAA-5278-410A-847E-7F60EEC3564E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0729fbb3dbf864d82ca17079f8bed0cc3705c818","datavalue":{"value":{"entity-type":"item","numeric-id":3559779,"id":"Q3559779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5be3382d42970b3f20403ad1dfedaf1836f8a106","datavalue":{"value":{"amount":"+0.9022045","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":"Q557801$0F9CA517-E2BF-42E6-9E5A-384CE13FFF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22c8d54788c5b35d3fd1ba04f3a18e1fc5cdd48f","datavalue":{"value":{"entity-type":"item","numeric-id":3617046,"id":"Q3617046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea4d6118e07853d7c69efb69d608a560deb614ca","datavalue":{"value":{"amount":"+0.891001","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":"Q557801$4876789B-1658-42CE-A9BE-54A0C0B7534E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62764c6a32c1e1c2db0a7cf727fac6222e0b697f","datavalue":{"value":{"entity-type":"item","numeric-id":6109584,"id":"Q6109584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2865e0d06764d0a9afc34057ed5386b4f0ebb60","datavalue":{"value":{"amount":"+0.87676996","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":"Q557801$07852C38-5C9B-4A93-B5DF-191126EEBA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34e05627b0b3487b610816c494464314a33e9a8c","datavalue":{"value":{"entity-type":"item","numeric-id":3584938,"id":"Q3584938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21c6cad4ecf5db07cebdd4480d4cca2818b22722","datavalue":{"value":{"amount":"+0.86656064","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":"Q557801$76B2AB92-7901-4D09-9863-0136AB6849B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"396cba46383199d70c2832cd4829867c465ca516","datavalue":{"value":{"entity-type":"item","numeric-id":4415252,"id":"Q4415252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33af781f39c4e011eb716cac2eecc066e1d57f30","datavalue":{"value":{"amount":"+0.8662245","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":"Q557801$09A830FD-A1D0-4EC9-9DE2-715C8FDDBF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee55523f82c87df72b8c03560de777af423797c1","datavalue":{"value":{"entity-type":"item","numeric-id":6488469,"id":"Q6488469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2527e893143cde23b37292084eab564e1c7902a6","datavalue":{"value":{"amount":"+0.8661344","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":"Q557801$ABD7CF0E-F63B-484E-B661-92BF570F641D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37dc1fbc449b6554b4152bacde0d0016024b6a6c","datavalue":{"value":{"entity-type":"item","numeric-id":4005454,"id":"Q4005454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1ef488ba2df15719906045b570bf2e839e223af","datavalue":{"value":{"amount":"+0.8615257","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":"Q557801$8C92BE5C-9A2A-4005-AF16-EA849E06DBDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ce367f3f1be4c0be523bb10eb040463e4daae47","datavalue":{"value":{"entity-type":"item","numeric-id":4412827,"id":"Q4412827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86189f1fdb10cd2889e67a8119138c5d5a8967ec","datavalue":{"value":{"amount":"+0.85885787","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":"Q557801$FB6498AC-9253-4E19-9D10-5EFED85C58A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e15902671685815b2f4a86790c04c4b4734edbcb","datavalue":{"value":{"entity-type":"item","numeric-id":3033341,"id":"Q3033341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"794ba7504e37cf3607e1dfbfc80504191c1203ba","datavalue":{"value":{"amount":"+0.85880446","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":"Q557801$3DFE99CF-CBED-42C4-B8B6-14BB88FF0D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b5f8b36b499447f7a52c44d089bbc1077666394","datavalue":{"value":{"entity-type":"item","numeric-id":2481957,"id":"Q2481957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44e81174017531c4b0096382eb398b3995ca48d0","datavalue":{"value":{"amount":"+0.85640377","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":"Q557801$EE9AF475-74E4-47B5-97FE-0096CBF3E7A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simulation relations for alternating B\u00fcchi automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simulation_relations_for_alternating_B%C3%BCchi_automata"}}}}}