Matches in SemOpenAlex for { <https://semopenalex.org/work/W2242850862> ?p ?o ?g. }
Showing items 1 to 42 of
42
with 100 items per page.
- W2242850862 endingPage "106" @default.
- W2242850862 startingPage "103" @default.
- W2242850862 created "2016-06-24" @default.
- W2242850862 creator A5029577856 @default.
- W2242850862 creator A5037086184 @default.
- W2242850862 date "2012-01-01" @default.
- W2242850862 modified "2023-09-27" @default.
- W2242850862 title "An ACL2 formalization of algebraic structures" @default.
- W2242850862 hasPublicationYear "2012" @default.
- W2242850862 type Work @default.
- W2242850862 sameAs 2242850862 @default.
- W2242850862 citedByCount "0" @default.
- W2242850862 crossrefType "journal-article" @default.
- W2242850862 hasAuthorship W2242850862A5029577856 @default.
- W2242850862 hasAuthorship W2242850862A5037086184 @default.
- W2242850862 hasConcept C134306372 @default.
- W2242850862 hasConcept C136119220 @default.
- W2242850862 hasConcept C199343813 @default.
- W2242850862 hasConcept C202444582 @default.
- W2242850862 hasConcept C2777686260 @default.
- W2242850862 hasConcept C33923547 @default.
- W2242850862 hasConcept C41008148 @default.
- W2242850862 hasConcept C71924100 @default.
- W2242850862 hasConcept C9376300 @default.
- W2242850862 hasConceptScore W2242850862C134306372 @default.
- W2242850862 hasConceptScore W2242850862C136119220 @default.
- W2242850862 hasConceptScore W2242850862C199343813 @default.
- W2242850862 hasConceptScore W2242850862C202444582 @default.
- W2242850862 hasConceptScore W2242850862C2777686260 @default.
- W2242850862 hasConceptScore W2242850862C33923547 @default.
- W2242850862 hasConceptScore W2242850862C41008148 @default.
- W2242850862 hasConceptScore W2242850862C71924100 @default.
- W2242850862 hasConceptScore W2242850862C9376300 @default.
- W2242850862 hasLocation W22428508621 @default.
- W2242850862 hasOpenAccess W2242850862 @default.
- W2242850862 hasPrimaryLocation W22428508621 @default.
- W2242850862 hasRelatedWork W1574574394 @default.
- W2242850862 hasRelatedWork W2797141747 @default.
- W2242850862 isParatext "false" @default.
- W2242850862 isRetracted "false" @default.
- W2242850862 magId "2242850862" @default.
- W2242850862 workType "article" @default.