Matches in SemOpenAlex for { <https://semopenalex.org/work/W2077753591> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2077753591 abstract "Due to its practical importance, context-dependent simplification of goals with conditional lemmas has been studied for three decades, mostly under the label of “contextual rewriting”. We present a flexible framework for controlling the recursive relief of conditions by marking formulas in goals and lemmas. Within this framework, by marking goal formulas as forbidden, we can simulate and improve the well-known approaches of contextual rewriting and case rewriting. Furthermore, we develop novel heuristics which may mark goal formulas as mandatory and lemma formulas as obligatory or generous. Our case studies in the field of rewrite-based inductive theorem proving are encouraging." @default.
- W2077753591 created "2016-06-24" @default.
- W2077753591 creator A5069874295 @default.
- W2077753591 date "2006-07-03" @default.
- W2077753591 modified "2023-09-23" @default.
- W2077753591 title "Flexible heuristics for simplification with conditional lemmas by marking formulas as forbidden, mandatory, obligatory, and generous" @default.
- W2077753591 cites W1505699378 @default.
- W2077753591 cites W1546768125 @default.
- W2077753591 cites W1581810060 @default.
- W2077753591 cites W1597068544 @default.
- W2077753591 cites W1602107760 @default.
- W2077753591 cites W1839006428 @default.
- W2077753591 cites W1987185067 @default.
- W2077753591 cites W1998316495 @default.
- W2077753591 cites W2039977878 @default.
- W2077753591 cites W2060014458 @default.
- W2077753591 cites W2068793017 @default.
- W2077753591 cites W2087028873 @default.
- W2077753591 cites W2099078002 @default.
- W2077753591 cites W2121757274 @default.
- W2077753591 cites W31322021 @default.
- W2077753591 cites W2135473658 @default.
- W2077753591 doi "https://doi.org/10.3166/jancl.16.208-239" @default.
- W2077753591 hasPublicationYear "2006" @default.
- W2077753591 type Work @default.
- W2077753591 sameAs 2077753591 @default.
- W2077753591 citedByCount "4" @default.
- W2077753591 countsByYear W20777535912012 @default.
- W2077753591 countsByYear W20777535912013 @default.
- W2077753591 crossrefType "journal-article" @default.
- W2077753591 hasAuthorship W2077753591A5069874295 @default.
- W2077753591 hasConcept C111919701 @default.
- W2077753591 hasConcept C11413529 @default.
- W2077753591 hasConcept C127705205 @default.
- W2077753591 hasConcept C136119220 @default.
- W2077753591 hasConcept C151730666 @default.
- W2077753591 hasConcept C154690210 @default.
- W2077753591 hasConcept C18903297 @default.
- W2077753591 hasConcept C199360897 @default.
- W2077753591 hasConcept C202444582 @default.
- W2077753591 hasConcept C2777759810 @default.
- W2077753591 hasConcept C2779343474 @default.
- W2077753591 hasConcept C33923547 @default.
- W2077753591 hasConcept C41008148 @default.
- W2077753591 hasConcept C46757340 @default.
- W2077753591 hasConcept C80444323 @default.
- W2077753591 hasConcept C86803240 @default.
- W2077753591 hasConcept C9652623 @default.
- W2077753591 hasConceptScore W2077753591C111919701 @default.
- W2077753591 hasConceptScore W2077753591C11413529 @default.
- W2077753591 hasConceptScore W2077753591C127705205 @default.
- W2077753591 hasConceptScore W2077753591C136119220 @default.
- W2077753591 hasConceptScore W2077753591C151730666 @default.
- W2077753591 hasConceptScore W2077753591C154690210 @default.
- W2077753591 hasConceptScore W2077753591C18903297 @default.
- W2077753591 hasConceptScore W2077753591C199360897 @default.
- W2077753591 hasConceptScore W2077753591C202444582 @default.
- W2077753591 hasConceptScore W2077753591C2777759810 @default.
- W2077753591 hasConceptScore W2077753591C2779343474 @default.
- W2077753591 hasConceptScore W2077753591C33923547 @default.
- W2077753591 hasConceptScore W2077753591C41008148 @default.
- W2077753591 hasConceptScore W2077753591C46757340 @default.
- W2077753591 hasConceptScore W2077753591C80444323 @default.
- W2077753591 hasConceptScore W2077753591C86803240 @default.
- W2077753591 hasConceptScore W2077753591C9652623 @default.
- W2077753591 hasLocation W20777535911 @default.
- W2077753591 hasOpenAccess W2077753591 @default.
- W2077753591 hasPrimaryLocation W20777535911 @default.
- W2077753591 hasRelatedWork W1652311832 @default.
- W2077753591 hasRelatedWork W1879609565 @default.
- W2077753591 hasRelatedWork W2097843717 @default.
- W2077753591 hasRelatedWork W2135396778 @default.
- W2077753591 hasRelatedWork W2166247150 @default.
- W2077753591 hasRelatedWork W2243428364 @default.
- W2077753591 hasRelatedWork W2462453872 @default.
- W2077753591 hasRelatedWork W2748952813 @default.
- W2077753591 hasRelatedWork W3207171446 @default.
- W2077753591 hasRelatedWork W4243252198 @default.
- W2077753591 isParatext "false" @default.
- W2077753591 isRetracted "false" @default.
- W2077753591 magId "2077753591" @default.
- W2077753591 workType "article" @default.