Matches in SemOpenAlex for { <https://semopenalex.org/work/W55003788> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W55003788 endingPage "215" @default.
- W55003788 startingPage "200" @default.
- W55003788 created "2016-06-24" @default.
- W55003788 creator A5034271146 @default.
- W55003788 creator A5057485552 @default.
- W55003788 creator A5063746909 @default.
- W55003788 creator A5081352175 @default.
- W55003788 date "2011-01-01" @default.
- W55003788 modified "2023-10-03" @default.
- W55003788 title "Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials" @default.
- W55003788 cites W1605757265 @default.
- W55003788 cites W1847528365 @default.
- W55003788 cites W1992656112 @default.
- W55003788 cites W2004470082 @default.
- W55003788 cites W4235731883 @default.
- W55003788 doi "https://doi.org/10.1007/978-3-642-22863-6_16" @default.
- W55003788 hasPublicationYear "2011" @default.
- W55003788 type Work @default.
- W55003788 sameAs 55003788 @default.
- W55003788 citedByCount "4" @default.
- W55003788 countsByYear W550037882012 @default.
- W55003788 countsByYear W550037882013 @default.
- W55003788 crossrefType "book-chapter" @default.
- W55003788 hasAuthorship W55003788A5034271146 @default.
- W55003788 hasAuthorship W55003788A5057485552 @default.
- W55003788 hasAuthorship W55003788A5063746909 @default.
- W55003788 hasAuthorship W55003788A5081352175 @default.
- W55003788 hasConcept C11413529 @default.
- W55003788 hasConcept C118615104 @default.
- W55003788 hasConcept C134306372 @default.
- W55003788 hasConcept C136119220 @default.
- W55003788 hasConcept C136886441 @default.
- W55003788 hasConcept C144024400 @default.
- W55003788 hasConcept C155366967 @default.
- W55003788 hasConcept C187929450 @default.
- W55003788 hasConcept C19165224 @default.
- W55003788 hasConcept C202444582 @default.
- W55003788 hasConcept C206880738 @default.
- W55003788 hasConcept C2780069185 @default.
- W55003788 hasConcept C33923547 @default.
- W55003788 hasConcept C41008148 @default.
- W55003788 hasConcept C55439883 @default.
- W55003788 hasConcept C5961521 @default.
- W55003788 hasConcept C79236096 @default.
- W55003788 hasConcept C80444323 @default.
- W55003788 hasConcept C9376300 @default.
- W55003788 hasConceptScore W55003788C11413529 @default.
- W55003788 hasConceptScore W55003788C118615104 @default.
- W55003788 hasConceptScore W55003788C134306372 @default.
- W55003788 hasConceptScore W55003788C136119220 @default.
- W55003788 hasConceptScore W55003788C136886441 @default.
- W55003788 hasConceptScore W55003788C144024400 @default.
- W55003788 hasConceptScore W55003788C155366967 @default.
- W55003788 hasConceptScore W55003788C187929450 @default.
- W55003788 hasConceptScore W55003788C19165224 @default.
- W55003788 hasConceptScore W55003788C202444582 @default.
- W55003788 hasConceptScore W55003788C206880738 @default.
- W55003788 hasConceptScore W55003788C2780069185 @default.
- W55003788 hasConceptScore W55003788C33923547 @default.
- W55003788 hasConceptScore W55003788C41008148 @default.
- W55003788 hasConceptScore W55003788C55439883 @default.
- W55003788 hasConceptScore W55003788C5961521 @default.
- W55003788 hasConceptScore W55003788C79236096 @default.
- W55003788 hasConceptScore W55003788C80444323 @default.
- W55003788 hasConceptScore W55003788C9376300 @default.
- W55003788 hasLocation W550037881 @default.
- W55003788 hasOpenAccess W55003788 @default.
- W55003788 hasPrimaryLocation W550037881 @default.
- W55003788 hasRelatedWork W2023148381 @default.
- W55003788 hasRelatedWork W2071305116 @default.
- W55003788 hasRelatedWork W2078203650 @default.
- W55003788 hasRelatedWork W2105537516 @default.
- W55003788 hasRelatedWork W2598706666 @default.
- W55003788 hasRelatedWork W2949997187 @default.
- W55003788 hasRelatedWork W2950043682 @default.
- W55003788 hasRelatedWork W3164538433 @default.
- W55003788 hasRelatedWork W4294113542 @default.
- W55003788 hasRelatedWork W4302438595 @default.
- W55003788 isParatext "false" @default.
- W55003788 isRetracted "false" @default.
- W55003788 magId "55003788" @default.
- W55003788 workType "book-chapter" @default.