Matches in SemOpenAlex for { <https://semopenalex.org/work/W103159429> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W103159429 endingPage "369" @default.
- W103159429 startingPage "363" @default.
- W103159429 abstract "A theorem proving system has been programmed for automating mildly complex proofs by structural induction. One purpose was to prove properties of simple functional programs without loops or assignments. One can see the formal system as a generalization of number theory: the formal language is typed and the induction rule is valid for all types. Proofs are generated by working backward from the goal. The induction strategy splits into two parts: (1) the selection of induction variables, which is claimed to be linked to the useful generalization of terms to variables, and (2) the generation of induction subgoals, in particular, the selection and specialization of hypotheses. Other strategies include a fast simplification algorithm. The prover can cope with situations as complex as the definition and correctness proof of a simple compiling algorithm for expressions." @default.
- W103159429 created "2016-06-24" @default.
- W103159429 creator A5067012663 @default.
- W103159429 date "1977-08-22" @default.
- W103159429 modified "2023-09-23" @default.
- W103159429 title "Strategies for mechanizing structural induction" @default.
- W103159429 cites W1540927034 @default.
- W103159429 cites W1597841211 @default.
- W103159429 cites W1599151353 @default.
- W103159429 cites W1988651604 @default.
- W103159429 cites W2028074529 @default.
- W103159429 cites W2159709550 @default.
- W103159429 cites W2164173700 @default.
- W103159429 cites W44310417 @default.
- W103159429 cites W88524382 @default.
- W103159429 hasPublicationYear "1977" @default.
- W103159429 type Work @default.
- W103159429 sameAs 103159429 @default.
- W103159429 citedByCount "3" @default.
- W103159429 crossrefType "proceedings-article" @default.
- W103159429 hasAuthorship W103159429A5067012663 @default.
- W103159429 hasConcept C108710211 @default.
- W103159429 hasConcept C111472728 @default.
- W103159429 hasConcept C11413529 @default.
- W103159429 hasConcept C134306372 @default.
- W103159429 hasConcept C138885662 @default.
- W103159429 hasConcept C154945302 @default.
- W103159429 hasConcept C159718280 @default.
- W103159429 hasConcept C177148314 @default.
- W103159429 hasConcept C199360897 @default.
- W103159429 hasConcept C203265346 @default.
- W103159429 hasConcept C206743973 @default.
- W103159429 hasConcept C206880738 @default.
- W103159429 hasConcept C2318724 @default.
- W103159429 hasConcept C2524010 @default.
- W103159429 hasConcept C2780586882 @default.
- W103159429 hasConcept C33923547 @default.
- W103159429 hasConcept C41008148 @default.
- W103159429 hasConcept C55439883 @default.
- W103159429 hasConcept C80444323 @default.
- W103159429 hasConcept C81917197 @default.
- W103159429 hasConceptScore W103159429C108710211 @default.
- W103159429 hasConceptScore W103159429C111472728 @default.
- W103159429 hasConceptScore W103159429C11413529 @default.
- W103159429 hasConceptScore W103159429C134306372 @default.
- W103159429 hasConceptScore W103159429C138885662 @default.
- W103159429 hasConceptScore W103159429C154945302 @default.
- W103159429 hasConceptScore W103159429C159718280 @default.
- W103159429 hasConceptScore W103159429C177148314 @default.
- W103159429 hasConceptScore W103159429C199360897 @default.
- W103159429 hasConceptScore W103159429C203265346 @default.
- W103159429 hasConceptScore W103159429C206743973 @default.
- W103159429 hasConceptScore W103159429C206880738 @default.
- W103159429 hasConceptScore W103159429C2318724 @default.
- W103159429 hasConceptScore W103159429C2524010 @default.
- W103159429 hasConceptScore W103159429C2780586882 @default.
- W103159429 hasConceptScore W103159429C33923547 @default.
- W103159429 hasConceptScore W103159429C41008148 @default.
- W103159429 hasConceptScore W103159429C55439883 @default.
- W103159429 hasConceptScore W103159429C80444323 @default.
- W103159429 hasConceptScore W103159429C81917197 @default.
- W103159429 hasOpenAccess W103159429 @default.
- W103159429 hasRelatedWork W109409407 @default.
- W103159429 hasRelatedWork W1497090380 @default.
- W103159429 hasRelatedWork W1505699378 @default.
- W103159429 hasRelatedWork W1523371341 @default.
- W103159429 hasRelatedWork W1556936708 @default.
- W103159429 hasRelatedWork W1803381130 @default.
- W103159429 hasRelatedWork W192002195 @default.
- W103159429 hasRelatedWork W1967455278 @default.
- W103159429 hasRelatedWork W1987150355 @default.
- W103159429 hasRelatedWork W1996064523 @default.
- W103159429 hasRelatedWork W2006104711 @default.
- W103159429 hasRelatedWork W2009923373 @default.
- W103159429 hasRelatedWork W2033513250 @default.
- W103159429 hasRelatedWork W2120926795 @default.
- W103159429 hasRelatedWork W2130524429 @default.
- W103159429 hasRelatedWork W2135853107 @default.
- W103159429 hasRelatedWork W2146724365 @default.
- W103159429 hasRelatedWork W2618018874 @default.
- W103159429 hasRelatedWork W2805273157 @default.
- W103159429 hasRelatedWork W2181583560 @default.
- W103159429 isParatext "false" @default.
- W103159429 isRetracted "false" @default.
- W103159429 magId "103159429" @default.
- W103159429 workType "article" @default.