{"entities":{"Q2920108":{"pageid":2930828,"ns":120,"title":"Item:Q2920108","lastrevid":85142651,"modified":"2026-06-03T06:02:31Z","type":"item","id":"Q2920108","labels":{"en":{"language":"en","value":"Mediating for reduction (on minimizing alternating B\u00fcchi automata)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6098211"}},"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":"Q2920108$4A93A844-AAA6-4366-8F1D-EDAB95790B3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1229bdcc03c1cc93bd7b41519274ddbd47c4a1e9","datavalue":{"value":"1248.68280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920108$FF87ED06-AE16-4A1A-A8AF-5A755A60C3DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7fca74f7f2088ba772c96b73216f68cda94cc5e","datavalue":{"value":{"entity-type":"item","numeric-id":740969,"id":"Q740969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920108$B36E9451-C308-4F56-83DC-E4FFA21D79A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88ff85b194809bca7f50c32cce728497c09fefc5","datavalue":{"value":{"entity-type":"item","numeric-id":300409,"id":"Q300409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920108$7840FA2F-F2CE-4D30-94A5-BBBC49D1B428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b997dc7ec1c186832685ccd7f61424cab1881e","datavalue":{"value":{"entity-type":"item","numeric-id":300413,"id":"Q300413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920108$4EABC445-4E49-46C6-82CC-8090B75DA992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920108$B6FF57EF-24C0-4288-9C21-858FA9B05207","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ee92d50481ed05c06549abf63f6ece88b90dd74","datavalue":{"value":{"time":"+2012-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2920108$5B9F22CC-AD32-4597-8E24-0D2D044E3FC9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"442ede2dd3859a1f486960813990b3afb7ef36da","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_37a1.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2920108$9805CDC1-B6D9-44FC-BD13-CFCD3C4E3896","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920108$1E0977D7-8CC3-45D8-8C0E-B85EF0FAE01C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28eb544bbd4d4a3140a583658901bec375dfd326","datavalue":{"value":"6098211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920108$54CACB85-8F3A-4B40-9259-C1DFF877C6C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03dec23bfabd2e80d595a3a253b903efd88865fa","datavalue":{"value":"alternating automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920108$C8FE06BA-648E-4DF6-9D7B-A10A806B9651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920108$B3349C14-38FB-401C-9D5B-425AB4082231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41bf607c7a0c685b49cc655a4d057166c465434e","datavalue":{"value":"automata minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920108$16C2BBD8-D7E8-4600-AFD8-2557CD086053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5b9894666263b845011ec2b37ebcfd91c72cac6","datavalue":{"value":"B\u00fcchi automata complementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920108$3282272A-E1FE-4CC4-99E9-341DB24D22DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36818e5c20ed0d4f24af815608673ee6f3f4460b","datavalue":{"value":"simulation preorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920108$8534F98D-FAE9-4C76-8346-9A7DB49A12BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a2b9c1d30b1599333dd4f168c1f40f2d31daf58","datavalue":{"value":"forward and backward simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920108$6F46EA82-F0DB-4B82-A3F6-CA3A114FA800","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":"Q2920108$6E5B58F2-11D6-4164-B1ED-813B5E8414E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c26cfc12efc549be0b79b63593554943aa146d16","datavalue":{"value":{"entity-type":"item","numeric-id":33040,"id":"Q33040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920108$5E4B5B3F-BE82-465F-9D5A-DCCAAD7FE7E8","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":"Q2920108$7E08DE24-7693-4ADD-AF91-7640DAE76BF1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d43bda94ed6c2d2e4251bb3cd5d520c8c351ab0","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2009.2302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920108$AEF820AE-B78A-4259-A629-835A0189153D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef56ff7222c693ffe4536388bcd9bdcbd0382347","datavalue":{"value":{"text":"Mediating for reduction (on minimizing alternating B\u00fcchi automata)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2920108$11BEDFEC-01A9-44CD-9610-E4EB0C08E71D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0cd37011f4b10785ad15ec0fc2ddac494e54b4c","datavalue":{"value":{"entity-type":"item","numeric-id":740970,"id":"Q740970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"191a9fe0cddc5d483e2ba3082de244a9ca819d4a","datavalue":{"value":{"amount":"+0.998146951198578","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":"Q2920108$C2B4ECC2-9546-4D62-86B9-78934D46539E","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":"c059dcba7bbe015d3c48ad53a043434f819f248d","datavalue":{"value":{"amount":"+0.8150981664657593","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":"Q2920108$07CB1834-6790-4F87-8A03-31566BBF8FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d367ef4bcdf627c197b29959e83dba91a10f1751","datavalue":{"value":{"entity-type":"item","numeric-id":557801,"id":"Q557801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fa82633fb93b3f92e9e28bbd5fdabecb8c44794","datavalue":{"value":{"amount":"+0.7895081639289856","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":"Q2920108$AB35689D-0566-45CF-9349-78D85FB817F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c68c2b63041ceba85e4b88519e0cc173312e91a","datavalue":{"value":{"entity-type":"item","numeric-id":5317190,"id":"Q5317190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81a6741db514a0c063cd5e4943ff90a6fd07a62d","datavalue":{"value":{"amount":"+0.7792884111404419","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":"Q2920108$E370869B-452D-4565-950E-38ACE1856A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27e1277cd01f8639dad6576d5a5185f942357f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5756738,"id":"Q5756738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3c0bcd0d17d3fc132f82fb88fa8b59ae3026bac","datavalue":{"value":{"amount":"+0.7723878622055054","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":"Q2920108$25573CC4-FE70-4A64-BC80-6DD32CE83616","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mediating for reduction (on minimizing alternating B\u00fcchi automata) (scientific article; zbMATH DE number 6098211)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mediating_for_reduction_(on_minimizing_alternating_B%C3%BCchi_automata)_(scientific_article;_zbMATH_DE_number_6098211)"}}}}}