Rippling とは

波紋は、主にエジンバラ大学の情報学部の数理推論グループで開発され、自動定理証明システムにおける帰納的証明を導くために最も一般的に使用される一連のメタレベルヒューリスティックを指します。リップリングは、書き換えシステムの制限された形式とみなすことができ、リライトの完了時に受精を確実にするために特別なオブジェクトレベルの注釈が使用されます。