Rippling Stone

Rippling

In computer science, more particularly in automated theorem proving, rippling is 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.

Rock (geology)

In geology, a rock is any naturally occurring solid mass or aggregate of minerals or mineraloid matter. It is categorized by the minerals included, its chemical composition, and the way in which it is formed. Rocks form the Earth's outer solid layer, the crust, and most of its interior, except for the liquid outer core and pockets of magma in the asthenosphere. The study of rocks involves multiple subdisciplines of geology, including petrology and mineralogy. It may be limited to rocks found on Earth, or it may include planetary geology that studies the rocks of other celestial objects.

rippling

Verb

1. present participle and gerund of ripple

Adjective

1. Moving in a chaotic, undulating fashion, as in a flow of water or a flag blowing in the wind.

stone

Noun

1. A hard earthen substance that can form rocks; especially, such substance when regarded as a building material.
2. A piece of such material: a block of stone, rock or a pebble.

Adjective

1. Constructed of stone.
2. Having the appearance of stone.