undirectly

Tanımlar (İngilizce)

1. zarf Indirectly.

   “Consider the rules that define directly or undirectly the goal f and let X be a list of a(f) distinct variables. Since f(X) is free w.r.t. X by hypothesis, it is possible to rewrite the variables in the above rules so that they are a subset of X.”