Matches in SemOpenAlex for { <https://semopenalex.org/work/W76651218> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W76651218 endingPage "184" @default.
- W76651218 startingPage "171" @default.
- W76651218 created "2016-06-24" @default.
- W76651218 creator A5030511026 @default.
- W76651218 creator A5045420880 @default.
- W76651218 creator A5056038407 @default.
- W76651218 creator A5063746909 @default.
- W76651218 date "2004-01-01" @default.
- W76651218 modified "2023-10-16" @default.
- W76651218 title "Verified Computer Algebra in Acl2" @default.
- W76651218 cites W1520018990 @default.
- W76651218 cites W1536888784 @default.
- W76651218 cites W1588366745 @default.
- W76651218 cites W1968315351 @default.
- W76651218 cites W1971479478 @default.
- W76651218 cites W2007116092 @default.
- W76651218 cites W4230919050 @default.
- W76651218 cites W565004971 @default.
- W76651218 doi "https://doi.org/10.1007/978-3-540-30210-0_15" @default.
- W76651218 hasPublicationYear "2004" @default.
- W76651218 type Work @default.
- W76651218 sameAs 76651218 @default.
- W76651218 citedByCount "4" @default.
- W76651218 crossrefType "book-chapter" @default.
- W76651218 hasAuthorship W76651218A5030511026 @default.
- W76651218 hasAuthorship W76651218A5045420880 @default.
- W76651218 hasAuthorship W76651218A5056038407 @default.
- W76651218 hasAuthorship W76651218A5063746909 @default.
- W76651218 hasConcept C110812573 @default.
- W76651218 hasConcept C134306372 @default.
- W76651218 hasConcept C136119220 @default.
- W76651218 hasConcept C160145156 @default.
- W76651218 hasConcept C190883126 @default.
- W76651218 hasConcept C199360897 @default.
- W76651218 hasConcept C202444582 @default.
- W76651218 hasConcept C2779353305 @default.
- W76651218 hasConcept C33923547 @default.
- W76651218 hasConcept C41008148 @default.
- W76651218 hasConcept C80444323 @default.
- W76651218 hasConceptScore W76651218C110812573 @default.
- W76651218 hasConceptScore W76651218C134306372 @default.
- W76651218 hasConceptScore W76651218C136119220 @default.
- W76651218 hasConceptScore W76651218C160145156 @default.
- W76651218 hasConceptScore W76651218C190883126 @default.
- W76651218 hasConceptScore W76651218C199360897 @default.
- W76651218 hasConceptScore W76651218C202444582 @default.
- W76651218 hasConceptScore W76651218C2779353305 @default.
- W76651218 hasConceptScore W76651218C33923547 @default.
- W76651218 hasConceptScore W76651218C41008148 @default.
- W76651218 hasConceptScore W76651218C80444323 @default.
- W76651218 hasLocation W766512181 @default.
- W76651218 hasOpenAccess W76651218 @default.
- W76651218 hasPrimaryLocation W766512181 @default.
- W76651218 hasRelatedWork W186373317 @default.
- W76651218 hasRelatedWork W194838371 @default.
- W76651218 hasRelatedWork W1991071343 @default.
- W76651218 hasRelatedWork W2010312024 @default.
- W76651218 hasRelatedWork W2128326344 @default.
- W76651218 hasRelatedWork W2738250653 @default.
- W76651218 hasRelatedWork W2765998 @default.
- W76651218 hasRelatedWork W290198760 @default.
- W76651218 hasRelatedWork W3082759807 @default.
- W76651218 hasRelatedWork W4206253317 @default.
- W76651218 isParatext "false" @default.
- W76651218 isRetracted "false" @default.
- W76651218 magId "76651218" @default.
- W76651218 workType "book-chapter" @default.