Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Rippling> ?p ?o }
Showing triples 1 to 46 of
46
with 100 triples 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 wikiPageLength "4376".
- Rippling wikiPageOutDegree "19".
- Rippling wikiPageRevisionID "642016189".
- Rippling wikiPageWikiLink Alan_Bundy.
- Rippling wikiPageWikiLink Automated_theorem_prover.
- Rippling wikiPageWikiLink Automated_theorem_proving.
- Rippling wikiPageWikiLink Category:Automated_theorem_proving.
- Rippling wikiPageWikiLink Category:Heuristics.
- Rippling wikiPageWikiLink Commutative_property.
- Rippling wikiPageWikiLink Commutativity.
- Rippling wikiPageWikiLink File:Rippling_annotated_step_case.png.
- Rippling wikiPageWikiLink File:Rippling_rewrite_rules.png.
- Rippling wikiPageWikiLink File:Rippling_ripple.png.
- Rippling wikiPageWikiLink File:Rippling_step_case.png.
- Rippling wikiPageWikiLink File:Rippling_wave_rules.png.
- Rippling wikiPageWikiLink Heuristic.
- Rippling wikiPageWikiLink Heuristics.
- Rippling wikiPageWikiLink Inductive_hypothesis.
- Rippling wikiPageWikiLink Mathematical_Induction.
- Rippling wikiPageWikiLink Mathematical_induction.
- Rippling wikiPageWikiLink Mathematical_proof.
- Rippling wikiPageWikiLink Natural_number.
- Rippling wikiPageWikiLink Natural_numbers.
- Rippling wikiPageWikiLink Rewrite_system.
- Rippling wikiPageWikiLink Rewriting.
- Rippling wikiPageWikiLink Termination_analysis.
- Rippling wikiPageWikiLink Termination_proof.
- Rippling wikiPageWikiLink University_of_Edinburgh.
- Rippling wikiPageWikiLink Woody_Bledsoe.
- Rippling wikiPageWikiLinkText "rippling".
- Rippling hasPhotoCollection Rippling.
- Rippling wikiPageUsesTemplate Template:Reflist.
- Rippling subject Category:Automated_theorem_proving.
- Rippling subject Category:Heuristics.
- Rippling type Heuristic.
- Rippling type Method.
- Rippling type Proof.
- 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=642016189.
- Rippling isPrimaryTopicOf Rippling.