{"entities":{"Q386994":{"pageid":388761,"ns":120,"title":"Item:Q386994","lastrevid":61495857,"modified":"2026-04-10T23:44:18Z","type":"item","id":"Q386994","labels":{"en":{"language":"en","value":"A polynomial double reversal minimization algorithm for deterministic finite automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6237421"}},"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":"Q386994$B4E9852C-0746-4179-B5C7-CB60B0F6AD11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c756464fe5024650e890d6e86728779de548b9e6","datavalue":{"value":{"text":"A polynomial double reversal minimization algorithm for deterministic finite automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q386994$BB35B254-5165-4618-8531-746D8875EFC4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7873495c7ca63dc932700856842bc72568c48b4","datavalue":{"value":"1293.68190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386994$9B3D820C-2F76-4887-BAD6-72A38C2440DA","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":"Q386994$E385DF8D-2EF4-4BCC-BC0B-A390FEAA4081","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":"Q386994$CCE3C641-C7AF-43CD-98DA-A9A1FC8367F9","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":"Q386994$5E980A5B-96C4-4F24-8EE2-D774D6BE7406","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386994$6C333748-26D2-4869-9B74-63B80CDF8AF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c4fe66de6d3b4034a482fd1741e73509403d666e","datavalue":{"value":{"time":"+2013-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q386994$759A1AAE-FD77-4E92-B7EA-99F3D3E50180","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386994$2D091EF3-8554-4C69-98DA-33EF3A92C931","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"876748979c9691f81b15397771121e98d920b4fe","datavalue":{"value":"6237421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386994$2953C5A7-57C4-461F-AA1F-934E4F319D69","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10ae56e48b311a642a9ab6fc205d224f1fa59316","datavalue":{"value":"DFA minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q386994$EBE95365-3037-4FF4-ADBA-E25CE769B43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38a501fd6605d75aa1da1140e9d713b807eabdef","datavalue":{"value":"atomic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q386994$B8B7F3C8-8C00-48B2-9208-7E6074969C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76a55d049ea11ed7edd5569cf4565413fe7a4aa2","datavalue":{"value":"polynomial double reversal algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q386994$B9A215B5-D43B-4165-A035-D657B3A43CF1","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":"Q386994$090EB696-720A-484D-82BC-98E197B48711","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":"Q386994$26A4B08F-DC9E-42E1-BEBF-D61582AEE138","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0fcaaec5dd6101c61814003812344cb08f3a64e","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2013.03.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q386994$6F3D791E-1F4B-4AF5-B9BF-9E03120F4B75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41b4482b073bd92a8002fe11448fc76dc22ee82e","datavalue":{"value":"W2147441235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386994$759C3406-C3A8-4AFC-A933-648C6D5E4B6A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"90c63367296f9902b81b0f8fdc9f0d06037da93a","datavalue":{"value":"Q58209334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386994$0305D520-AAE8-4DFA-9345-90DE9FF0C075","rank":"normal"}],"P223":[{"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":"Q386994$6CBAA834-9B0D-4A17-B088-A07A5CCEF9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fd6010ea3d4fb73dabaa449b49e0ac918fbb812","datavalue":{"value":{"entity-type":"item","numeric-id":5199957,"id":"Q5199957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386994$E8B56495-85A0-474D-BF74-FE258B7DDD57","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":"Q386994$BF13A63D-6E1F-4938-9E4B-B41F23DCD998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2a84409400404cf53e9023bedc8224bad00cb10","datavalue":{"value":{"entity-type":"item","numeric-id":5704379,"id":"Q5704379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386994$405FA54C-8152-4F39-89AB-D98BDC47763E","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":"Q386994$41F1A700-DBEB-4201-BD2A-7A2DECAA6A82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9b9195855b37fd24cf10198a1ef7fd18e4ebf18","datavalue":{"value":"10.1016/J.TCS.2013.03.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386994$B4643143-59CB-4043-B2FE-35EF5BBCEA41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"add9c1eb3bf253b97097341efa2bc8c4e83f695b","datavalue":{"value":{"entity-type":"item","numeric-id":2342683,"id":"Q2342683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"939db9fad618e33463556f9c2b87432a6ebebc5e","datavalue":{"value":{"amount":"+0.8489966988563538","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":"Q386994$C6FAC0D4-5C4B-4583-AAD1-71EFF5448928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67230df40e3d3d1f5cec3a129fd9fe46d85a050c","datavalue":{"value":{"entity-type":"item","numeric-id":3832058,"id":"Q3832058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dd5bfebe8ca3a22e5fc8ad7178b6b84c8309bf0","datavalue":{"value":{"amount":"+0.8269389867782593","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":"Q386994$42EAADFA-FEBC-4D94-A30C-85A19FF5C9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"590184ebccf3760ba517370b5aee13ff93be1161","datavalue":{"value":{"entity-type":"item","numeric-id":5327494,"id":"Q5327494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"398f86f218f7c38c62ddeee602cd2a76119de884","datavalue":{"value":{"amount":"+0.8217596411705017","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":"Q386994$F992672B-D687-4999-8C0F-B3B5649E47FE","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":"b90aaebe351e5f620d7a85b0ad120f694a2905de","datavalue":{"value":{"amount":"+0.8169240951538086","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":"Q386994$C19FA401-111C-4E0B-B3E7-D1F6FEDD69FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18b71d2f400b69fe9bbd567549cb2040c6a95c8c","datavalue":{"value":{"entity-type":"item","numeric-id":2941086,"id":"Q2941086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18e67d00be7f6455e6bf62bc61ed849781971acf","datavalue":{"value":{"amount":"+0.8100221753120422","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":"Q386994$7BB66F99-4707-40BA-A821-8C94D2E7780E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A polynomial double reversal minimization algorithm for deterministic finite automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_polynomial_double_reversal_minimization_algorithm_for_deterministic_finite_automata"}}}}}