e/Rippling

Information
has gloss	eng: Rippling refers to a group of meta-level heuristics, developed primarily in the Mathematical Reasoning Group in the School of Informatics at the University of Edinburgh, and most commonly used to guide inductive proofs in automated theorem proving systems. Rippling may be viewed as a restricted form of rewrite system, where special object level annotations are used to ensure fertilization upon the completion of rewriting, with a measure decreasing requirement ensuring termination for any set of rewrite rules and expression.
lexicalization	eng: rippling
instance of	(noun) a commonsense rule (or set of rules) intended to increase the probability of solving some problem heuristic program, heuristic rule, heuristic

Media
media:img	Rippling annotated step case.png
media:img	Rippling rewrite rules.png
media:img	Rippling ripple.png
media:img	Rippling step case.png
media:img	Rippling wave rules.png