Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300341007> ?p ?o ?g. }
Showing items 1 to 33 of
33
with 100 items per page.
- W4300341007 created "2022-10-03" @default.
- W4300341007 creator A5055058246 @default.
- W4300341007 date "2016-10-19" @default.
- W4300341007 modified "2023-10-14" @default.
- W4300341007 title "SerAPI: Machine-Friendly, Data-Centric Serialization for COQ" @default.
- W4300341007 hasPublicationYear "2016" @default.
- W4300341007 type Work @default.
- W4300341007 citedByCount "0" @default.
- W4300341007 crossrefType "posted-content" @default.
- W4300341007 hasAuthorship W4300341007A5055058246 @default.
- W4300341007 hasBestOaLocation W43003410071 @default.
- W4300341007 hasConcept C111919701 @default.
- W4300341007 hasConcept C41008148 @default.
- W4300341007 hasConcept C52723943 @default.
- W4300341007 hasConceptScore W4300341007C111919701 @default.
- W4300341007 hasConceptScore W4300341007C41008148 @default.
- W4300341007 hasConceptScore W4300341007C52723943 @default.
- W4300341007 hasLocation W43003410071 @default.
- W4300341007 hasOpenAccess W4300341007 @default.
- W4300341007 hasPrimaryLocation W43003410071 @default.
- W4300341007 hasRelatedWork W1498400246 @default.
- W4300341007 hasRelatedWork W1543243188 @default.
- W4300341007 hasRelatedWork W2370259841 @default.
- W4300341007 hasRelatedWork W2382545918 @default.
- W4300341007 hasRelatedWork W2383748079 @default.
- W4300341007 hasRelatedWork W2385657694 @default.
- W4300341007 hasRelatedWork W2793194417 @default.
- W4300341007 hasRelatedWork W32572471 @default.
- W4300341007 hasRelatedWork W4232558479 @default.
- W4300341007 hasRelatedWork W71473119 @default.
- W4300341007 isParatext "false" @default.
- W4300341007 isRetracted "false" @default.
- W4300341007 workType "article" @default.