{"entities":{"Q6562457":{"pageid":14173612,"ns":120,"title":"Item:Q6562457","lastrevid":42351522,"modified":"2025-06-12T11:27:09Z","type":"item","id":"Q6562457","labels":{"en":{"language":"en","value":"Singly exponential translation of alternating weak B\u00fcchi automata to unambiguous B\u00fcchi automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7871734"}},"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":"Q6562457$07061A00-0E43-48BD-86A9-81F62B486FCD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa65f8cc19e0c65e8a8fe24290ec1c518ebdb6c0","datavalue":{"value":{"text":"Singly exponential translation of alternating weak B\u00fcchi automata to unambiguous B\u00fcchi automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6562457$96F3A7B6-68DC-42FA-B508-40B5DE8E6DBD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"525be268eddb5d95f5464c718ca2a74c2b70e47e","datavalue":{"value":{"entity-type":"item","numeric-id":1660782,"id":"Q1660782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562457$3717161F-BA11-490C-B0DD-22F89B713DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90739aea32371d507efc0d485d2e862d23543168","datavalue":{"value":{"entity-type":"item","numeric-id":259050,"id":"Q259050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562457$B8FD824A-F44A-4EAD-AF9C-1E8FEFCC9CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562457$FB0179F6-AA1F-4FCD-AB03-1EACC429F4A0","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":"Q6562457$094FF67D-7008-4609-A3FB-43AC72ADD2EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fcfcd1ef10c7fde6c1cfae7c43e4bb4c52933f52","datavalue":{"value":{"time":"+2024-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6562457$FC34E30D-4D2A-421D-B50F-53C7033D203A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6562457$F1A145AB-2515-4DA2-B3F1-1AAE7E159633","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"105b0011188f4e8c8d4484f9215448240b7ac91c","datavalue":{"value":"7871734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6562457$40270AD6-01DD-4810-AA37-B1B4DE3D8ED9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6562457$DC5FBC40-4C42-4802-84DF-2C7C39FAA2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaa02d71c42148524a62adfd0d3c4d6107741d09","datavalue":{"value":"unambiguous automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6562457$CA432602-3062-450D-9188-5AFC27062C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8248a1dce4178bcbdf50d1b921f9653b658d3d1b","datavalue":{"value":"alternation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6562457$8C150664-D513-4606-814F-368675E88133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43284244523556f4c92b9939c98381baa3d0ab1e","datavalue":{"value":"weak","type":"string"},"datatype":"string"},"type":"statement","id":"Q6562457$97C8CBEC-FD62-4F72-81CD-35473CD96916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ae543a1553173b0400520abbffd86eef8549640","datavalue":{"value":"disambiguation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6562457$2A1B09E8-FDC9-4AD4-83D5-D50087FB2051","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":"Q6562457$8A4B662F-9F8E-41B0-B07F-AA5B9D110316","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562457$85D80A1C-2698-49E0-96AB-243AEC60CBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b7a2ec3c749152e7b4afbc524ed973549c96f3","datavalue":{"value":{"entity-type":"item","numeric-id":4551134,"id":"Q4551134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562457$CE73380A-6C36-445C-8495-B0D4AE4D4E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562457$C049FB26-D884-40C5-B1B7-C7CF3C1926A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"676e0d168e75a8c1494a4e34b5d529a073c874bb","datavalue":{"value":{"entity-type":"item","numeric-id":3748266,"id":"Q3748266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562457$9CDF2800-3ABE-4205-B761-811EEF2634BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9159e9095f8ca510d538d7e9904c6f3ff891ad","datavalue":{"value":{"entity-type":"item","numeric-id":796990,"id":"Q796990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562457$D8B8766B-8BA1-418F-B612-6173F61E2EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"741f5f02ca6d89f8b0d2961b021683395f493460","datavalue":{"value":{"entity-type":"item","numeric-id":3587428,"id":"Q3587428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562457$4D0991B7-4ADC-4FBD-86D8-9F3CC61E0CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdbace6415d89fca5d9ba31adb1a3b4e1ba6373e","datavalue":{"value":{"entity-type":"item","numeric-id":3549125,"id":"Q3549125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562457$461EA620-95B6-46D9-A9EF-F7982EBAE40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f0198caaf61757edf0df9f1b755b8093a743e37","datavalue":{"value":{"entity-type":"item","numeric-id":2010416,"id":"Q2010416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562457$325BB173-7CE0-43D0-9F37-6D97EE99E0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26af5daa72631bbb6851da97cf5304a38cf416f4","datavalue":{"value":{"entity-type":"item","numeric-id":6114260,"id":"Q6114260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562457$D2FB8710-C24A-4908-ACD1-078DE5E94B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e88580796b91d6f4f3cf3d4f3e2798396e09b0c","datavalue":{"value":{"entity-type":"item","numeric-id":1401292,"id":"Q1401292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562457$1F058628-306E-46A3-9903-00EB52CF511B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2478e7f52bbdc0e61f6d5a6464f08ac3dc0c6495","datavalue":{"value":{"entity-type":"item","numeric-id":6098148,"id":"Q6098148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562457$A82E7F2F-C67E-4B99-98E8-9DA6D06C1020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e718583192ee1c8f5c2ad768e743605f9035fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5312899,"id":"Q5312899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562457$A687C859-5195-4995-8493-44FAADF94A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caa22c2a09da29028b32fbdec6997075843df5fa","datavalue":{"value":{"entity-type":"item","numeric-id":3698326,"id":"Q3698326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562457$9B8B98C5-60B3-4E06-ABB9-6BA3D3CCD2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"001a1ccc9313ddbe95a68e5937b86c3dfbad3219","datavalue":{"value":{"entity-type":"item","numeric-id":4683235,"id":"Q4683235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562457$2CDA0AB6-6A3F-45C9-A77E-E48FC23BBD97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"404448815521dda62c494162cd852ca7fb26a683","datavalue":{"value":{"entity-type":"item","numeric-id":2671818,"id":"Q2671818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562457$0592B9F1-C578-44DF-8E29-1B17EE54A434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8261a4458015d1872514d0770a1b5a0f8807e4eb","datavalue":{"value":{"entity-type":"item","numeric-id":1623004,"id":"Q1623004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562457$1182B616-0711-4710-BF96-52F8293C4269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f72474dd1ba73ed908c3566582f149d5d0770c44","datavalue":{"value":{"entity-type":"item","numeric-id":6040669,"id":"Q6040669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562457$1C1F5987-AF2F-4461-9C96-B939B05FB51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"321c7ff19c3b51b5e44271aef686f874af82d7f1","datavalue":{"value":{"entity-type":"item","numeric-id":5326312,"id":"Q5326312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562457$EE7C1122-3559-45CF-B601-64EC279F9ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f754ff864226763c009f7ab57c225614cf5409b8","datavalue":{"value":{"entity-type":"item","numeric-id":2147688,"id":"Q2147688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562457$28C1BC13-088C-4116-952B-39152083B1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8feb8cb52a71c1d78423d1dc276d7a0af14957e","datavalue":{"value":{"entity-type":"item","numeric-id":1145144,"id":"Q1145144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562457$5EE48598-0EC1-4E3A-ABCD-4991DA0506C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4d541811ceebad310dcf923465cde9cafd94787","datavalue":{"value":{"entity-type":"item","numeric-id":5166675,"id":"Q5166675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562457$031FD2E8-3392-4A40-B91B-FE504CAABB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66c3da6e8e22eb9ce673b708daba3d803e9c1df4","datavalue":{"value":{"entity-type":"item","numeric-id":5390016,"id":"Q5390016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562457$F7C04C74-6E15-4E04-81F3-A664BB9A20B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2d2507304ab609ba2df7863cc2c442e53a20052","datavalue":{"value":{"entity-type":"item","numeric-id":5704377,"id":"Q5704377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562457$3DECE006-C3B4-4997-9664-D228C1E57CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b388c0771db5db3897588379bd4b417551adfb47","datavalue":{"value":{"entity-type":"item","numeric-id":3521961,"id":"Q3521961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562457$117F4016-A83A-4CFA-A3E6-9679A3AC0C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5bc06e40c3528b0faae85044dcd81b49798fb25","datavalue":{"value":{"entity-type":"item","numeric-id":1193871,"id":"Q1193871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562457$38C9BC18-600E-4CC5-A7E8-BA271616B295","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b9d2979679e2d2fb4da83f7333da94e0e770db9","datavalue":{"value":"10.1016/J.TCS.2024.114650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6562457$09D3CE21-CD59-4909-A3DB-645A9C4A1C11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6562457","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6562457"}}}}}