prover的例句大全

The partners with which the process communicates are represented by the UML partitions ( also known as swimlanes): customer, assessor, and approver.

通过UML分区（也作为泳道）来表示流程中通信的合作伙伴：customer、assessor以及approver。

If the approver is no longer found in the approver database, a warning message will be displayed.

如果批准人在approver数据库中无法找到，一条警告消息将显示出来。

This is an automated theorem prover for first-order and equational logic, used to support inference in language processing.

这是一个用于一阶和逻辑方程式的自动理论证明器，用于支持语言处理中的推理。

Sometimes the abstraction itself may be so large that the theorem prover may take an inordinate amount of time and resources to complete the proof.

有时抽象本身可能是很大的工作量，以致定理证明程序可能花费过多时间和资源来完成证明。