Matches in SemOpenAlex for { <https://semopenalex.org/work/W13645872> ?p ?o ?g. }
Showing items 1 to 44 of
44
with 100 items per page.
- W13645872 created "2016-06-24" @default.
- W13645872 creator A5039614631 @default.
- W13645872 date "2004-01-01" @default.
- W13645872 modified "2023-09-27" @default.
- W13645872 title "Eine formale Semantik fSSA Zwischensprachen in Isabelle/HOL" @default.
- W13645872 cites W1480938817 @default.
- W13645872 cites W1502843857 @default.
- W13645872 cites W1569393732 @default.
- W13645872 cites W1583295953 @default.
- W13645872 cites W1593280365 @default.
- W13645872 cites W1748007674 @default.
- W13645872 cites W1982205631 @default.
- W13645872 cites W1995955735 @default.
- W13645872 cites W2010452422 @default.
- W13645872 cites W2061915850 @default.
- W13645872 cites W2076090418 @default.
- W13645872 cites W2101811680 @default.
- W13645872 cites W2106192381 @default.
- W13645872 cites W2139542677 @default.
- W13645872 cites W2155757092 @default.
- W13645872 cites W2166060139 @default.
- W13645872 cites W2498612280 @default.
- W13645872 cites W27369194 @default.
- W13645872 hasPublicationYear "2004" @default.
- W13645872 type Work @default.
- W13645872 sameAs 13645872 @default.
- W13645872 citedByCount "1" @default.
- W13645872 crossrefType "journal-article" @default.
- W13645872 hasAuthorship W13645872A5039614631 @default.
- W13645872 hasConcept C138885662 @default.
- W13645872 hasConcept C17435882 @default.
- W13645872 hasConcept C199360897 @default.
- W13645872 hasConcept C41008148 @default.
- W13645872 hasConceptScore W13645872C138885662 @default.
- W13645872 hasConceptScore W13645872C17435882 @default.
- W13645872 hasConceptScore W13645872C199360897 @default.
- W13645872 hasConceptScore W13645872C41008148 @default.
- W13645872 hasLocation W136458721 @default.
- W13645872 hasOpenAccess W13645872 @default.
- W13645872 hasPrimaryLocation W136458721 @default.
- W13645872 isParatext "false" @default.
- W13645872 isRetracted "false" @default.
- W13645872 magId "13645872" @default.
- W13645872 workType "article" @default.