Development of Historical Text Information Extraction Techniques for Compiling the Military Events in the Ming and Qing Dynasties