Read Edit View history 形式化 xíngshìhuà formalize Origin Definitions Defs Strokes Stroke Words Sentences Sents created sense approved 形式化 · xíngshìhuà · formalize 2026/03/04 形式化 xíngshìhuà formalize to represent or express something in a formal system, such as mathematics, logic, or computer science 逻辑形式化是人工智能的基础。 verb created sense Mar 4, 2026, 02:25 AM