{"entities":{"Q2117664":{"pageid":2128407,"ns":120,"title":"Item:Q2117664","lastrevid":43521888,"modified":"2025-07-30T14:00:56Z","type":"item","id":"Q2117664","labels":{"en":{"language":"en","value":"Efficient enumeration of regular expressions for faster regular expression synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7495105"}},"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":"Q2117664$66B65669-208A-45B8-BB7E-16BE903E15A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb4e8e7320cc827c3d0f3dd8d19aab497882476e","datavalue":{"value":{"text":"Efficient enumeration of regular expressions for faster regular expression synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2117664$DC7B5B08-7087-4531-8109-2048DB712FF1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"033e4adf0f154e2f37d18fcccb434f1b6023e7e6","datavalue":{"value":"10.1007/978-3-030-79121-6_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117664$A59D74E6-C15B-451D-A768-43BE4849FF7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"53620bdb783c4b8a7346c93e39948418eb7450a8","datavalue":{"value":{"entity-type":"item","numeric-id":2117663,"id":"Q2117663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117664$34F7F555-C9B1-44F2-AAC2-E0083EFA2624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1703327de734f035a9c809762b93bfb6c7d61d33","datavalue":{"value":{"entity-type":"item","numeric-id":454942,"id":"Q454942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117664$5BB36E74-9EAA-47E9-A82E-9D4010C38EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9921fec4a90bb1826d53253a693327953103aa8","datavalue":{"value":{"entity-type":"item","numeric-id":247254,"id":"Q247254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117664$08921F11-CCCF-455A-B118-FE12C01401DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39b1515277af1c7c28c7fc6f6f97d2379899717d","datavalue":{"value":{"time":"+2022-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2117664$5F951F93-D514-494E-9768-3D6A7DE8676F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117664$B110096D-5DF9-46FC-B4F3-0D1289BA5FFA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20f1b92bbb7db97efdfbdc055174809a2140e402","datavalue":{"value":"7495105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117664$98FF9DCA-00CF-4A9B-A072-71490EA58B67","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4369065edf6d8d2db82064ebbf82bc692ed5b6f","datavalue":{"value":"regular expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117664$6DE41F4A-867C-47B6-9E0B-D1BB685D9ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117664$B3CF2092-9885-475B-B3E9-CE74E9281D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117664$C9B1E0CA-66E7-4E61-8337-05E92804B7B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"534ca3fc9d3971deb44b81f76ce455fb2c615bb3","datavalue":{"value":"enumerative search","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117664$C88A1981-12E4-4CB6-AACF-245392BF7430","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9378c6a1ea89182fa31cf6e1cde7f20988685b6c","datavalue":{"value":{"entity-type":"item","numeric-id":51904,"id":"Q51904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117664$BDE6CCEE-2717-433A-8A46-9C4AF75B56B1","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":"Q2117664$48D02FDA-973C-4AFB-89E8-DFB2C738C89F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"624367f860f629ed6803bc3355873784573ff00c","datavalue":{"value":"https://doi.org/10.1007/978-3-030-79121-6_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2117664$76A604DD-2FD8-4EA5-AFB5-4DAF57A7A922","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f34dbc7fb1724913b0c8c6e8e59c324a263020d","datavalue":{"value":"W3174857509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117664$799344DF-FED2-460F-9D74-295AC7483068","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"021f399effa7a376d8fb8743c7f4d9bec135bec2","datavalue":{"value":{"entity-type":"item","numeric-id":5205036,"id":"Q5205036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117664$18F47421-332B-465C-9E3E-671F9E318AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4eb55a9a5e4c111bddeb36cf19bf8e8abc5d737","datavalue":{"value":{"entity-type":"item","numeric-id":1314367,"id":"Q1314367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117664$8B666D7C-AD22-46FF-AC5C-0FEF54627643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9266185c52f53bc308d9e6b943b26d08e91281f9","datavalue":{"value":{"entity-type":"item","numeric-id":5526125,"id":"Q5526125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117664$FA92C3BC-92C7-4681-A49F-F8B5515490C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8788eb2b7e8ec9fc83f6b2843af5de4faaad14cc","datavalue":{"value":{"entity-type":"item","numeric-id":5437181,"id":"Q5437181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117664$C501CDAD-6A73-427D-93F3-41507B6B9897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bfa9d057bcddb029c0a60f5117daba26c4cec19","datavalue":{"value":{"entity-type":"item","numeric-id":5463999,"id":"Q5463999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117664$35C49E3C-E3F6-41AF-8088-A24E59BB12F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7647688ccc626e52b414892d58f23d9728cc3eac","datavalue":{"value":{"entity-type":"item","numeric-id":3564869,"id":"Q3564869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117664$725132E3-D7D4-4235-9EE6-42544C1A600E","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":"Q2117664$A6DEE47F-4837-4DBC-AD5E-BE3EABA00A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"905a8c1367333b2a815a087e0b6a20e6ad1048ba","datavalue":{"value":{"entity-type":"item","numeric-id":5463981,"id":"Q5463981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117664$CC7508B6-BCF0-4F6C-A992-5DE72B95FBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eae6bc8f1db4896eaf2d7f33a78e86ea3e68692d","datavalue":{"value":{"entity-type":"item","numeric-id":3616446,"id":"Q3616446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117664$27E4B814-46E2-400A-AAA1-BEA59F3ECFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34f4e568c2469f8063f69f8c16802976e475eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3392273,"id":"Q3392273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117664$EB72E83F-E2C4-455E-AF52-FC2C91F21B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117664$AA697F87-DAE9-46A4-A78E-2A12AA3A9EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d617310b37fc85fd09ec7dd2c4fe23b8a3c75fd8","datavalue":{"value":{"entity-type":"item","numeric-id":4692941,"id":"Q4692941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117664$3626F0D8-4241-4959-912A-61F7E1263C85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2117664","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2117664"}}}}}