いくつかの項の間の等価性を満たすときはいつでも,これらの項は統一したとき,構造がHerbrand特性を持っている。についてこのような構造等式の表現力が自明な,その意味論的充足可能性は純粋に構文チェックに還元された。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】