{"entities":{"Q3518271":{"pageid":5548175,"ns":120,"title":"Item:Q3518271","lastrevid":48974320,"modified":"2026-01-06T09:14:50Z","type":"item","id":"Q3518271","labels":{"en":{"language":"en","value":"Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5308834"}},"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":"Q3518271$FD07BB5B-5BDB-45B3-A05A-11033C8747A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81968c05d0e701aa0371d806c4670edb35d44567","datavalue":{"value":{"text":"Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3518271$AF43AB13-2C06-402A-B4C5-B3526BF3EBF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3323c7f13e69f4ea3f5ccd0a72bf962a39f8cfdc","datavalue":{"value":"1158.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518271$C47C60F1-A08C-46E2-B516-D210A97E7D93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ede41bbd38803de5b9772f9b7cedd868b73d6b21","datavalue":{"value":"10.2168/LMCS-4(1:5)2008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518271$67EF091E-99E6-42F2-BE3E-08363099FFA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd4d3f67781489201ff05923d2c15cb59b5f4518","datavalue":{"value":{"entity-type":"item","numeric-id":644024,"id":"Q644024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3518271$A4DB25BE-D781-4BAB-B235-B16317F654FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3518271$E62275F5-BFD8-4311-A94F-8CD5B3D8DB7C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd17ce6d2eaad5d06047c5b5d7ca565a3ee94981","datavalue":{"value":{"time":"+2008-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3518271$C595D144-CF0B-4B92-BF25-2F3F8FAA5AE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518271$77F6AEAA-4364-4C6E-8953-13C047F430B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518271$5870444F-0180-4388-94F1-3039EEC67708","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"559bd8de59147e1e16c26cf2b4b254ce46706f2c","datavalue":{"value":"5308834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518271$AC4851AB-9940-4AA2-B9A1-B06BB7E87061","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7c1a769f878e33f0fdf9a9448f20e7935386c7b","datavalue":{"value":"nondeterministic \\(\\omega \\)-automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3518271$754E9976-FDA1-4F84-88CD-A8A2289487C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3518271$CD3C9628-8ADF-4F99-896C-B118AEBC10C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95aabcf2634c1e0b880b0c36d7d7248bb8548c19","datavalue":{"value":"Streett automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3518271$D91C0C03-F1B8-48C3-BAFD-11AF7A79ACA2","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":"Q3518271$D0D71D39-48BD-4874-95B2-1A8970442DBF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d37a1b39291886583b9b9a3a559a25ca34911d2","datavalue":{"value":"https://doi.org/10.2168/lmcs-4(1:5)2008","type":"string"},"datatype":"url"},"type":"statement","id":"Q3518271$F9A95DDF-1ACB-495B-B472-3ADF6F7175C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"59b365c5f7580761ae6c9d22aebc31c930f5007f","datavalue":{"value":"W3104076899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518271$BE465F04-7C38-49ED-A87D-14B59A8115E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad196686073017e2e0b00a7b6a5c990f51ec18a3","datavalue":{"value":{"entity-type":"item","numeric-id":3591446,"id":"Q3591446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"272cd73df05aa3231cfe12d5e1ba3c202a486533","datavalue":{"value":{"amount":"+0.9999997","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":"Q3518271$694858E5-7C8E-437F-A4C3-EBC86C84DE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87fd3d84dbff31e38d766881dd850b713cef9237","datavalue":{"value":{"entity-type":"item","numeric-id":3203012,"id":"Q3203012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5f3190859982ac6f38034a7fb29cd035992a75b","datavalue":{"value":{"amount":"+0.8970294","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":"Q3518271$0902171A-B959-410A-9339-F8B1642AB3F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"184be51090d916ee4e8b52987be2990385c35bfd","datavalue":{"value":{"entity-type":"item","numeric-id":4501665,"id":"Q4501665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3f1f4c96f8a00129065a33ed4d5c357f91dcea2","datavalue":{"value":{"amount":"+0.8772124","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":"Q3518271$FA289085-9A2B-406B-805A-DD29355E548C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"750c307dfafc2386480f21a0ced728713b104299","datavalue":{"value":{"entity-type":"item","numeric-id":2922043,"id":"Q2922043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c947b59ab1c5c790534a6b4ce51ba2f11005559e","datavalue":{"value":{"amount":"+0.8693735","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":"Q3518271$AF5AA0C3-FEC5-40A3-B7E2-4B99B229323B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"699ca55f22acfad3d87663a2844e5923b9e8af54","datavalue":{"value":{"entity-type":"item","numeric-id":5002825,"id":"Q5002825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b58b91aa8253588f7d53a18ac9e644a52ed6b79b","datavalue":{"value":{"amount":"+0.86800236","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":"Q3518271$BDFDC68E-31A6-4B19-9CBA-E7A8286C47B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9eb2512629bf8d278d1db29ab433bd49a61d0df","datavalue":{"value":{"entity-type":"item","numeric-id":4649286,"id":"Q4649286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aab9210ff40baa0015c12db5161db562c91d14d4","datavalue":{"value":{"amount":"+0.8624419","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":"Q3518271$3B8C96CB-3CA9-493A-906C-BAB0E7D4E7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b963534fbb631da7daa8943d06e4effe44c82c5","datavalue":{"value":{"entity-type":"item","numeric-id":1109572,"id":"Q1109572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00d49c9c805c484804ff9186b447118516a983f7","datavalue":{"value":{"amount":"+0.8581279","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":"Q3518271$89324077-A5F8-489D-89AC-7B3B766B00A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b497303de7363ecf72cddff3ee680358536354bf","datavalue":{"value":{"entity-type":"item","numeric-id":5096909,"id":"Q5096909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38c885ae02e79f7ee4ef3c268fd953c074a8d1d1","datavalue":{"value":{"amount":"+0.8576231","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":"Q3518271$72E88A12-F499-4B8D-BC4B-CACFC2510FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cde9dde4c42124aa5430cb936b36b04c06ace23","datavalue":{"value":{"entity-type":"item","numeric-id":4941152,"id":"Q4941152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7df34d43a32837b42250a56d71d2756febcce0d","datavalue":{"value":{"amount":"+0.85752857","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":"Q3518271$ABD9B31E-3572-42B2-AF74-C6655B48990C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f193322f28e4409d0cbc902917366684a62c5cd8","datavalue":{"value":{"entity-type":"item","numeric-id":1623004,"id":"Q1623004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a80deb7aec7ee256936d8bb6b9e5d3f182f08d4","datavalue":{"value":{"amount":"+0.8573167","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":"Q3518271$27B86043-C21F-49FD-9BA9-B9FE6FAFC125","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3518271","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3518271"}}}}}