(b) Show that any generalized expli

(b) Show that any generalized explicit resource specification has an equiv- alent exclusion specification.

Kết quả (Việt) 1:

(b) cho bất kỳ đặc điểm kỹ thuật tổng quát các nguồn lực rõ ràng có một đặc điểm loại trừ equiv-alent.

Kết quả (Việt) 2:

(B) Chứng minh rằng bất kỳ đặc điểm kỹ thuật tài nguyên rõ ràng khái quát có một đặc điểm kỹ thuật loại trừ alent equiv-.