{"entities":{"Q414872":{"pageid":416639,"ns":120,"title":"Item:Q414872","lastrevid":61672395,"modified":"2026-04-11T00:52:59Z","type":"item","id":"Q414872","labels":{"en":{"language":"en","value":"Learning finite cover automata from queries"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6033491"}},"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":"Q414872$749EC4EB-95A7-4D47-9E33-579B0A1B85E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36842520577a727069f23e462aff3961f71068d3","datavalue":{"value":{"text":"Learning finite cover automata from queries","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q414872$38FEB5E4-D08C-4C7A-9503-1943BBE79FF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02e0893b00e75ecd9f0ad1e3c1e61186469b3b21","datavalue":{"value":"1332.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414872$96248360-544F-4974-9C64-05E3CDB29744","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a780ef79608749556230cbbde02f78eda1ce0cdb","datavalue":{"value":{"entity-type":"item","numeric-id":204589,"id":"Q204589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414872$48A233E8-CF87-493C-9A26-8F47A8A3D3B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414872$9362B1DD-325D-4569-9ACE-63AEC82F89AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebad7c55eb31a5728be157b82e80bb61556d824d","datavalue":{"value":{"time":"+2012-05-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":"Q414872$B3F77C32-B918-446C-88CC-52CD66F6A8CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414872$E314B374-A6E5-417D-A20C-7F434C271029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414872$55BA22FD-BB55-4D30-BF75-1ECCCDAA41AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13391ee597ce9f491e35a08f390ba3ec9193d2f8","datavalue":{"value":"6033491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414872$F4BF7DBB-1215-4F34-9190-C751CDF2FD68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"932304669c9ccab06b18ccce6673f15a054affed","datavalue":{"value":"learning from queries","type":"string"},"datatype":"string"},"type":"statement","id":"Q414872$C9381056-8384-4D4F-8E59-A6F93D55B1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q414872$4FEA8791-A44C-416B-9A5F-EA6C1EE1939D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad68ce629fd44bccc6dac757502e356277969d29","datavalue":{"value":"automata inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q414872$1B9B5543-75BC-4168-ADCE-D5C4440CCFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b11cdb981431522079499d8887c1ddbe49229a9","datavalue":{"value":"deterministic finite cover automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q414872$C2CD2E8B-EB34-4E56-97A6-23597E9F7C7F","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":"Q414872$74FEADB7-A98C-4A40-B1D2-213B72F847E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"338acbb0e2d3367dfea7378512ca2139d258c8e4","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2011.04.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q414872$46BD7B75-EF06-47B6-BC93-E6EDC0188F76","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f81c0e5499ec7718741aecc25465c51c0ebb242","datavalue":{"value":"W2171527505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414872$833DBB1B-E620-471D-BDD2-1406DF51EE26","rank":"normal"}],"P223":[{"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":"Q414872$6E47CF2F-9AB2-4A35-BC7E-AB17E3DC8233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fac60edc46b96d391fd19f103e4a89f46a0a07b","datavalue":{"value":{"entity-type":"item","numeric-id":5674988,"id":"Q5674988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414872$695E085C-648E-4CDF-BB3B-827FD9E68515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52fc31bb23ca81ebaeeaacf99775b22be6ddb767","datavalue":{"value":{"entity-type":"item","numeric-id":4336266,"id":"Q4336266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414872$6D34A568-EA1B-4A79-8EF7-366C7680B876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d82d8fbef7207e3a8c855b494fb9281aee4749","datavalue":{"value":{"entity-type":"item","numeric-id":2365762,"id":"Q2365762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414872$B1956830-B307-40DA-8A1F-13CBADA59AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bc28dddf049d43cbc4ed2b070e02de10dd49d06","datavalue":{"value":{"entity-type":"item","numeric-id":5900687,"id":"Q5900687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414872$1EE1E9EC-610E-4AA9-B1C2-D3A82F00A1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d001a9144938757db72550d76d0f848fb10a45","datavalue":{"value":{"entity-type":"item","numeric-id":4296175,"id":"Q4296175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414872$7C3F2789-B815-4AC7-83B4-040DB0E43D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c71d8419f131bdc47d3d871e2a2b8f10373a226","datavalue":{"value":{"entity-type":"item","numeric-id":4955252,"id":"Q4955252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414872$82D6664E-684C-4267-9046-B1E28F2B03E2","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":"Q414872$229A3EAC-7252-4A1C-BF94-8357977F22D3","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":"Q414872$7BB4B5EF-2B58-4534-9FB3-B4F8B94E8D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e42556291a7862bac389f39aa209b574a35c637f","datavalue":{"value":{"entity-type":"item","numeric-id":860858,"id":"Q860858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414872$CF1FFF8F-E0C4-49FF-9B4E-EB22F6CCFB42","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":"Q414872$7ECB1310-3185-4D3A-BE58-F3DAC8A08538","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":"Q414872$DCA550B2-1424-4219-9309-0714FE05D141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c870f0c37d666f8587f34dcb3478819fb016ec6","datavalue":{"value":{"entity-type":"item","numeric-id":3716297,"id":"Q3716297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414872$0756B6BC-CF44-46B8-B2E8-E7BA6723FBBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98fbfb1faeba5f27e6b1e6e8efb94cc8d2a7f91c","datavalue":{"value":{"entity-type":"item","numeric-id":3495661,"id":"Q3495661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414872$ADC337F5-DD3F-473D-AD7C-B45FD22D6EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a423bed1db1f89dfd75f51e2dddb86d00ac7188b","datavalue":{"value":{"entity-type":"item","numeric-id":1816738,"id":"Q1816738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414872$84D0EA37-682B-42BB-B179-81F28EF23844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa72176d9b398bde0913c7a0d1cf7102b6c4a4db","datavalue":{"value":{"entity-type":"item","numeric-id":3434652,"id":"Q3434652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414872$04A75F8E-6414-4603-8BD9-56E8B12F877D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faf03f2e565ce1d74921ea90ff8a4b05d6337800","datavalue":{"value":{"entity-type":"item","numeric-id":964395,"id":"Q964395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414872$E0E39C7E-5C06-4E7B-B69B-7176090132E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d4e7a0cd98168872b74e4720bfb341f7c43af37","datavalue":{"value":{"entity-type":"item","numeric-id":4472253,"id":"Q4472253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414872$3756D108-B706-456B-B2CE-3FD578FCF251","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d390bbafb2ec118a42f98c09afbc7a2d9bdc6e4","datavalue":{"value":"10.1016/J.JCSS.2011.04.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414872$8627CEEB-1234-45D6-9649-4D1ECB0AE6DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d36042ae568497e8fc6586219e22e722df1e1c92","datavalue":{"value":{"entity-type":"item","numeric-id":1998871,"id":"Q1998871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"673822027d7a32354ac7770ef18509bed2268a69","datavalue":{"value":{"amount":"+0.794653594493866","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":"Q414872$4672D8A3-7D02-4DBD-A984-1E96393DCF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789aaeaf69994d174086df1f8aaf7a50fd274185","datavalue":{"value":{"entity-type":"item","numeric-id":899316,"id":"Q899316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bef27cea717f8bb271395ae9ae9d7eb7760ecfa","datavalue":{"value":{"amount":"+0.7776132225990295","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":"Q414872$930F088D-08B9-4C1C-89FD-4CF1387543AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcf7ce2a9ce273ffe75ed67b1b154d005e225e34","datavalue":{"value":{"entity-type":"item","numeric-id":5958721,"id":"Q5958721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4edc5d04c2341c7f4110ae46a970d6f5bb885018","datavalue":{"value":{"amount":"+0.7770320177078247","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":"Q414872$E54D66B9-210E-436C-9A15-EF781A96FD2F","rank":"normal"},{"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":"0438887f9fcde9c7d1b8b60f3c1bbf36bf17267c","datavalue":{"value":{"amount":"+0.7751207947731018","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":"Q414872$FF70CFD9-FE98-40D4-91D1-1C7625A9BB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0e70f6f7937a17c48dbb973d6d748c037ea0670","datavalue":{"value":{"entity-type":"item","numeric-id":5199996,"id":"Q5199996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d6ac2cecc0556b686a8e542e7802be6b53f330e","datavalue":{"value":{"amount":"+0.7726592421531677","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":"Q414872$64821AF1-E9B4-4DF0-A288-EF7CD848C7BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Learning finite cover automata from queries","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Learning_finite_cover_automata_from_queries"}}}}}