{"entities":{"Q6639616":{"pageid":14250768,"ns":120,"title":"Item:Q6639616","lastrevid":103662692,"modified":"2026-06-06T07:51:34Z","type":"item","id":"Q6639616","labels":{"en":{"language":"en","value":"Report on the exact methods for finding minimum-sized DFA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7945601"}},"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":"Q6639616$58CE3A7A-BB8B-4322-B3B5-D7FF3FA79BF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c3c6e084612980ac5d18fce197836fbaf4f30ad","datavalue":{"value":{"text":"Report on the exact methods for finding minimum-sized DFA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6639616$71A6F2F8-162E-440F-B367-200C246D9986","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9308fa58e5118cd67253506da653d6e203e97dd2","datavalue":{"value":{"entity-type":"item","numeric-id":332894,"id":"Q332894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639616$2361B7CB-4033-4E82-BBAE-D9AB2EA66128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af72b1908c54ac3362a8ee3c8438c7b2bdb57447","datavalue":{"value":{"entity-type":"item","numeric-id":6639614,"id":"Q6639614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639616$DCBD410A-8BBD-4181-A058-79126A1792E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe2a5a04b0191e04017024995b07132b528c3dbe","datavalue":{"value":{"entity-type":"item","numeric-id":6639615,"id":"Q6639615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639616$57A0BDED-3519-4537-A619-216EBC935090","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639616$3658DF13-7974-4FF2-B961-E0EE106D7DC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"766bbc3e4a23e7a800cf46cd9ae3e5e68d6d6874","datavalue":{"value":{"time":"+2024-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6639616$467CB5AB-EEA2-4706-98A6-6E91422663BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639616$AEE92290-73B9-4326-A881-02AD5D8B5B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639616$78574A89-3CC6-41DB-BC4E-EEF970CA19D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1cd8997fb3d7738f23e2cad23eff64923ae71da","datavalue":{"value":"7945601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639616$B2CA670E-96CF-4DBF-8779-7FABF05737D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98c12a0f2d254363e548ae821c44b3d78510f4c0","datavalue":{"value":"grammatical inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639616$F0504D50-1035-404A-8DC0-E953BC75EA09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c10a7b153a1d09250016b40960f91dffde3ddc37","datavalue":{"value":"finite-state automaton inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639616$60121F32-8A81-43B7-B38D-7989ADAB2BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3455221e02e3d482c3da608911ba56446ff956a4","datavalue":{"value":"exact search algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639616$70CCC1A4-6948-4124-ADFC-9491B5541493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60534ce7f9a76c13d165f55131b05daa622de611","datavalue":{"value":"parallel exbar algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639616$90C52F64-F396-414E-8C0F-2B4A522FF661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"357514596b427ce59f6727c4277393176eed1caf","datavalue":{"value":"ASP encoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639616$C0EFEE27-12E1-439C-B608-9F5BAC938A00","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":"Q6639616$9B677A65-5D06-41F5-9DDF-0F1CE0EBCD53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"562eb062e7d469c8b3a6368e864b6588ae34db2a","datavalue":{"value":"10.1093/JIGPAL/JZAD014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639616$F01A5E50-5608-43AB-AB91-4CA185BA5DD7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54c3dba23e4dc383cac6b9fbeaed0af11263eac7","datavalue":{"value":{"entity-type":"item","numeric-id":5945683,"id":"Q5945683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfda8251894b83b54a510b93c427f9ff3b7a8b68","datavalue":{"value":{"amount":"+0.8491689562797546","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":"Q6639616$05A14F06-9ED7-47FA-A7F9-213992DF0556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87bc0b87ab644a5be1835e4552702aedcf4d71de","datavalue":{"value":{"entity-type":"item","numeric-id":4989176,"id":"Q4989176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df2c9897ab2b2c5ac2234d6dccbe739738c4d8a9","datavalue":{"value":{"amount":"+0.8117763996124268","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":"Q6639616$FE1C6B5D-CFA8-4BE4-9944-0D741D7C48FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22cbf37b8b0490fa2e4c05f12160fc04d0df0d38","datavalue":{"value":{"entity-type":"item","numeric-id":6488979,"id":"Q6488979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7749b88a485168ae9701076aa4cd2a1db1578809","datavalue":{"value":{"amount":"+0.796500027179718","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":"Q6639616$1064DEF9-8D54-43EF-A752-3DC229771EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faf29875e6a43f3c8eb110ef54844f89a19ea093","datavalue":{"value":{"entity-type":"item","numeric-id":4417430,"id":"Q4417430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a0f674a7a68c2c35785b8271375daa5ac0f2215","datavalue":{"value":{"amount":"+0.7924021482467651","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":"Q6639616$9058E13D-21A8-4045-A202-81178844FA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b6d90b4343838b8ce3755263b98fc46cfc64ee5","datavalue":{"value":{"entity-type":"item","numeric-id":4989704,"id":"Q4989704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"890d8a8c1fa7b66c8d8759cbb8c96c5f9c1d89b5","datavalue":{"value":{"amount":"+0.7740610241889954","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":"Q6639616$7630241C-D450-4B5C-BF67-57DDA3611909","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Report on the exact methods for finding minimum-sized DFA","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Report_on_the_exact_methods_for_finding_minimum-sized_DFA"}}}}}