Matches in SemOpenAlex for { <https://semopenalex.org/work/W1488396078> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1488396078 endingPage "230" @default.
- W1488396078 startingPage "217" @default.
- W1488396078 created "2016-06-24" @default.
- W1488396078 creator A5046244008 @default.
- W1488396078 date "2010-01-01" @default.
- W1488396078 modified "2023-09-27" @default.
- W1488396078 title "Automatic Verification for a Class of Proof Obligations with SMT-Solvers" @default.
- W1488396078 cites W1500991862 @default.
- W1488396078 cites W1522613702 @default.
- W1488396078 cites W1535925611 @default.
- W1488396078 cites W2133944737 @default.
- W1488396078 cites W2164778826 @default.
- W1488396078 doi "https://doi.org/10.1007/978-3-642-11811-1_17" @default.
- W1488396078 hasPublicationYear "2010" @default.
- W1488396078 type Work @default.
- W1488396078 sameAs 1488396078 @default.
- W1488396078 citedByCount "7" @default.
- W1488396078 countsByYear W14883960782012 @default.
- W1488396078 countsByYear W14883960782013 @default.
- W1488396078 countsByYear W14883960782014 @default.
- W1488396078 countsByYear W14883960782016 @default.
- W1488396078 countsByYear W14883960782022 @default.
- W1488396078 crossrefType "book-chapter" @default.
- W1488396078 hasAuthorship W1488396078A5046244008 @default.
- W1488396078 hasConcept C105605280 @default.
- W1488396078 hasConcept C108710211 @default.
- W1488396078 hasConcept C11413529 @default.
- W1488396078 hasConcept C115901376 @default.
- W1488396078 hasConcept C127413603 @default.
- W1488396078 hasConcept C13766981 @default.
- W1488396078 hasConcept C154945302 @default.
- W1488396078 hasConcept C199360897 @default.
- W1488396078 hasConcept C203265346 @default.
- W1488396078 hasConcept C206880738 @default.
- W1488396078 hasConcept C2524010 @default.
- W1488396078 hasConcept C2777212361 @default.
- W1488396078 hasConcept C2777904410 @default.
- W1488396078 hasConcept C33923547 @default.
- W1488396078 hasConcept C41008148 @default.
- W1488396078 hasConcept C78519656 @default.
- W1488396078 hasConcept C80444323 @default.
- W1488396078 hasConcept C94461902 @default.
- W1488396078 hasConceptScore W1488396078C105605280 @default.
- W1488396078 hasConceptScore W1488396078C108710211 @default.
- W1488396078 hasConceptScore W1488396078C11413529 @default.
- W1488396078 hasConceptScore W1488396078C115901376 @default.
- W1488396078 hasConceptScore W1488396078C127413603 @default.
- W1488396078 hasConceptScore W1488396078C13766981 @default.
- W1488396078 hasConceptScore W1488396078C154945302 @default.
- W1488396078 hasConceptScore W1488396078C199360897 @default.
- W1488396078 hasConceptScore W1488396078C203265346 @default.
- W1488396078 hasConceptScore W1488396078C206880738 @default.
- W1488396078 hasConceptScore W1488396078C2524010 @default.
- W1488396078 hasConceptScore W1488396078C2777212361 @default.
- W1488396078 hasConceptScore W1488396078C2777904410 @default.
- W1488396078 hasConceptScore W1488396078C33923547 @default.
- W1488396078 hasConceptScore W1488396078C41008148 @default.
- W1488396078 hasConceptScore W1488396078C78519656 @default.
- W1488396078 hasConceptScore W1488396078C80444323 @default.
- W1488396078 hasConceptScore W1488396078C94461902 @default.
- W1488396078 hasLocation W14883960781 @default.
- W1488396078 hasOpenAccess W1488396078 @default.
- W1488396078 hasPrimaryLocation W14883960781 @default.
- W1488396078 hasRelatedWork W1515562936 @default.
- W1488396078 hasRelatedWork W1520408004 @default.
- W1488396078 hasRelatedWork W2230407200 @default.
- W1488396078 hasRelatedWork W2735509904 @default.
- W1488396078 hasRelatedWork W3026697850 @default.
- W1488396078 hasRelatedWork W3080745458 @default.
- W1488396078 hasRelatedWork W3099329863 @default.
- W1488396078 hasRelatedWork W3100311625 @default.
- W1488396078 hasRelatedWork W4295798319 @default.
- W1488396078 hasRelatedWork W787793384 @default.
- W1488396078 isParatext "false" @default.
- W1488396078 isRetracted "false" @default.
- W1488396078 magId "1488396078" @default.
- W1488396078 workType "book-chapter" @default.