Matches in SemOpenAlex for { <https://semopenalex.org/work/W3166201525> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W3166201525 endingPage "377" @default.
- W3166201525 startingPage "361" @default.
- W3166201525 abstract "Abstract Integers are ubiquitous in programming and therefore also in applications of program analysis and verification. Such applications often require some sort of inductive reasoning. In this paper we analyze the challenge of automating inductive reasoning with integers. We introduce inference rules for integer induction within the saturation framework of first-order theorem proving. We implemented these rules in the theorem prover Vampire and evaluated our work against other state-of-the-art theorem provers. Our results demonstrate the strength of our approach by solving new problems coming from program analysis and mathematical properties of integers." @default.
- W3166201525 created "2021-06-22" @default.
- W3166201525 creator A5000381423 @default.
- W3166201525 creator A5054629753 @default.
- W3166201525 creator A5071158512 @default.
- W3166201525 date "2021-01-01" @default.
- W3166201525 modified "2023-10-10" @default.
- W3166201525 title "Integer Induction in Saturation" @default.
- W3166201525 cites W123460044 @default.
- W3166201525 cites W1480909796 @default.
- W3166201525 cites W1571277216 @default.
- W3166201525 cites W174956004 @default.
- W3166201525 cites W1781094 @default.
- W3166201525 cites W1856554806 @default.
- W3166201525 cites W2109261022 @default.
- W3166201525 cites W2221495694 @default.
- W3166201525 cites W2749302087 @default.
- W3166201525 cites W2921114217 @default.
- W3166201525 cites W2953092756 @default.
- W3166201525 cites W2960656136 @default.
- W3166201525 cites W3001530932 @default.
- W3166201525 cites W3039412221 @default.
- W3166201525 cites W3121698627 @default.
- W3166201525 cites W3131612531 @default.
- W3166201525 cites W4246691913 @default.
- W3166201525 cites W4300934094 @default.
- W3166201525 doi "https://doi.org/10.1007/978-3-030-79876-5_21" @default.
- W3166201525 hasPublicationYear "2021" @default.
- W3166201525 type Work @default.
- W3166201525 sameAs 3166201525 @default.
- W3166201525 citedByCount "3" @default.
- W3166201525 countsByYear W31662015252021 @default.
- W3166201525 countsByYear W31662015252022 @default.
- W3166201525 crossrefType "book-chapter" @default.
- W3166201525 hasAuthorship W3166201525A5000381423 @default.
- W3166201525 hasAuthorship W3166201525A5054629753 @default.
- W3166201525 hasAuthorship W3166201525A5071158512 @default.
- W3166201525 hasBestOaLocation W31662015251 @default.
- W3166201525 hasConcept C11413529 @default.
- W3166201525 hasConcept C118615104 @default.
- W3166201525 hasConcept C154945302 @default.
- W3166201525 hasConcept C199360897 @default.
- W3166201525 hasConcept C206743973 @default.
- W3166201525 hasConcept C206880738 @default.
- W3166201525 hasConcept C21563000 @default.
- W3166201525 hasConcept C2524010 @default.
- W3166201525 hasConcept C2776214188 @default.
- W3166201525 hasConcept C2776562800 @default.
- W3166201525 hasConcept C33923547 @default.
- W3166201525 hasConcept C3746660 @default.
- W3166201525 hasConcept C41008148 @default.
- W3166201525 hasConcept C56086750 @default.
- W3166201525 hasConcept C80444323 @default.
- W3166201525 hasConcept C88548561 @default.
- W3166201525 hasConcept C94375191 @default.
- W3166201525 hasConcept C97137487 @default.
- W3166201525 hasConceptScore W3166201525C11413529 @default.
- W3166201525 hasConceptScore W3166201525C118615104 @default.
- W3166201525 hasConceptScore W3166201525C154945302 @default.
- W3166201525 hasConceptScore W3166201525C199360897 @default.
- W3166201525 hasConceptScore W3166201525C206743973 @default.
- W3166201525 hasConceptScore W3166201525C206880738 @default.
- W3166201525 hasConceptScore W3166201525C21563000 @default.
- W3166201525 hasConceptScore W3166201525C2524010 @default.
- W3166201525 hasConceptScore W3166201525C2776214188 @default.
- W3166201525 hasConceptScore W3166201525C2776562800 @default.
- W3166201525 hasConceptScore W3166201525C33923547 @default.
- W3166201525 hasConceptScore W3166201525C3746660 @default.
- W3166201525 hasConceptScore W3166201525C41008148 @default.
- W3166201525 hasConceptScore W3166201525C56086750 @default.
- W3166201525 hasConceptScore W3166201525C80444323 @default.
- W3166201525 hasConceptScore W3166201525C88548561 @default.
- W3166201525 hasConceptScore W3166201525C94375191 @default.
- W3166201525 hasConceptScore W3166201525C97137487 @default.
- W3166201525 hasLocation W31662015251 @default.
- W3166201525 hasLocation W31662015252 @default.
- W3166201525 hasOpenAccess W3166201525 @default.
- W3166201525 hasPrimaryLocation W31662015251 @default.
- W3166201525 hasRelatedWork W1553145570 @default.
- W3166201525 hasRelatedWork W171365577 @default.
- W3166201525 hasRelatedWork W2009856409 @default.
- W3166201525 hasRelatedWork W2172284483 @default.
- W3166201525 hasRelatedWork W2945694234 @default.
- W3166201525 hasRelatedWork W2965215954 @default.
- W3166201525 hasRelatedWork W3166201525 @default.
- W3166201525 hasRelatedWork W4286749359 @default.
- W3166201525 hasRelatedWork W4312593791 @default.
- W3166201525 hasRelatedWork W2120869910 @default.
- W3166201525 isParatext "false" @default.
- W3166201525 isRetracted "false" @default.
- W3166201525 magId "3166201525" @default.
- W3166201525 workType "book-chapter" @default.