Matches in SemOpenAlex for { <https://semopenalex.org/work/W3204394239> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W3204394239 startingPage "6" @default.
- W3204394239 created "2021-10-11" @default.
- W3204394239 creator A5010440892 @default.
- W3204394239 creator A5025344654 @default.
- W3204394239 creator A5066502627 @default.
- W3204394239 creator A5078214635 @default.
- W3204394239 date "2021-01-01" @default.
- W3204394239 modified "2023-09-23" @default.
- W3204394239 title "Applied Deductive Verification (Dagstuhl Seminar 03451)" @default.
- W3204394239 doi "https://doi.org/10.4230/dagsemrep.401" @default.
- W3204394239 hasPublicationYear "2021" @default.
- W3204394239 type Work @default.
- W3204394239 sameAs 3204394239 @default.
- W3204394239 citedByCount "0" @default.
- W3204394239 crossrefType "journal-article" @default.
- W3204394239 hasAuthorship W3204394239A5010440892 @default.
- W3204394239 hasAuthorship W3204394239A5025344654 @default.
- W3204394239 hasAuthorship W3204394239A5066502627 @default.
- W3204394239 hasAuthorship W3204394239A5078214635 @default.
- W3204394239 hasConcept C199360897 @default.
- W3204394239 hasConcept C41008148 @default.
- W3204394239 hasConceptScore W3204394239C199360897 @default.
- W3204394239 hasConceptScore W3204394239C41008148 @default.
- W3204394239 hasLocation W32043942391 @default.
- W3204394239 hasOpenAccess W3204394239 @default.
- W3204394239 hasPrimaryLocation W32043942391 @default.
- W3204394239 hasRelatedWork W2397570509 @default.
- W3204394239 hasRelatedWork W2794677419 @default.
- W3204394239 hasRelatedWork W2919754477 @default.
- W3204394239 hasRelatedWork W2954358753 @default.
- W3204394239 hasRelatedWork W3013632122 @default.
- W3204394239 hasRelatedWork W3202530018 @default.
- W3204394239 hasRelatedWork W3202578910 @default.
- W3204394239 hasRelatedWork W3202907918 @default.
- W3204394239 hasRelatedWork W3203138560 @default.
- W3204394239 hasRelatedWork W3203346876 @default.
- W3204394239 hasRelatedWork W3203805274 @default.
- W3204394239 hasRelatedWork W3203925530 @default.
- W3204394239 hasRelatedWork W3204103629 @default.
- W3204394239 hasRelatedWork W3204483808 @default.
- W3204394239 hasRelatedWork W3204885093 @default.
- W3204394239 hasRelatedWork W3204935963 @default.
- W3204394239 hasRelatedWork W3205949358 @default.
- W3204394239 hasRelatedWork W3206586926 @default.
- W3204394239 hasRelatedWork W3207383649 @default.
- W3204394239 hasRelatedWork W3207852004 @default.
- W3204394239 isParatext "false" @default.
- W3204394239 isRetracted "false" @default.
- W3204394239 magId "3204394239" @default.
- W3204394239 workType "article" @default.