{"entities":{"Q2282132":{"pageid":2292875,"ns":120,"title":"Item:Q2282132","lastrevid":71755764,"modified":"2026-04-14T00:20:14Z","type":"item","id":"Q2282132","labels":{"en":{"language":"en","value":"A sufficient condition to polynomially compute a minimum separating DFA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7148103"}},"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":"Q2282132$60770CC5-4AE2-42D6-B605-B4B72B635C0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b147ad7605442b7771e9548ac74105338ed227f","datavalue":{"value":{"text":"A sufficient condition to polynomially compute a minimum separating DFA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2282132$4730DA2F-D7ED-4985-B6C5-C137AA36AD3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd5fb06eadc4c2ac7e5f1fdda7a6dfbaddbf8b7d","datavalue":{"value":"1428.68177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2282132$C6C8CAD1-58A6-43FF-82B5-2FEC4E207F75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1aa7a7f8525fca6cc35110cd386b9ccc9564065a","datavalue":{"value":{"entity-type":"item","numeric-id":306708,"id":"Q306708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282132$82C059A5-A153-4D4E-8E06-8320C862AE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ef5388be0f62e114ad5b9abed8e581eeeb27227","datavalue":{"value":{"entity-type":"item","numeric-id":306709,"id":"Q306709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282132$44002661-2A3A-49E9-9641-98A60BB00CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f0a4ac9a8227bf8a49d0475db154a27c2234463","datavalue":{"value":{"entity-type":"item","numeric-id":306710,"id":"Q306710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282132$41AF020C-BCC0-4074-811F-17F97C82DE57","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282132$802F8938-720A-4163-9AC5-CC5C64D4FBFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d45836b2c2459ddaa79b882709b6e678573b236","datavalue":{"value":{"time":"+2020-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2282132$99D08401-EB6B-47EF-A4AD-8C3B9BB0C8D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e25efe0f4ae402e288984534216de98fe513b238","datavalue":{"value":"http://hdl.handle.net/10251/82093","type":"string"},"datatype":"url"},"type":"statement","id":"Q2282132$6B2C0806-8735-40DC-9A46-5341CD4FD0AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2282132$59AAB9E8-D169-4CFA-9E68-E0BAA6E2A5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2282132$E849789D-3D9B-4635-9FB4-D40163CAADFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eec0f0143e71de94cda5a958842a118994fcdcbd","datavalue":{"value":"7148103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2282132$02B33929-6466-43FA-8A94-76E31C33A1EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf0f43c30e0996ba70194778271a0787e629de46","datavalue":{"value":"minimal separating DFA","type":"string"},"datatype":"string"},"type":"statement","id":"Q2282132$CE09D618-9E89-4015-8DF1-6B3802C43FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c289d243c733dfa8d7c4d19ae9ec2245fa41b064","datavalue":{"value":"minimal consistent DFA","type":"string"},"datatype":"string"},"type":"statement","id":"Q2282132$CE8C99B0-AF6A-4ABE-B8CA-8634802F94E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2282132$62934943-94F2-4332-9760-837DA3E207AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c35e48d31c7714da7122103eb04106f0c8fc0a17","datavalue":{"value":"minimization of incompletely specified automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2282132$4E65BE9A-5BE3-442D-83AA-EE5A464CC6AC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d5e39f066fc00caaf8ebba0135a9a3c41c45e832","datavalue":{"value":"Q58209321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2282132$280A2EF4-74F6-4AFB-84CD-7BCFE18577F0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4ff784fd452701a9dc5477868dd6265420c4c904","datavalue":{"value":{"entity-type":"item","numeric-id":15847,"id":"Q15847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282132$8F563F17-18C3-4788-B46C-7A031D249DB2","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":"Q2282132$F08BEC81-9172-4120-A7FE-870F6057EC6F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d170253a6545b7e5c7288743fe5fca14936a259e","datavalue":{"value":"W2476180349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2282132$2B99690B-7EF3-487D-86F6-22CB19BD9A4C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e6553bb08c4ce0a520eca4a39409d6f952b5f6c","datavalue":{"value":{"entity-type":"item","numeric-id":4174776,"id":"Q4174776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282132$AA5AEA42-2F2D-4DDA-BEA1-252828788E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55114ff063225064064e30c2c7ef5bef45a55b0","datavalue":{"value":{"entity-type":"item","numeric-id":1098326,"id":"Q1098326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282132$29AEAC42-1205-44AA-838C-BA9341F07A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6962679078cc12aa1ee93bda1f570c936af3d480","datavalue":{"value":{"entity-type":"item","numeric-id":1146010,"id":"Q1146010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282132$3A36C86B-FC44-4000-8AE8-5D19ED78FA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2299871f8da3ff873a8d3556c58e2f6c60e4e2b9","datavalue":{"value":{"entity-type":"item","numeric-id":1242697,"id":"Q1242697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282132$E1F2EEA2-21AC-4CDF-A6F2-7884171FE713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe955fb7f9026c48a3b74bf365e86ce77d5a2f05","datavalue":{"value":{"entity-type":"item","numeric-id":5725992,"id":"Q5725992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282132$FDF4A20F-ACFA-48F6-8F64-7138B7411F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e99dd4800ce4464f9914fd844e56d480d1541f31","datavalue":{"value":{"entity-type":"item","numeric-id":5958721,"id":"Q5958721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282132$3F4C644E-30D7-47D3-A2A2-C0B7EC1C29DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3e042762fbd763f64f093bb358ed1a4b6e22596","datavalue":{"value":{"entity-type":"item","numeric-id":4680729,"id":"Q4680729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282132$1F78D708-183C-4A35-A9C0-DFD9B1BFF46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7339bf9b2529ffb9a27c9cdd0542578668a99679","datavalue":{"value":{"entity-type":"item","numeric-id":3617752,"id":"Q3617752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282132$1753FF3C-EFFC-4D69-BFB9-6E8DFA4D7D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd8d29569394ad3c5987e16889f1900ee7947e6e","datavalue":{"value":{"entity-type":"item","numeric-id":1426151,"id":"Q1426151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282132$107E0B6B-FA1D-4611-8F2D-7E21F5F262DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0977fd4135702e74aa13acd038d7642d55a0fada","datavalue":{"value":{"entity-type":"item","numeric-id":1583588,"id":"Q1583588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282132$5A94A4D0-1F58-42AB-9578-08614AF86545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6457022883523733fdb0060937416b5e5caa31d2","datavalue":{"value":{"entity-type":"item","numeric-id":3588364,"id":"Q3588364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282132$0D3C8F8A-4E1A-458A-924D-1E31ED66A0B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"037e72b8dc877f3bfe1d9e3464c4d25e882720da","datavalue":{"value":{"entity-type":"item","numeric-id":5537394,"id":"Q5537394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282132$E01DF871-292F-48E7-989A-BA1567977D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ab91af9300c03108c83f175294005fece9bfeff","datavalue":{"value":{"entity-type":"item","numeric-id":4153610,"id":"Q4153610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282132$C627D860-0D3C-4E05-9922-FA4984FDB30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1788f6c9268b4356bb1fdb00c8370771992f004","datavalue":{"value":{"entity-type":"item","numeric-id":865721,"id":"Q865721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282132$1EEE4696-4724-4400-86A4-3003CA0FA50F","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":"Q2282132$DC2C8588-B5DD-41EE-9525-CDBE5C28CA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3015882132c1055eea025e4c02df3f03ae6d0a79","datavalue":{"value":{"entity-type":"item","numeric-id":4003737,"id":"Q4003737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282132$C817610A-474A-4E39-A6AF-444A0EB7EFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf16807942327b54b286e80c47d878cd6a8ee31c","datavalue":{"value":{"entity-type":"item","numeric-id":3976039,"id":"Q3976039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282132$6F87D95E-96EB-489E-A4B8-CA41AACDCBEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"228311a114d54e44307ba2b0dbd9bf7e4aefb3fa","datavalue":{"value":{"entity-type":"item","numeric-id":3086930,"id":"Q3086930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282132$671CAF4C-C725-4F40-B4BD-3675FF74060E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dd225cb7a1f1b5d01838e5961bac1df864370d","datavalue":{"value":{"entity-type":"item","numeric-id":5641083,"id":"Q5641083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282132$863875C0-E500-4319-AFEB-9772F33F1A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e138a9571a4b63acc7be3455a61fa8c89dec201","datavalue":{"value":{"entity-type":"item","numeric-id":4649308,"id":"Q4649308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282132$3129253C-15CA-49C7-BC9E-6FF5E964F490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e23bd51a5e1a4df4224fe69471a24cd640168e7","datavalue":{"value":{"entity-type":"item","numeric-id":5540449,"id":"Q5540449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282132$E00D59AB-423F-4AE4-BA32-CC39694FFFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a99a1e97e4c0b9150b7eebffc4b5a1b3088104b4","datavalue":{"value":{"entity-type":"item","numeric-id":4404801,"id":"Q4404801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282132$2EAED708-79CC-416C-BD57-E9A9894D6DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed68160731cf55d219ba94647825683328472c30","datavalue":{"value":{"entity-type":"item","numeric-id":3769981,"id":"Q3769981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282132$FCDB512B-A4A0-416A-B87D-415D7CE2A371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6010dfa0c0aca8170d85236d66a3acb448088bb8","datavalue":{"value":{"entity-type":"item","numeric-id":4057601,"id":"Q4057601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282132$9626BBE3-7640-4146-82DB-E2F56FEE02E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c71bf5594d80706e33dcbc13841c2d147bc380","datavalue":{"value":{"entity-type":"item","numeric-id":4077455,"id":"Q4077455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282132$A68DC9CD-6E1C-47A1-B388-BBB67BA65DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c4942106721a64170eac457c679e8849558bca","datavalue":{"value":{"entity-type":"item","numeric-id":3214824,"id":"Q3214824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2282132$628C25C7-D30E-481A-BCF1-D6490B530B1D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e8b61fa3df2ba1d0c33682c5399a477bde750ad","datavalue":{"value":"10.1016/J.INS.2016.07.053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2282132$AA8E86AC-1D90-4C45-AD8A-6A51581CF21C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bf5c65a28b0263af422e970c546855a9a10b98f","datavalue":{"value":{"entity-type":"item","numeric-id":4649308,"id":"Q4649308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"610579bc7c35e79c9784841d141b874adeb8bb5c","datavalue":{"value":{"amount":"+0.7681666016578674","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":"Q2282132$BA957425-AE27-448E-9D71-C3AB92E1E9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b14e7830d9ce6132f9c75b380e0ee0eea8d97500","datavalue":{"value":{"entity-type":"item","numeric-id":306711,"id":"Q306711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc28981e531cb3a3f63ab86e561abcf2cd93bf67","datavalue":{"value":{"amount":"+0.7649610638618469","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":"Q2282132$BD403D0B-1506-4106-9781-B6910A880FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b940663c37bc0446f96b89938100c820e2e273f8","datavalue":{"value":{"entity-type":"item","numeric-id":3617752,"id":"Q3617752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c345b3d4acdaffd0cbabb8222c41a38879136c43","datavalue":{"value":{"amount":"+0.7596777677536011","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":"Q2282132$AD7BCBF5-5A21-498B-B640-6ABF637C67D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fec182a508a007e3f54af5584979768f5f91d8fb","datavalue":{"value":{"entity-type":"item","numeric-id":5327430,"id":"Q5327430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2c544fb04f622bd1b10cff1868ee8bfe0c040cc","datavalue":{"value":{"amount":"+0.7579870223999023","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":"Q2282132$686BE507-A1DD-4AB1-998C-CB832BDB43CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4888c194d195c0b0efcd439b1d172c3552284745","datavalue":{"value":{"entity-type":"item","numeric-id":1575897,"id":"Q1575897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a89c74454e97353b0c62c5acf1f344048f13c4c","datavalue":{"value":{"amount":"+0.7485892176628113","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":"Q2282132$B193E210-724A-49C6-B4BB-5B64BF66DD3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A sufficient condition to polynomially compute a minimum separating DFA","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_sufficient_condition_to_polynomially_compute_a_minimum_separating_DFA"}}}}}