消解证明过程的英文

resolution proof procedure

• 消解:    clear up; dispel
• 证明:    prove; testify; be ...
• 过程:    process; procedure ...