Matches in SemOpenAlex for { <https://semopenalex.org/work/W2749302087> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2749302087 endingPage "188" @default.
- W2749302087 startingPage "172" @default.
- W2749302087 abstract "Superposition-based provers have been successfully used to discharge proof obligations stemming from proof assistants. However, many such obligations require induction to be proved. We present a new extension of typed superposition that can perform structural induction. Several inductive goals can be attempted within a single saturation loop, by leveraging $$text {AVATAR}$$ [1]. Lemmas obtained by generalization or theory exploration can be introduced during search, used, and proved, all in the same search space. We describe an implementation and present some promising results." @default.
- W2749302087 created "2017-08-31" @default.
- W2749302087 creator A5091055281 @default.
- W2749302087 date "2017-01-01" @default.
- W2749302087 modified "2023-10-10" @default.
- W2749302087 title "Superposition with Structural Induction" @default.
- W2749302087 cites W123460044 @default.
- W2749302087 cites W1441804354 @default.
- W2749302087 cites W1479669713 @default.
- W2749302087 cites W1480909796 @default.
- W2749302087 cites W1481689110 @default.
- W2749302087 cites W1496681334 @default.
- W2749302087 cites W1505627668 @default.
- W2749302087 cites W1573992413 @default.
- W2749302087 cites W1579647526 @default.
- W2749302087 cites W1856554806 @default.
- W2749302087 cites W1903118409 @default.
- W2749302087 cites W1968191809 @default.
- W2749302087 cites W2014136929 @default.
- W2749302087 cites W2031766132 @default.
- W2749302087 cites W2087028873 @default.
- W2749302087 cites W2109261022 @default.
- W2749302087 cites W2119717320 @default.
- W2749302087 cites W2156433885 @default.
- W2749302087 cites W2221495694 @default.
- W2749302087 cites W2563639488 @default.
- W2749302087 cites W29242681 @default.
- W2749302087 cites W3005608680 @default.
- W2749302087 cites W3098994860 @default.
- W2749302087 cites W4253073838 @default.
- W2749302087 cites W85997518 @default.
- W2749302087 doi "https://doi.org/10.1007/978-3-319-66167-4_10" @default.
- W2749302087 hasPublicationYear "2017" @default.
- W2749302087 type Work @default.
- W2749302087 sameAs 2749302087 @default.
- W2749302087 citedByCount "34" @default.
- W2749302087 countsByYear W27493020872018 @default.
- W2749302087 countsByYear W27493020872019 @default.
- W2749302087 countsByYear W27493020872020 @default.
- W2749302087 countsByYear W27493020872021 @default.
- W2749302087 countsByYear W27493020872022 @default.
- W2749302087 crossrefType "book-chapter" @default.
- W2749302087 hasAuthorship W2749302087A5091055281 @default.
- W2749302087 hasBestOaLocation W27493020872 @default.
- W2749302087 hasConcept C107457646 @default.
- W2749302087 hasConcept C111919701 @default.
- W2749302087 hasConcept C11413529 @default.
- W2749302087 hasConcept C134306372 @default.
- W2749302087 hasConcept C177148314 @default.
- W2749302087 hasConcept C27753989 @default.
- W2749302087 hasConcept C2777365542 @default.
- W2749302087 hasConcept C2778572836 @default.
- W2749302087 hasConcept C33923547 @default.
- W2749302087 hasConcept C41008148 @default.
- W2749302087 hasConcept C80444323 @default.
- W2749302087 hasConceptScore W2749302087C107457646 @default.
- W2749302087 hasConceptScore W2749302087C111919701 @default.
- W2749302087 hasConceptScore W2749302087C11413529 @default.
- W2749302087 hasConceptScore W2749302087C134306372 @default.
- W2749302087 hasConceptScore W2749302087C177148314 @default.
- W2749302087 hasConceptScore W2749302087C27753989 @default.
- W2749302087 hasConceptScore W2749302087C2777365542 @default.
- W2749302087 hasConceptScore W2749302087C2778572836 @default.
- W2749302087 hasConceptScore W2749302087C33923547 @default.
- W2749302087 hasConceptScore W2749302087C41008148 @default.
- W2749302087 hasConceptScore W2749302087C80444323 @default.
- W2749302087 hasLocation W27493020871 @default.
- W2749302087 hasLocation W27493020872 @default.
- W2749302087 hasLocation W27493020873 @default.
- W2749302087 hasLocation W27493020874 @default.
- W2749302087 hasOpenAccess W2749302087 @default.
- W2749302087 hasPrimaryLocation W27493020871 @default.
- W2749302087 hasRelatedWork W1557424934 @default.
- W2749302087 hasRelatedWork W2055469518 @default.
- W2749302087 hasRelatedWork W2242189949 @default.
- W2749302087 hasRelatedWork W2367403465 @default.
- W2749302087 hasRelatedWork W2386767533 @default.
- W2749302087 hasRelatedWork W2749302087 @default.
- W2749302087 hasRelatedWork W2885094885 @default.
- W2749302087 hasRelatedWork W4205890900 @default.
- W2749302087 hasRelatedWork W4213084804 @default.
- W2749302087 hasRelatedWork W4226413870 @default.
- W2749302087 isParatext "false" @default.
- W2749302087 isRetracted "false" @default.
- W2749302087 magId "2749302087" @default.
- W2749302087 workType "book-chapter" @default.