{"entities":{"Q1603452":{"pageid":1614192,"ns":120,"title":"Item:Q1603452","lastrevid":67968798,"modified":"2026-04-12T20:33:40Z","type":"item","id":"Q1603452","labels":{"en":{"language":"en","value":"Efficient minimization of deterministic weak \\(\\omega\\)-automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1767340"}},"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":"Q1603452$7B6E4857-E75D-442C-A24B-4F62E791F803","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e9824b1c41c4442cb18907be30a707adfa9f821","datavalue":{"value":{"text":"Efficient minimization of deterministic weak \\(\\omega\\)-automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1603452$29A83EA1-4F0E-4B49-918D-34C14AD8AC61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b62d743eb19ebb3a34197832a793b808abf0bdd1","datavalue":{"value":"1032.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603452$FA94DAEB-2C50-4F00-B15F-88DF55ADF771","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ace0d159051cc2c45236ca7d6c72ee8d7579c4e0","datavalue":{"value":"10.1016/S0020-0190(00)00183-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603452$19FB00F2-04E8-4930-B2AE-6B190BB59DF2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603452$E3613FA4-BCC5-41EE-867F-F0D23C5B4429","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0325700ca3bc3f7d102c264ab8870dda2d06b4b","datavalue":{"value":{"time":"+2002-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1603452$A738A409-0B5D-44D5-B05C-64AA63FDE63F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603452$D5660799-77E8-4F90-A94A-C1711ABDAB43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5adc3fa9acb6b5608f4f800e085cc3fc84a36bae","datavalue":{"value":"1767340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603452$F66E3B4F-15F7-4ADF-9AC4-8EA78AA4559B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f47ddf26747ce4eedb0d6efc88c7d799e20d1167","datavalue":{"value":"automaton minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603452$81ECD788-9EAD-4066-B78C-7F64A296538F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da67da54e89e7c80f20f3f95c3ceec18bb927753","datavalue":{"value":"Computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603452$BE5C449D-CB9F-46AF-98DA-284A55A82BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8baf804bc4c1172cd32c9cc96b06a8c070f11c0c","datavalue":{"value":"Algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603452$5027036F-1217-40B4-A70F-2C48805DFFBA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"96691eda8627147ef571445ed24649018c0c1f75","datavalue":{"value":"Q62638372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603452$BC1F03D1-8C70-44F5-B3A6-8ED60900A984","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0725b78a7cc86600064fbe63488e61e381f5862f","datavalue":{"value":{"entity-type":"item","numeric-id":436609,"id":"Q436609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603452$778D1A5F-0486-45E4-B9CF-568259B9FA14","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":"Q1603452$AA6D1D26-A1FC-4DA5-9E77-D0FB58CACDDA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed3f02215df087589d62d47d8e61453264aaed6","datavalue":{"value":{"entity-type":"item","numeric-id":794443,"id":"Q794443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603452$5D020869-8388-4756-8535-F0FDEC04A03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f24dde664dec592aaf2efc66afcadf834211d90","datavalue":{"value":{"entity-type":"item","numeric-id":4055589,"id":"Q4055589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603452$EC2F4DBD-EFB6-49AC-9B46-0B96BF5960DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd1e092eb099a32d4d756ee9e4c56322cfbee0af","datavalue":{"value":{"entity-type":"item","numeric-id":3873568,"id":"Q3873568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603452$2A6AF532-7B06-4513-951B-8F75A961DC54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f941a902bffea90343b48b0a1332386973403c0","datavalue":{"value":{"entity-type":"item","numeric-id":1391139,"id":"Q1391139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603452$D313B230-D5CF-4A62-983A-89B00FF85A72","rank":"normal"},{"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":"Q1603452$BC4FC32C-E920-4585-9909-B5505845E1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603452$66A52751-81A6-452F-B589-6998EDC1D140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a291c3e37ed3ace5271b1780f1fd55ba08672dd4","datavalue":{"value":{"entity-type":"item","numeric-id":3992743,"id":"Q3992743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603452$44DF0AEE-4773-4B36-B1C2-409AAC4FCC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603452$99DB82AE-5937-4B8F-8C07-8C10B8F3769F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be2ce44bdf80df52f5a97dfe72ac01ea51570a9","datavalue":{"value":{"entity-type":"item","numeric-id":4045961,"id":"Q4045961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603452$694743E3-9434-4740-A784-9465267BC5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efd8ae02adfedbc0c31ce15b0873e8f177400bb2","datavalue":{"value":{"entity-type":"item","numeric-id":2554307,"id":"Q2554307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603452$FF6A7D3F-F507-4458-A10D-0AE0EA0BC8D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9dbd9f8dc943ce4afda5e77088e3711ff10ae5a3","datavalue":{"value":"https://doi.org/10.1016/s0020-0190(00)00183-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1603452$1A1886E8-BEDF-4D83-ABAF-5152C1A0E93C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"30f87aecc451d743ef3e7de6db9eb857427b0778","datavalue":{"value":"W2116820075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603452$E4EEBA09-405A-4F19-9A5C-6A086207A398","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66073af03b2feec2f11bdfd3a9f2a64bbcd2439a","datavalue":{"value":{"entity-type":"item","numeric-id":2908870,"id":"Q2908870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a69f89aef087f69b84c00875d38b6fd072474299","datavalue":{"value":{"amount":"+0.8232890963554382","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":"Q1603452$BEF35590-AECF-4906-887C-7B01F6D73FAA","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":"1e4f75cb2eb4cdeea6a8970ca658e73f4db990d4","datavalue":{"value":{"amount":"+0.8207563161849976","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":"Q1603452$DD6E910D-59B2-4613-B08C-FD53E828963E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f259d395fb34ce400f4eb8524b11aaf0e69184c9","datavalue":{"value":{"entity-type":"item","numeric-id":437674,"id":"Q437674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3098d08ac3865288fc5866bdd0a379a0debf7dd","datavalue":{"value":{"amount":"+0.8053959012031555","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":"Q1603452$D319EA95-4F8E-40D9-A6E8-BAF51972C7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f856dba50f61f620ba4f0ada06a8363d5f51d58","datavalue":{"value":{"entity-type":"item","numeric-id":4930600,"id":"Q4930600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92d5f872d2c49bba9069c41bd82650f327bddff0","datavalue":{"value":{"amount":"+0.8019152879714966","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":"Q1603452$39CA50A6-4B6C-434E-8350-1FA2B8BB9820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64bf7b0af19682526ee3b76641e473398a24c67b","datavalue":{"value":{"entity-type":"item","numeric-id":3460042,"id":"Q3460042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"036d14f798a4f02f90471a3050c30868bd54b0fb","datavalue":{"value":{"amount":"+0.801169216632843","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":"Q1603452$F665499B-F951-49A5-8171-6E9CAAC2789A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient minimization of deterministic weak \\(\\omega\\)-automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_minimization_of_deterministic_weak_%5C(%5Comega%5C)-automata"}}}}}