Research on formalization processing for quantifier structure in plane geometry domain

• 平面几何领域数量词结构形式化处理研究