□ (5) 互斥律推论(inference of exclusion rule):Link(A,i,B,x)∧Link(A,y,B,j)⇒Link(A,i,B,j).利用互斥律可以容易 地推导出这一结论.
基于12个网页-相关网页
互斥律推论
Mutual exclusion law inference
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动