Matches in SemOpenAlex for { <https://semopenalex.org/work/W2804386508> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2804386508 abstract "This case study examines in detail the theorems and proofs that are shownby analogy in a mathematical textbook on semigroups and automata, thatis widely used as an undergraduate textbook in theoretical computer scienceat German universities (P. Deussen, Halbgruppen und Automaten, Springer1971). The study shows the important role of restructuring a proof for findinganalogous subproofs, and of reformulating a proof for the analogical trans-formation. It also emphasizes the importance of the relevant assumptions ofa known proof, i.e., of those assumptions actually used in the proof. In thisdocument we show the theorems, the proof structure, the subproblems andthe proofs of subproblems and their analogues with the purpose to providean empirical test set of cases for automated analogy-driven theorem proving.Theorems and their proofs are given in natural language augmented by theusual set of mathematical symbols in the studied textbook. As a first step weencode the theorems in logic and show the actual restructuring. Secondly, wecode the proofs in a Natural Deduction calculus such that a formal analysisbecomes possible and mention reformulations that are necessary in order toreveal the analogy." @default.
- W2804386508 created "2018-06-01" @default.
- W2804386508 creator A5081181060 @default.
- W2804386508 date "1999-01-01" @default.
- W2804386508 modified "2023-09-26" @default.
- W2804386508 title "Analogies between Proofs - A Case Study" @default.
- W2804386508 hasPublicationYear "1999" @default.
- W2804386508 type Work @default.
- W2804386508 sameAs 2804386508 @default.
- W2804386508 citedByCount "1" @default.
- W2804386508 crossrefType "journal-article" @default.
- W2804386508 hasAuthorship W2804386508A5081181060 @default.
- W2804386508 hasConcept C100481476 @default.
- W2804386508 hasConcept C105605280 @default.
- W2804386508 hasConcept C108710211 @default.
- W2804386508 hasConcept C111472728 @default.
- W2804386508 hasConcept C11413529 @default.
- W2804386508 hasConcept C118615104 @default.
- W2804386508 hasConcept C136119220 @default.
- W2804386508 hasConcept C138885662 @default.
- W2804386508 hasConcept C177264268 @default.
- W2804386508 hasConcept C195653647 @default.
- W2804386508 hasConcept C199343813 @default.
- W2804386508 hasConcept C199360897 @default.
- W2804386508 hasConcept C202444582 @default.
- W2804386508 hasConcept C206743973 @default.
- W2804386508 hasConcept C206880738 @default.
- W2804386508 hasConcept C2318724 @default.
- W2804386508 hasConcept C2524010 @default.
- W2804386508 hasConcept C2777686260 @default.
- W2804386508 hasConcept C33923547 @default.
- W2804386508 hasConcept C41008148 @default.
- W2804386508 hasConcept C47884741 @default.
- W2804386508 hasConcept C521332185 @default.
- W2804386508 hasConcept C62073222 @default.
- W2804386508 hasConcept C71924100 @default.
- W2804386508 hasConceptScore W2804386508C100481476 @default.
- W2804386508 hasConceptScore W2804386508C105605280 @default.
- W2804386508 hasConceptScore W2804386508C108710211 @default.
- W2804386508 hasConceptScore W2804386508C111472728 @default.
- W2804386508 hasConceptScore W2804386508C11413529 @default.
- W2804386508 hasConceptScore W2804386508C118615104 @default.
- W2804386508 hasConceptScore W2804386508C136119220 @default.
- W2804386508 hasConceptScore W2804386508C138885662 @default.
- W2804386508 hasConceptScore W2804386508C177264268 @default.
- W2804386508 hasConceptScore W2804386508C195653647 @default.
- W2804386508 hasConceptScore W2804386508C199343813 @default.
- W2804386508 hasConceptScore W2804386508C199360897 @default.
- W2804386508 hasConceptScore W2804386508C202444582 @default.
- W2804386508 hasConceptScore W2804386508C206743973 @default.
- W2804386508 hasConceptScore W2804386508C206880738 @default.
- W2804386508 hasConceptScore W2804386508C2318724 @default.
- W2804386508 hasConceptScore W2804386508C2524010 @default.
- W2804386508 hasConceptScore W2804386508C2777686260 @default.
- W2804386508 hasConceptScore W2804386508C33923547 @default.
- W2804386508 hasConceptScore W2804386508C41008148 @default.
- W2804386508 hasConceptScore W2804386508C47884741 @default.
- W2804386508 hasConceptScore W2804386508C521332185 @default.
- W2804386508 hasConceptScore W2804386508C62073222 @default.
- W2804386508 hasConceptScore W2804386508C71924100 @default.
- W2804386508 hasLocation W28043865081 @default.
- W2804386508 hasOpenAccess W2804386508 @default.
- W2804386508 hasPrimaryLocation W28043865081 @default.
- W2804386508 hasRelatedWork W104007018 @default.
- W2804386508 hasRelatedWork W122982323 @default.
- W2804386508 hasRelatedWork W123438006 @default.
- W2804386508 hasRelatedWork W1510627098 @default.
- W2804386508 hasRelatedWork W1529621234 @default.
- W2804386508 hasRelatedWork W1858809161 @default.
- W2804386508 hasRelatedWork W2002184363 @default.
- W2804386508 hasRelatedWork W2084232252 @default.
- W2804386508 hasRelatedWork W2091861215 @default.
- W2804386508 hasRelatedWork W2166505334 @default.
- W2804386508 hasRelatedWork W2242488196 @default.
- W2804386508 hasRelatedWork W2405151595 @default.
- W2804386508 hasRelatedWork W2982918323 @default.
- W2804386508 hasRelatedWork W30156491 @default.
- W2804386508 hasRelatedWork W3030614832 @default.
- W2804386508 hasRelatedWork W569549673 @default.
- W2804386508 hasRelatedWork W644998418 @default.
- W2804386508 hasRelatedWork W77534683 @default.
- W2804386508 hasRelatedWork W9401168 @default.
- W2804386508 hasRelatedWork W3117122448 @default.
- W2804386508 isParatext "false" @default.
- W2804386508 isRetracted "false" @default.
- W2804386508 magId "2804386508" @default.
- W2804386508 workType "article" @default.