Matches in SemOpenAlex for { <https://semopenalex.org/work/W3033597929> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W3033597929 created "2020-06-12" @default.
- W3033597929 creator A5009563242 @default.
- W3033597929 creator A5015261029 @default.
- W3033597929 creator A5031215251 @default.
- W3033597929 creator A5039107980 @default.
- W3033597929 date "2018-07-20" @default.
- W3033597929 modified "2023-10-14" @default.
- W3033597929 title "Coq proofs for" @default.
- W3033597929 doi "https://doi.org/10.1145/3235042" @default.
- W3033597929 hasPublicationYear "2018" @default.
- W3033597929 type Work @default.
- W3033597929 sameAs 3033597929 @default.
- W3033597929 citedByCount "0" @default.
- W3033597929 crossrefType "dataset" @default.
- W3033597929 hasAuthorship W3033597929A5009563242 @default.
- W3033597929 hasAuthorship W3033597929A5015261029 @default.
- W3033597929 hasAuthorship W3033597929A5031215251 @default.
- W3033597929 hasAuthorship W3033597929A5039107980 @default.
- W3033597929 hasConcept C108710211 @default.
- W3033597929 hasConcept C199343813 @default.
- W3033597929 hasConcept C199360897 @default.
- W3033597929 hasConcept C2524010 @default.
- W3033597929 hasConcept C2777686260 @default.
- W3033597929 hasConcept C33923547 @default.
- W3033597929 hasConcept C41008148 @default.
- W3033597929 hasConcept C71924100 @default.
- W3033597929 hasConceptScore W3033597929C108710211 @default.
- W3033597929 hasConceptScore W3033597929C199343813 @default.
- W3033597929 hasConceptScore W3033597929C199360897 @default.
- W3033597929 hasConceptScore W3033597929C2524010 @default.
- W3033597929 hasConceptScore W3033597929C2777686260 @default.
- W3033597929 hasConceptScore W3033597929C33923547 @default.
- W3033597929 hasConceptScore W3033597929C41008148 @default.
- W3033597929 hasConceptScore W3033597929C71924100 @default.
- W3033597929 hasLocation W30335979291 @default.
- W3033597929 hasOpenAccess W3033597929 @default.
- W3033597929 hasPrimaryLocation W30335979291 @default.
- W3033597929 hasRelatedWork W1491178082 @default.
- W3033597929 hasRelatedWork W1492993410 @default.
- W3033597929 hasRelatedWork W2114041888 @default.
- W3033597929 hasRelatedWork W2162208777 @default.
- W3033597929 hasRelatedWork W2167433695 @default.
- W3033597929 hasRelatedWork W2811265870 @default.
- W3033597929 hasRelatedWork W3023774131 @default.
- W3033597929 hasRelatedWork W3201421333 @default.
- W3033597929 hasRelatedWork W90993393 @default.
- W3033597929 hasRelatedWork W2584847921 @default.
- W3033597929 isParatext "false" @default.
- W3033597929 isRetracted "false" @default.
- W3033597929 magId "3033597929" @default.
- W3033597929 workType "dataset" @default.