..., the quantified variable must be replaced with a Skolemfunction of the universally quantified variables.
...、その量化変数は普遍的に量化された変数のスコーレム関数で置き換えられなければならない。 - コンピューター用語辞典
例文データの著作権について
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
