Matches in SemOpenAlex for { <https://semopenalex.org/work/W2084294613> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2084294613 endingPage "121" @default.
- W2084294613 startingPage "101" @default.
- W2084294613 abstract "We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem prover based on this method. The prover has been used for predicate refinement in the BLAST software model checker, and can also be used directly for model checking infinite-state systems, using interpolation-based image approximation." @default.
- W2084294613 created "2016-06-24" @default.
- W2084294613 creator A5047507250 @default.
- W2084294613 date "2005-11-01" @default.
- W2084294613 modified "2023-10-17" @default.
- W2084294613 title "An interpolating theorem prover" @default.
- W2084294613 cites W1510368738 @default.
- W2084294613 cites W1601517679 @default.
- W2084294613 cites W1834186039 @default.
- W2084294613 cites W1836483134 @default.
- W2084294613 cites W1999997889 @default.
- W2084294613 cites W2044095368 @default.
- W2084294613 cites W2044632231 @default.
- W2084294613 cites W2114633883 @default.
- W2084294613 cites W2142785340 @default.
- W2084294613 cites W2164778826 @default.
- W2084294613 cites W4212792638 @default.
- W2084294613 cites W4229840182 @default.
- W2084294613 doi "https://doi.org/10.1016/j.tcs.2005.07.003" @default.
- W2084294613 hasPublicationYear "2005" @default.
- W2084294613 type Work @default.
- W2084294613 sameAs 2084294613 @default.
- W2084294613 citedByCount "235" @default.
- W2084294613 countsByYear W20842946132012 @default.
- W2084294613 countsByYear W20842946132013 @default.
- W2084294613 countsByYear W20842946132014 @default.
- W2084294613 countsByYear W20842946132015 @default.
- W2084294613 countsByYear W20842946132016 @default.
- W2084294613 countsByYear W20842946132017 @default.
- W2084294613 countsByYear W20842946132018 @default.
- W2084294613 countsByYear W20842946132019 @default.
- W2084294613 countsByYear W20842946132020 @default.
- W2084294613 countsByYear W20842946132021 @default.
- W2084294613 countsByYear W20842946132022 @default.
- W2084294613 countsByYear W20842946132023 @default.
- W2084294613 crossrefType "journal-article" @default.
- W2084294613 hasAuthorship W2084294613A5047507250 @default.
- W2084294613 hasConcept C108710211 @default.
- W2084294613 hasConcept C110251889 @default.
- W2084294613 hasConcept C11413529 @default.
- W2084294613 hasConcept C115961682 @default.
- W2084294613 hasConcept C118615104 @default.
- W2084294613 hasConcept C136119220 @default.
- W2084294613 hasConcept C13766981 @default.
- W2084294613 hasConcept C137800194 @default.
- W2084294613 hasConcept C154945302 @default.
- W2084294613 hasConcept C159718280 @default.
- W2084294613 hasConcept C199343813 @default.
- W2084294613 hasConcept C199360897 @default.
- W2084294613 hasConcept C202444582 @default.
- W2084294613 hasConcept C206880738 @default.
- W2084294613 hasConcept C2524010 @default.
- W2084294613 hasConcept C2777686260 @default.
- W2084294613 hasConcept C32278780 @default.
- W2084294613 hasConcept C33923547 @default.
- W2084294613 hasConcept C41008148 @default.
- W2084294613 hasConcept C71924100 @default.
- W2084294613 hasConceptScore W2084294613C108710211 @default.
- W2084294613 hasConceptScore W2084294613C110251889 @default.
- W2084294613 hasConceptScore W2084294613C11413529 @default.
- W2084294613 hasConceptScore W2084294613C115961682 @default.
- W2084294613 hasConceptScore W2084294613C118615104 @default.
- W2084294613 hasConceptScore W2084294613C136119220 @default.
- W2084294613 hasConceptScore W2084294613C13766981 @default.
- W2084294613 hasConceptScore W2084294613C137800194 @default.
- W2084294613 hasConceptScore W2084294613C154945302 @default.
- W2084294613 hasConceptScore W2084294613C159718280 @default.
- W2084294613 hasConceptScore W2084294613C199343813 @default.
- W2084294613 hasConceptScore W2084294613C199360897 @default.
- W2084294613 hasConceptScore W2084294613C202444582 @default.
- W2084294613 hasConceptScore W2084294613C206880738 @default.
- W2084294613 hasConceptScore W2084294613C2524010 @default.
- W2084294613 hasConceptScore W2084294613C2777686260 @default.
- W2084294613 hasConceptScore W2084294613C32278780 @default.
- W2084294613 hasConceptScore W2084294613C33923547 @default.
- W2084294613 hasConceptScore W2084294613C41008148 @default.
- W2084294613 hasConceptScore W2084294613C71924100 @default.
- W2084294613 hasIssue "1" @default.
- W2084294613 hasLocation W20842946131 @default.
- W2084294613 hasOpenAccess W2084294613 @default.
- W2084294613 hasPrimaryLocation W20842946131 @default.
- W2084294613 hasRelatedWork W1479802113 @default.
- W2084294613 hasRelatedWork W1515169568 @default.
- W2084294613 hasRelatedWork W1590308900 @default.
- W2084294613 hasRelatedWork W1854326666 @default.
- W2084294613 hasRelatedWork W2124145386 @default.
- W2084294613 hasRelatedWork W2160478595 @default.
- W2084294613 hasRelatedWork W3006309658 @default.
- W2084294613 hasRelatedWork W3100311625 @default.
- W2084294613 hasRelatedWork W33425727 @default.
- W2084294613 hasRelatedWork W787793384 @default.
- W2084294613 hasVolume "345" @default.
- W2084294613 isParatext "false" @default.
- W2084294613 isRetracted "false" @default.
- W2084294613 magId "2084294613" @default.
- W2084294613 workType "article" @default.