Matches in SemOpenAlex for { <https://semopenalex.org/work/W94570535> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W94570535 endingPage "1220" @default.
- W94570535 startingPage "1214" @default.
- W94570535 abstract "The main problem, when automatically proving theorems by Induction is the problem of strategy, or, how to automatically direct deductions. This is not trivial, and, at present, only a mixture of complicated strategies have been investigated. The essential contribution of this paper is therefore the proposing of a new strategy for inductive theorem proving, inspired by a new mecanism called Constructive Matching (CM), and used for automatic programming [f04].We also propose a new method for the recognition of predicates and functions, necessary to prove a theorem by our approach, that are not defined in the knowledge-base (invention of new operators). Finally, we illustrate the obtainement of a suitable generalized lemma necessary for the proof." @default.
- W94570535 created "2016-06-24" @default.
- W94570535 creator A5073241923 @default.
- W94570535 date "1985-08-18" @default.
- W94570535 modified "2023-10-17" @default.
- W94570535 title "CM-strategy: a methodology for inductive theorem proving or constructive well-generalized proofs" @default.
- W94570535 cites W1524461469 @default.
- W94570535 cites W1590828018 @default.
- W94570535 cites W1983097969 @default.
- W94570535 cites W2012436850 @default.
- W94570535 cites W282754884 @default.
- W94570535 hasPublicationYear "1985" @default.
- W94570535 type Work @default.
- W94570535 sameAs 94570535 @default.
- W94570535 citedByCount "8" @default.
- W94570535 countsByYear W945705352013 @default.
- W94570535 countsByYear W945705352016 @default.
- W94570535 crossrefType "proceedings-article" @default.
- W94570535 hasAuthorship W94570535A5073241923 @default.
- W94570535 hasConcept C105795698 @default.
- W94570535 hasConcept C108710211 @default.
- W94570535 hasConcept C118615104 @default.
- W94570535 hasConcept C136119220 @default.
- W94570535 hasConcept C165064840 @default.
- W94570535 hasConcept C18903297 @default.
- W94570535 hasConcept C199343813 @default.
- W94570535 hasConcept C199360897 @default.
- W94570535 hasConcept C202444582 @default.
- W94570535 hasConcept C202854965 @default.
- W94570535 hasConcept C206743973 @default.
- W94570535 hasConcept C206880738 @default.
- W94570535 hasConcept C2524010 @default.
- W94570535 hasConcept C2777686260 @default.
- W94570535 hasConcept C2777759810 @default.
- W94570535 hasConcept C2778701210 @default.
- W94570535 hasConcept C33923547 @default.
- W94570535 hasConcept C41008148 @default.
- W94570535 hasConcept C46757340 @default.
- W94570535 hasConcept C71924100 @default.
- W94570535 hasConcept C80444323 @default.
- W94570535 hasConcept C86803240 @default.
- W94570535 hasConcept C98045186 @default.
- W94570535 hasConceptScore W94570535C105795698 @default.
- W94570535 hasConceptScore W94570535C108710211 @default.
- W94570535 hasConceptScore W94570535C118615104 @default.
- W94570535 hasConceptScore W94570535C136119220 @default.
- W94570535 hasConceptScore W94570535C165064840 @default.
- W94570535 hasConceptScore W94570535C18903297 @default.
- W94570535 hasConceptScore W94570535C199343813 @default.
- W94570535 hasConceptScore W94570535C199360897 @default.
- W94570535 hasConceptScore W94570535C202444582 @default.
- W94570535 hasConceptScore W94570535C202854965 @default.
- W94570535 hasConceptScore W94570535C206743973 @default.
- W94570535 hasConceptScore W94570535C206880738 @default.
- W94570535 hasConceptScore W94570535C2524010 @default.
- W94570535 hasConceptScore W94570535C2777686260 @default.
- W94570535 hasConceptScore W94570535C2777759810 @default.
- W94570535 hasConceptScore W94570535C2778701210 @default.
- W94570535 hasConceptScore W94570535C33923547 @default.
- W94570535 hasConceptScore W94570535C41008148 @default.
- W94570535 hasConceptScore W94570535C46757340 @default.
- W94570535 hasConceptScore W94570535C71924100 @default.
- W94570535 hasConceptScore W94570535C80444323 @default.
- W94570535 hasConceptScore W94570535C86803240 @default.
- W94570535 hasConceptScore W94570535C98045186 @default.
- W94570535 hasLocation W945705351 @default.
- W94570535 hasOpenAccess W94570535 @default.
- W94570535 hasPrimaryLocation W945705351 @default.
- W94570535 hasRelatedWork W1480523785 @default.
- W94570535 hasRelatedWork W1490982973 @default.
- W94570535 hasRelatedWork W1496894182 @default.
- W94570535 hasRelatedWork W1498428138 @default.
- W94570535 hasRelatedWork W1525483008 @default.
- W94570535 hasRelatedWork W152933051 @default.
- W94570535 hasRelatedWork W1556405916 @default.
- W94570535 hasRelatedWork W1930661832 @default.
- W94570535 hasRelatedWork W1967592514 @default.
- W94570535 hasRelatedWork W1996158986 @default.
- W94570535 hasRelatedWork W2012436850 @default.
- W94570535 hasRelatedWork W2013572173 @default.
- W94570535 hasRelatedWork W2072868156 @default.
- W94570535 hasRelatedWork W2073911647 @default.
- W94570535 hasRelatedWork W2162926940 @default.
- W94570535 hasRelatedWork W287250049 @default.
- W94570535 hasRelatedWork W66165090 @default.
- W94570535 hasRelatedWork W71070679 @default.
- W94570535 hasRelatedWork W83406561 @default.
- W94570535 hasRelatedWork W2134764148 @default.
- W94570535 isParatext "false" @default.
- W94570535 isRetracted "false" @default.
- W94570535 magId "94570535" @default.
- W94570535 workType "article" @default.