{"entities":{"Q5145275":{"pageid":7174846,"ns":120,"title":"Item:Q5145275","lastrevid":53911520,"modified":"2026-01-25T22:22:25Z","type":"item","id":"Q5145275","labels":{"en":{"language":"en","value":"A simple and optimal complementation algorithm for B\u00fcchi automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298729"}},"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":"Q5145275$44FD482B-58EC-4D8D-858C-0861D8FCF23A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48a23c7cf311c3f229e755d151d5f0c6533de2f2","datavalue":{"value":{"text":"A Simple and Optimal Complementation Algorithm for B\u00fcchi Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145275$E22EE30F-72CE-4DD7-A049-7A066373E23F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20a333d130af9dfbb9f3b8a88c448c731de34d82","datavalue":{"value":"1497.68246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145275$AAD12F67-EE88-46D8-972D-06168BF235A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d94d2f882e34be2bd2139560076318c912461972","datavalue":{"value":"10.1145/3209108.3209138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145275$71A123DC-8C13-4CBA-A091-5D4D6337EDDB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cff1cc5c6f10cfb3cf55e9e91a2153ee0162c43","datavalue":{"value":{"entity-type":"item","numeric-id":4409609,"id":"Q4409609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145275$2BFF9337-8DF2-44C6-9155-EB7B315AFDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3dcea5c1aa112c4c41bcb8a73cac9df067f482e6","datavalue":{"value":{"entity-type":"item","numeric-id":845907,"id":"Q845907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145275$CAA1F72E-792D-437F-91A1-4956A055FCFF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee82b0c640d35f6663be3f8a5187d8cc540da0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5145269,"id":"Q5145269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145275$F182D6C4-2E07-4612-8A12-261ADE93E82A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145275$7DB5630D-31D9-443C-AED7-58098C278AC1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145275$400CBA95-C01E-462D-B622-1181734E07DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145275$C43AE4F8-2A29-4092-BE64-8DF9072E7C65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47eeee50379b30f7be6b735a02e0bd389c33e8cb","datavalue":{"value":"7298729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145275$9BCA6BCA-200A-4474-B9E7-8145AE7D5A78","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5e8ee6d6c130ba687d9b7eb1c058acea995f4c2","datavalue":{"value":"B\u00fcchi automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145275$B42A4ED0-80BE-4A14-A039-351F2C36C583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6df8d1eacb6d602a0d2e74473db9982db22c7e30","datavalue":{"value":"benchmarking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145275$3D676CC4-FAAB-428A-BAFE-25D08A32C89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bd2b411df4ec5da5d4932208cc92c897b0a58e1","datavalue":{"value":"complementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145275$2A61B04F-7E48-4B6C-B1F0-078E2EE2A5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe34d618008938661bbca07d2b6c7f4244342a2c","datavalue":{"value":"optimal upper bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145275$18359DEA-33F9-4481-B6ED-6DDE22D37E5E","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":"Q5145275$BCB2DEEE-16C8-47DF-90F7-CE23748FC65E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b2e8edb925f38e9ffe3105a5ba9c6e29a0c7ff7","datavalue":{"value":"https://doi.org/10.1145/3209108.3209138","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145275$6C2C843D-1773-4F89-B2A9-29ECCB699540","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6584bc5367fee7c4caa62a3cb7da019b8443d28","datavalue":{"value":"W2798623107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145275$0F3F2D2C-8AA8-4614-BA1C-44EF3183B604","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89f3f4a327a0395ccdbeb41db1d17a0ba224c396","datavalue":{"value":{"entity-type":"item","numeric-id":5390016,"id":"Q5390016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad6e82dfff65e2f1befdfdac40b87550f81743ca","datavalue":{"value":{"amount":"+0.9125702381134032","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":"Q5145275$D1B8EC5D-540E-4FFD-9400-E7E71718DF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddd38d735b516bc405ae22510abbc9fa27100998","datavalue":{"value":{"entity-type":"item","numeric-id":5897059,"id":"Q5897059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb51c655e3d63a60610438e8b9f324fada39aa6b","datavalue":{"value":{"amount":"+0.8760313987731934","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":"Q5145275$DDF178A7-E3FE-4087-A759-11C7D8E06FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dfe44b96583ab3cef3d7edad3a7967f34bccc1f","datavalue":{"value":{"entity-type":"item","numeric-id":2938766,"id":"Q2938766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e618f78938751102c7becb2b74501d2ea01feb35","datavalue":{"value":{"amount":"+0.8671479225158691","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":"Q5145275$536C907D-4CB4-4BC1-804C-C7C4A1A40A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0a8e211b83811b0e0a0bc1fa84737ef2884f8da","datavalue":{"value":{"entity-type":"item","numeric-id":1822512,"id":"Q1822512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e4f818802485b29473e4d2127bec4988361de6c","datavalue":{"value":{"amount":"+0.8582525849342346","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":"Q5145275$CBB07568-0AC3-47A2-9E06-E96A4E3ACBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f027a9213039aab0327bc7f3b2a330d74d0bbac1","datavalue":{"value":{"entity-type":"item","numeric-id":3073645,"id":"Q3073645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89f34e08ae61de4950695044c97bf58d4023040e","datavalue":{"value":{"amount":"+0.8558127880096436","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":"Q5145275$68838A07-8729-4F87-8291-BF67D45D24F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145275","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145275"}}}}}