Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Rippling> ?p ?o. }
Showing items 1 to 13 of
13
with 100 items per page.
- Rippling abstract "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.".
- Rippling wikiPageID "8562999".
- Rippling wikiPageRevisionID "581836207".
- Rippling hasPhotoCollection Rippling.
- Rippling subject Category:Automated_theorem_proving.
- Rippling subject Category:Heuristics.
- Rippling comment "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 label "Rippling".
- Rippling sameAs m.0277_zg.
- Rippling sameAs Q7335736.
- Rippling sameAs Q7335736.
- Rippling wasDerivedFrom Rippling?oldid=581836207.
- Rippling isPrimaryTopicOf Rippling.