Matches in SemOpenAlex for { <https://semopenalex.org/work/W146984377> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W146984377 abstract "Many mathematical proofs are hard to generate forhumans and even harder for automated theoremprovers. Classical techniques of automated theoremproving involve the application of basic rules, of built-in special procedures, or of tactics. Melis (Melis 1993)introduced a new method for analogical reasoning inautomated theorem proving. In this paper we showhow the derivational analogy replay method is relatedand extended to encompass analogy-driven proof planconstruction. The method is evaluated by showing theproof plan generation of the Pumping Lemma for con-text free languages derived by analogy with the proofplan of the Pumping Lemma for regular languages.This is an impressive evaluation test for the analogicalreasoning method applied to automated theorem prov-ing, as the automated proof of this Pumping Lemmais beyond the capabilities of any of the current auto-mated theorem provers." @default.
- W146984377 created "2016-06-24" @default.
- W146984377 creator A5081181060 @default.
- W146984377 creator A5088276691 @default.
- W146984377 date "1999-01-01" @default.
- W146984377 modified "2023-09-25" @default.
- W146984377 title "Analogy Makes Proofs Feasible" @default.
- W146984377 cites W1482429626 @default.
- W146984377 cites W1492160417 @default.
- W146984377 cites W15126301 @default.
- W146984377 cites W1518870462 @default.
- W146984377 cites W1519594419 @default.
- W146984377 cites W1525483008 @default.
- W146984377 cites W1699282338 @default.
- W146984377 cites W170534232 @default.
- W146984377 cites W2002089154 @default.
- W146984377 cites W2013434344 @default.
- W146984377 cites W2035386280 @default.
- W146984377 cites W2071523700 @default.
- W146984377 cites W2086541408 @default.
- W146984377 cites W2331953749 @default.
- W146984377 cites W2917669195 @default.
- W146984377 hasPublicationYear "1999" @default.
- W146984377 type Work @default.
- W146984377 sameAs 146984377 @default.
- W146984377 citedByCount "1" @default.
- W146984377 crossrefType "journal-article" @default.
- W146984377 hasAuthorship W146984377A5081181060 @default.
- W146984377 hasAuthorship W146984377A5088276691 @default.
- W146984377 hasConcept C108710211 @default.
- W146984377 hasConcept C11413529 @default.
- W146984377 hasConcept C13766981 @default.
- W146984377 hasConcept C138885662 @default.
- W146984377 hasConcept C18903297 @default.
- W146984377 hasConcept C199343813 @default.
- W146984377 hasConcept C199360897 @default.
- W146984377 hasConcept C206880738 @default.
- W146984377 hasConcept C2524010 @default.
- W146984377 hasConcept C2777686260 @default.
- W146984377 hasConcept C2777759810 @default.
- W146984377 hasConcept C33923547 @default.
- W146984377 hasConcept C41008148 @default.
- W146984377 hasConcept C41895202 @default.
- W146984377 hasConcept C46757340 @default.
- W146984377 hasConcept C521332185 @default.
- W146984377 hasConcept C71924100 @default.
- W146984377 hasConcept C86803240 @default.
- W146984377 hasConceptScore W146984377C108710211 @default.
- W146984377 hasConceptScore W146984377C11413529 @default.
- W146984377 hasConceptScore W146984377C13766981 @default.
- W146984377 hasConceptScore W146984377C138885662 @default.
- W146984377 hasConceptScore W146984377C18903297 @default.
- W146984377 hasConceptScore W146984377C199343813 @default.
- W146984377 hasConceptScore W146984377C199360897 @default.
- W146984377 hasConceptScore W146984377C206880738 @default.
- W146984377 hasConceptScore W146984377C2524010 @default.
- W146984377 hasConceptScore W146984377C2777686260 @default.
- W146984377 hasConceptScore W146984377C2777759810 @default.
- W146984377 hasConceptScore W146984377C33923547 @default.
- W146984377 hasConceptScore W146984377C41008148 @default.
- W146984377 hasConceptScore W146984377C41895202 @default.
- W146984377 hasConceptScore W146984377C46757340 @default.
- W146984377 hasConceptScore W146984377C521332185 @default.
- W146984377 hasConceptScore W146984377C71924100 @default.
- W146984377 hasConceptScore W146984377C86803240 @default.
- W146984377 hasLocation W1469843771 @default.
- W146984377 hasOpenAccess W146984377 @default.
- W146984377 hasPrimaryLocation W1469843771 @default.
- W146984377 hasRelatedWork W1529621234 @default.
- W146984377 hasRelatedWork W1541042121 @default.
- W146984377 hasRelatedWork W1565983841 @default.
- W146984377 hasRelatedWork W1587628431 @default.
- W146984377 hasRelatedWork W1597173728 @default.
- W146984377 hasRelatedWork W1602423174 @default.
- W146984377 hasRelatedWork W1821199070 @default.
- W146984377 hasRelatedWork W1836049508 @default.
- W146984377 hasRelatedWork W1983424569 @default.
- W146984377 hasRelatedWork W2022751246 @default.
- W146984377 hasRelatedWork W2117766234 @default.
- W146984377 hasRelatedWork W25598173 @default.
- W146984377 hasRelatedWork W2889439262 @default.
- W146984377 hasRelatedWork W2929954177 @default.
- W146984377 hasRelatedWork W2949263622 @default.
- W146984377 hasRelatedWork W2951286161 @default.
- W146984377 hasRelatedWork W30156491 @default.
- W146984377 hasRelatedWork W3102050129 @default.
- W146984377 hasRelatedWork W3184275293 @default.
- W146984377 hasRelatedWork W1574793289 @default.
- W146984377 isParatext "false" @default.
- W146984377 isRetracted "false" @default.
- W146984377 magId "146984377" @default.
- W146984377 workType "article" @default.