Matches in SemOpenAlex for { <https://semopenalex.org/work/W66165090> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W66165090 abstract "We present an inference system for clausal theorem proving w.r.t. various kinds of inductivevalidity in theories specified by constructor-based positive/negative-conditional equations. The reductionrelation defined by such equations has to be (ground) confluent, but need not be terminating. Our con-structor-based approach is well-suited for inductive theorem proving in the presence of partially definedfunctions. The proposed inference system provides explicit induction hypotheses and can be instantiatedwith various wellfounded induction orderings. While emphasizing a well structured clear design of theinference system, our fundamental design goal is user-orientation and practical usefulness rather thantheoretical elegance. The resulting inference system is comprehensive and relatively powerful, but requiresa sophisticated concept of proof guidance, which is not treated in this paper.This research was supported by the Deutsche Forschungsgemeinschaft, SFB 314 (D4-Projekt)" @default.
- W66165090 created "2016-06-24" @default.
- W66165090 creator A5048769034 @default.
- W66165090 creator A5049355570 @default.
- W66165090 date "1999-01-01" @default.
- W66165090 modified "2023-09-27" @default.
- W66165090 title "Inductive theorem proving in theories specified by positive/negative-conditional equations" @default.
- W66165090 hasPublicationYear "1999" @default.
- W66165090 type Work @default.
- W66165090 sameAs 66165090 @default.
- W66165090 citedByCount "3" @default.
- W66165090 countsByYear W661650902013 @default.
- W66165090 crossrefType "journal-article" @default.
- W66165090 hasAuthorship W66165090A5048769034 @default.
- W66165090 hasAuthorship W66165090A5049355570 @default.
- W66165090 hasConcept C111472728 @default.
- W66165090 hasConcept C118615104 @default.
- W66165090 hasConcept C136119220 @default.
- W66165090 hasConcept C138885662 @default.
- W66165090 hasConcept C154945302 @default.
- W66165090 hasConcept C199343813 @default.
- W66165090 hasConcept C202444582 @default.
- W66165090 hasConcept C206880738 @default.
- W66165090 hasConcept C21563000 @default.
- W66165090 hasConcept C2776214188 @default.
- W66165090 hasConcept C2777686260 @default.
- W66165090 hasConcept C2778698498 @default.
- W66165090 hasConcept C33923547 @default.
- W66165090 hasConcept C41008148 @default.
- W66165090 hasConcept C71924100 @default.
- W66165090 hasConcept C80444323 @default.
- W66165090 hasConceptScore W66165090C111472728 @default.
- W66165090 hasConceptScore W66165090C118615104 @default.
- W66165090 hasConceptScore W66165090C136119220 @default.
- W66165090 hasConceptScore W66165090C138885662 @default.
- W66165090 hasConceptScore W66165090C154945302 @default.
- W66165090 hasConceptScore W66165090C199343813 @default.
- W66165090 hasConceptScore W66165090C202444582 @default.
- W66165090 hasConceptScore W66165090C206880738 @default.
- W66165090 hasConceptScore W66165090C21563000 @default.
- W66165090 hasConceptScore W66165090C2776214188 @default.
- W66165090 hasConceptScore W66165090C2777686260 @default.
- W66165090 hasConceptScore W66165090C2778698498 @default.
- W66165090 hasConceptScore W66165090C33923547 @default.
- W66165090 hasConceptScore W66165090C41008148 @default.
- W66165090 hasConceptScore W66165090C71924100 @default.
- W66165090 hasConceptScore W66165090C80444323 @default.
- W66165090 hasLocation W661650901 @default.
- W66165090 hasOpenAccess W66165090 @default.
- W66165090 hasPrimaryLocation W661650901 @default.
- W66165090 hasRelatedWork W1496894182 @default.
- W66165090 hasRelatedWork W1498428138 @default.
- W66165090 hasRelatedWork W1516091542 @default.
- W66165090 hasRelatedWork W1525483008 @default.
- W66165090 hasRelatedWork W1530441764 @default.
- W66165090 hasRelatedWork W1562946501 @default.
- W66165090 hasRelatedWork W1752849388 @default.
- W66165090 hasRelatedWork W1966647497 @default.
- W66165090 hasRelatedWork W1967592514 @default.
- W66165090 hasRelatedWork W2040884237 @default.
- W66165090 hasRelatedWork W2075268055 @default.
- W66165090 hasRelatedWork W2088350978 @default.
- W66165090 hasRelatedWork W2115592109 @default.
- W66165090 hasRelatedWork W2147993379 @default.
- W66165090 hasRelatedWork W2162926940 @default.
- W66165090 hasRelatedWork W287250049 @default.
- W66165090 hasRelatedWork W2933424387 @default.
- W66165090 hasRelatedWork W83406561 @default.
- W66165090 hasRelatedWork W94570535 @default.
- W66165090 hasRelatedWork W2134764148 @default.
- W66165090 isParatext "false" @default.
- W66165090 isRetracted "false" @default.
- W66165090 magId "66165090" @default.
- W66165090 workType "article" @default.