The traditional idea used in TP is to try to deduce the empty clause to check satisfiability.

定理证明中通常的想法是通过推出空子句的方法来判定子句集的可满足性。

youdao

Usage: This parameter controls the decision on when the NON EMPTY clause is applied to the query MDX.

用法：该参数控制何时向查询MDX应用NON empty子句的决策。

youdao

The application of the NON EMPTY clause, alters the query from returning all members, to just returning those that have measure values.

NON empty子句的应用将查询从返回所有成员修改为仅返回具有度量值的那些成员。

youdao