{"entities":{"Q860858":{"pageid":862706,"ns":120,"title":"Item:Q860858","lastrevid":64899825,"modified":"2026-04-11T22:58:30Z","type":"item","id":"Q860858","labels":{"en":{"language":"en","value":"Incremental construction of minimal deterministic finite cover automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5083505"}},"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":"Q860858$7F2E56E7-A87F-418A-9FE4-A431E1A4A115","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"161c68610ca9533daca23bcf767a4318d4ef84c1","datavalue":{"value":{"text":"Incremental construction of minimal deterministic finite cover automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q860858$8C3294F7-77C9-4FEE-BE43-906462D69EBD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58f6d81c7001ca904436f33f2524f34b3a34eb96","datavalue":{"value":"1153.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860858$5FE35562-0D86-4A34-AA7B-23BFADBEA67A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0bd7b60a663612fd6b74c41512438738494ffe38","datavalue":{"value":{"entity-type":"item","numeric-id":388150,"id":"Q388150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860858$677868AD-2971-4DEC-BF9A-2DC9B552D0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e1b1dfdfe27889483fd593541bb86ff67dfdbb8","datavalue":{"value":{"entity-type":"item","numeric-id":860857,"id":"Q860857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860858$97FB6BD1-83C7-4262-BF78-7289812CB7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff705975a6cf1fdb9993e8539e3c80d17f10dc90","datavalue":{"value":{"entity-type":"item","numeric-id":960455,"id":"Q960455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860858$E0C33381-9E84-4345-BD0F-E5F93D2FC02A","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":"Q860858$16F91EAA-ABBD-4B80-A49C-B3726746590B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4d2d9af04f3704bbbb24f8b36a1ade40f432b8f","datavalue":{"value":{"time":"+2007-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q860858$7A10869F-E098-43C9-B228-857ACA76B1AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860858$8A3D620B-147D-45F2-B05E-3E884F07415E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b7490313494f35cb07b33e16fc53c9af953abc3","datavalue":{"value":"5083505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860858$2D9D215B-3205-4655-8BA6-1F95C8932230","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30cf20fbb8b0fd454d3f8c6898ee36c7d1afe606","datavalue":{"value":"deterministic finite cover automata (DFCA)","type":"string"},"datatype":"string"},"type":"statement","id":"Q860858$32A79D1A-41E4-4C4C-B38D-B4FA726E7DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05d34941c07f166bf27a38a6666065170b058ad6","datavalue":{"value":"DFA","type":"string"},"datatype":"string"},"type":"statement","id":"Q860858$D839B68E-E860-4F93-98ED-22A49498DB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dee952f9e9f696d295cac506fd8e149c1b7de43","datavalue":{"value":"DFCA minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q860858$028F6832-AEDB-4A8C-9C30-E926129CC8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb3d052dd5aed623dbbe37411d5b7fd44b844d1e","datavalue":{"value":"incremental construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q860858$A1FD423A-C47F-4804-BDCF-D1E07CF925EB","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":"Q860858$D921BFAB-F724-4A28-BEF9-5E5ECEB62DD9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53c7447ba31e7d729c90395133223ed4f9aa3a2d","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.07.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q860858$762E6FE9-7ED5-4CCD-92F7-CDAAF456497D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"57cbe623d99db967b66a616eee30e64dbe7c6106","datavalue":{"value":"W1987608226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860858$C563B5CD-846B-406A-AFB6-8CE0A70E7AF0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb338e2f3427d15943f0895cf385b7fd7f90adfe","datavalue":{"value":{"entity-type":"item","numeric-id":5696949,"id":"Q5696949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860858$A85A50D2-62F9-43C0-8871-32E0BB1F23C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c955db71956104fa389214bffad694da13dbb06","datavalue":{"value":{"entity-type":"item","numeric-id":3022285,"id":"Q3022285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860858$E43B9DAE-FA96-4A22-9330-A3D815877F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c1015223d67918332e400f20d91536d0e9b9d7f","datavalue":{"value":{"entity-type":"item","numeric-id":3021940,"id":"Q3021940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860858$C5C20C82-881A-491C-8AE0-D9E6DE941FD8","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":"Q860858$4CFBF302-D365-4E29-B3F1-94B813428A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"560efe8e75a488a120e452ce0cee5a5c8632593c","datavalue":{"value":{"entity-type":"item","numeric-id":4406659,"id":"Q4406659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860858$62A3B5AB-7065-40FB-A3FC-C8FCD2254C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e660b532c0d6e2e5c74dd079a2dfb4c4e85b3bea","datavalue":{"value":{"entity-type":"item","numeric-id":4418623,"id":"Q4418623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860858$02E42542-0EC9-456E-A61E-4183BD1DFDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a4ed8b32d9ec64931f813cdbc8fb272b51bb71b","datavalue":{"value":{"entity-type":"item","numeric-id":4406664,"id":"Q4406664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860858$1CB433DB-A4F6-4884-962E-F34C8EA7E382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1d7b34194173a38005e75dcfe3a7e4d5697a74a","datavalue":{"value":{"entity-type":"item","numeric-id":5696954,"id":"Q5696954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860858$BB29C5ED-9920-4E56-BDC2-9CF61963A596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa9fa66284267ff83b51fab5c3e9ff63eb636fb8","datavalue":{"value":{"entity-type":"item","numeric-id":4540971,"id":"Q4540971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860858$35313168-FD53-4DE9-9AF6-5359711927EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56aa7a343db226e6c7da9bd7db585a412df58862","datavalue":{"value":{"entity-type":"item","numeric-id":5678435,"id":"Q5678435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860858$C09B7954-4080-4B04-A9A3-8A013872F667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16f4df59852549b78455a31ab0ba60f5577b16ea","datavalue":{"value":{"entity-type":"item","numeric-id":1399983,"id":"Q1399983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860858$32EB6775-B531-4C10-A829-C3114023D232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8772472ae60c3eab2c99e04d5c03feb01833a434","datavalue":{"value":{"entity-type":"item","numeric-id":4848749,"id":"Q4848749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860858$789094B4-325C-4DE3-BBFA-CAE6A8462862","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":"Q860858$6382ED09-F184-4686-9D37-830C561437F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8aad89f7798befe0ec5b1490ebfaa4e1f40c2671","datavalue":{"value":"10.1016/J.TCS.2006.07.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860858$F81BB8EC-AC00-45B9-B281-6EB50165FF47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3a74120165a56fde463c7feb2f6659923caaa50","datavalue":{"value":{"entity-type":"item","numeric-id":5897668,"id":"Q5897668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af742142280c7e3d40dd62dac7d7bdae0180fd44","datavalue":{"value":{"amount":"+0.9843639135360718","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":"Q860858$43F6423C-9069-4824-A24C-795B831D45C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36a273b0ae90a8a15a0dff67a66f006da47b74f5","datavalue":{"value":{"entity-type":"item","numeric-id":3021940,"id":"Q3021940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c1aae7c70a9eebb5b5537a81db43548f4903014","datavalue":{"value":{"amount":"+0.8445678949356079","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":"Q860858$5CD8D6DA-6895-487F-8912-1D3DE8D98824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c286c1ea5c22efcd511aed56aa7d973d6abd7456","datavalue":{"value":{"entity-type":"item","numeric-id":4540971,"id":"Q4540971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69a291575f499f81d8140a749e73385268537ac9","datavalue":{"value":{"amount":"+0.8338414430618286","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":"Q860858$3CAACDA1-3DEC-445B-B2BE-7C9147519108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"259c10802443c7c13b739fe2b567ac9da891d160","datavalue":{"value":{"entity-type":"item","numeric-id":4955252,"id":"Q4955252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69a291575f499f81d8140a749e73385268537ac9","datavalue":{"value":{"amount":"+0.8338414430618286","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":"Q860858$E1473BCC-19FE-45ED-AC91-5F12B7C1EBD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"137b70dd0a16a35d821540f8dd18f62dae9b1eda","datavalue":{"value":{"entity-type":"item","numeric-id":5696954,"id":"Q5696954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1578e5eacacd119aa03b9a98bf94bfc4a86aa7e6","datavalue":{"value":{"amount":"+0.8124935626983643","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":"Q860858$6E14B929-7B7F-488A-92C5-9EBAC246FC00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Incremental construction of minimal deterministic finite cover automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Incremental_construction_of_minimal_deterministic_finite_cover_automata"}}}}}