変数の独立的標準化

α変換について調べていたのだが、よく似たことを昔やったことがあるような気がした。
そこで、教科書を久々に読み返して探してみた。結果、述語論理式をスコーレム標準形へ変換するプロセスの中で「変数の独立的標準化」という言葉を見付けた。
しかし、Googleで検索してみてもこの言葉ではたったの2個しかヒットしない。
google:"独立的標準化"
あんまり使われない用語なんだろうか。それともこの本の著者の勝手な用語なんだろうか。

人工知能の基礎知識 (コンピュータサイエンス大学講座)

Document ID: 7691670bfe40b4ef0a62bf9ce4a54247