Matches in SemOpenAlex for { <https://semopenalex.org/work/W3007797656> ?p ?o ?g. }
Showing items 1 to 26 of
26
with 100 items per page.
- W3007797656 abstract "15 | 0:00:00 Start0:00:59 Kontextfreie Sprachen0:09:04 Schnitt kontextfreier Sprachen0:12:45 Produkt von Relationen0:18:09 Reflektiv, transitiv0:26:24 Interpretationen0:35:52 Allgemeingultige Formeln0:40:09 Modelle0:46:21 Vorkommen von Variablensymbolen in Formeln0:54:07 Substitution1:08:06 Logische aquivalente Formeln1:17:58 Groszugige Benutzung von Pradikatenlogik1:22:53 Eine Zeitreise" @default.
- W3007797656 created "2020-03-06" @default.
- W3007797656 creator A5015010410 @default.
- W3007797656 creator A5060964013 @default.
- W3007797656 date "2019-01-01" @default.
- W3007797656 modified "2023-09-23" @default.
- W3007797656 title "15: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 06.12.2019" @default.
- W3007797656 doi "https://doi.org/10.5445/diva/2019-959" @default.
- W3007797656 hasPublicationYear "2019" @default.
- W3007797656 type Work @default.
- W3007797656 sameAs 3007797656 @default.
- W3007797656 citedByCount "0" @default.
- W3007797656 crossrefType "journal-article" @default.
- W3007797656 hasAuthorship W3007797656A5015010410 @default.
- W3007797656 hasAuthorship W3007797656A5060964013 @default.
- W3007797656 hasConcept C121332964 @default.
- W3007797656 hasConcept C138885662 @default.
- W3007797656 hasConceptScore W3007797656C121332964 @default.
- W3007797656 hasConceptScore W3007797656C138885662 @default.
- W3007797656 hasLocation W30077976561 @default.
- W3007797656 hasOpenAccess W3007797656 @default.
- W3007797656 hasPrimaryLocation W30077976561 @default.
- W3007797656 isParatext "false" @default.
- W3007797656 isRetracted "false" @default.
- W3007797656 magId "3007797656" @default.
- W3007797656 workType "article" @default.