Rippling
id:
rippling-249-3219165
title:
Rippling
text:
In computer science, more particularly in automated theorem proving, 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
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Rippling
date created:
date modified:
2023-10-19T10:31:11Z
main entity:
{"identifier":"Q7335736","url":"https://www.wikidata.org/entity/Q7335736"}
image:
fields total:
13
integrity:
13