These axioms form the basis for term rewriting systems we can use for mining workflows.

• 这些公理构成了我们用以挖掘工作流的术语重写系统的基础。