Matches in SemOpenAlex for { <https://semopenalex.org/work/W4322003465> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W4322003465 created "2023-02-26" @default.
- W4322003465 creator A5018831581 @default.
- W4322003465 creator A5042639896 @default.
- W4322003465 date "2006-01-01" @default.
- W4322003465 modified "2023-10-12" @default.
- W4322003465 title "A semantical proof of the strong normalization theorem for full propositional classical natural deduction" @default.
- W4322003465 hasPublicationYear "2006" @default.
- W4322003465 type Work @default.
- W4322003465 citedByCount "0" @default.
- W4322003465 crossrefType "journal-article" @default.
- W4322003465 hasAuthorship W4322003465A5018831581 @default.
- W4322003465 hasAuthorship W4322003465A5042639896 @default.
- W4322003465 hasBestOaLocation W43220034651 @default.
- W4322003465 hasConcept C102993220 @default.
- W4322003465 hasConcept C118615104 @default.
- W4322003465 hasConcept C136886441 @default.
- W4322003465 hasConcept C144024400 @default.
- W4322003465 hasConcept C14523651 @default.
- W4322003465 hasConcept C19165224 @default.
- W4322003465 hasConcept C199343813 @default.
- W4322003465 hasConcept C199360897 @default.
- W4322003465 hasConcept C2777686260 @default.
- W4322003465 hasConcept C33203268 @default.
- W4322003465 hasConcept C33923547 @default.
- W4322003465 hasConcept C41008148 @default.
- W4322003465 hasConcept C62073222 @default.
- W4322003465 hasConcept C71924100 @default.
- W4322003465 hasConcept C74640108 @default.
- W4322003465 hasConceptScore W4322003465C102993220 @default.
- W4322003465 hasConceptScore W4322003465C118615104 @default.
- W4322003465 hasConceptScore W4322003465C136886441 @default.
- W4322003465 hasConceptScore W4322003465C144024400 @default.
- W4322003465 hasConceptScore W4322003465C14523651 @default.
- W4322003465 hasConceptScore W4322003465C19165224 @default.
- W4322003465 hasConceptScore W4322003465C199343813 @default.
- W4322003465 hasConceptScore W4322003465C199360897 @default.
- W4322003465 hasConceptScore W4322003465C2777686260 @default.
- W4322003465 hasConceptScore W4322003465C33203268 @default.
- W4322003465 hasConceptScore W4322003465C33923547 @default.
- W4322003465 hasConceptScore W4322003465C41008148 @default.
- W4322003465 hasConceptScore W4322003465C62073222 @default.
- W4322003465 hasConceptScore W4322003465C71924100 @default.
- W4322003465 hasConceptScore W4322003465C74640108 @default.
- W4322003465 hasLocation W43220034651 @default.
- W4322003465 hasLocation W43220034652 @default.
- W4322003465 hasOpenAccess W4322003465 @default.
- W4322003465 hasPrimaryLocation W43220034651 @default.
- W4322003465 hasRelatedWork W1603543958 @default.
- W4322003465 hasRelatedWork W1970926634 @default.
- W4322003465 hasRelatedWork W2043498337 @default.
- W4322003465 hasRelatedWork W2149552919 @default.
- W4322003465 hasRelatedWork W2283591084 @default.
- W4322003465 hasRelatedWork W2753667555 @default.
- W4322003465 hasRelatedWork W2766159092 @default.
- W4322003465 hasRelatedWork W2951901777 @default.
- W4322003465 hasRelatedWork W4298267346 @default.
- W4322003465 hasRelatedWork W949976107 @default.
- W4322003465 isParatext "false" @default.
- W4322003465 isRetracted "false" @default.
- W4322003465 workType "article" @default.