{"entities":{"Q5507074":{"pageid":7536634,"ns":120,"title":"Item:Q5507074","lastrevid":101397488,"modified":"2026-06-06T01:09:50Z","type":"item","id":"Q5507074","labels":{"en":{"language":"en","value":"Lower bound for converting an NFA with finite nondeterminism into an MDFA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6665226"}},"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":"Q5507074$A193ABE5-F089-4E54-B104-33E02D8A4020","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe0aaea20e65be96f62a5d324882aee7c4cc5121","datavalue":{"value":"1355.68168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5507074$D7120614-CCB5-4014-B3B4-B11296A861E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6cbe450689e6774281db85395aef4ce0be91b14","datavalue":{"value":{"entity-type":"item","numeric-id":896685,"id":"Q896685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5507074$D1B9F011-BF8F-4F07-A774-9C0732D2BAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8455035442168fbb99576351474dec2ff822256f","datavalue":{"value":{"entity-type":"item","numeric-id":247255,"id":"Q247255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5507074$FAAB6CF1-7E5F-42F0-BE75-512DD7D84634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5074803ae9ac4260c9b030e2a7b9cab61eeebe46","datavalue":{"value":{"entity-type":"item","numeric-id":202146,"id":"Q202146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5507074$9903A2B9-A870-42F8-A8FE-7A6A907D3A0A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81dc7daf8e9d74fc43b1651d3815e34e62e970ab","datavalue":{"value":{"time":"+2016-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5507074$0FEBAABD-2D6F-4909-B570-9B45A1A0E72A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5507074$AE324954-1257-447D-A519-2C621B52FD57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89f57e0f61604b6d92a189350dfdbcb050aa9f2b","datavalue":{"value":"6665226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5507074$561C32CC-92CD-47C7-90C8-D3FF093CAD12","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5507074$EC83871A-D846-4250-ACC6-7403CDD360A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d628e56706ca9d139ecc7af628e4a593e5acf52","datavalue":{"value":"limited nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5507074$CE4507B8-5E6F-4B58-84E3-B35847F5194C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"115b0b3971bb9d232a9baefab95c349954589bf8","datavalue":{"value":"deterministic automata with multiple initial states","type":"string"},"datatype":"string"},"type":"statement","id":"Q5507074$5D48E914-2CBF-41BF-A035-A26F4C3883D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b10ab4d2fc75823309415cc3027a505ded7b2f","datavalue":{"value":"state complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5507074$5662C298-4B44-4809-933F-553E4BABA35C","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":"Q5507074$A7804FF0-F3EB-497E-8FA6-4E8B36E90245","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0b8d513908c0e76e248f1ad549c12e38a132f46","datavalue":{"value":"10.25596/JALC-2014-251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5507074$10883CE7-065D-4FAA-B6A8-64898BDF8BD2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5572976f88063372a274085c1f5fdafd1591b7c","datavalue":{"value":{"entity-type":"item","numeric-id":2843099,"id":"Q2843099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50fff594b8077f4d762e161711fc4e0291e94c99","datavalue":{"value":{"amount":"+0.9485904574394226","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":"Q5507074$621AE774-F1A1-41AD-93C8-027EF795CF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea843c940127b9a185f07077a246358e70cdf746","datavalue":{"value":{"entity-type":"item","numeric-id":1566750,"id":"Q1566750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37bf47c08b4147ec312ba2e7eceb0d3dd9c21a57","datavalue":{"value":{"amount":"+0.7767699360847473","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":"Q5507074$966174F3-513B-482B-8A0D-8F5129AC5DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8be4391b0ef39757c1e3049c235b5134e8741e6f","datavalue":{"value":{"entity-type":"item","numeric-id":5178457,"id":"Q5178457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdbd589a6fa9349ede7e3c845d27326b3b3d52bf","datavalue":{"value":{"amount":"+0.7756118178367615","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":"Q5507074$89E5C78F-2F6F-4A10-88C3-94D87632B71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51f6791dd3a294dc3b3bceaeec22a80a3cb28db0","datavalue":{"value":{"entity-type":"item","numeric-id":3167587,"id":"Q3167587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2cd78f68f29a2a2bb7951304d24062520ca073c","datavalue":{"value":{"amount":"+0.7723621129989624","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":"Q5507074$BEC20B2A-6640-499F-902D-7EC803AD64AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8690805cd2b94343499ca0ab545d51fdd59f7030","datavalue":{"value":{"entity-type":"item","numeric-id":3022285,"id":"Q3022285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c961202493712c3744b4e123790df29430fb0109","datavalue":{"value":{"amount":"+0.769819438457489","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":"Q5507074$40D159A8-0F14-47FA-9C36-40C52C9FBD75","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lower bound for converting an NFA with finite nondeterminism into an MDFA","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lower_bound_for_converting_an_NFA_with_finite_nondeterminism_into_an_MDFA"}}}}}