Matches in SemOpenAlex for { <https://semopenalex.org/work/W2336128445> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2336128445 endingPage "16" @default.
- W2336128445 startingPage "1" @default.
- W2336128445 created "2016-06-24" @default.
- W2336128445 creator A5007450403 @default.
- W2336128445 date "1993-01-01" @default.
- W2336128445 modified "2023-09-27" @default.
- W2336128445 title "Theorems on completeness and cut elimination in higher order classical logics. Constructive methods" @default.
- W2336128445 hasPublicationYear "1993" @default.
- W2336128445 type Work @default.
- W2336128445 sameAs 2336128445 @default.
- W2336128445 citedByCount "0" @default.
- W2336128445 crossrefType "journal-article" @default.
- W2336128445 hasAuthorship W2336128445A5007450403 @default.
- W2336128445 hasConcept C111472728 @default.
- W2336128445 hasConcept C134306372 @default.
- W2336128445 hasConcept C136119220 @default.
- W2336128445 hasConcept C138885662 @default.
- W2336128445 hasConcept C17231256 @default.
- W2336128445 hasConcept C199343813 @default.
- W2336128445 hasConcept C199360897 @default.
- W2336128445 hasConcept C202444582 @default.
- W2336128445 hasConcept C2777686260 @default.
- W2336128445 hasConcept C2778701210 @default.
- W2336128445 hasConcept C33923547 @default.
- W2336128445 hasConcept C41008148 @default.
- W2336128445 hasConcept C71924100 @default.
- W2336128445 hasConcept C98045186 @default.
- W2336128445 hasConceptScore W2336128445C111472728 @default.
- W2336128445 hasConceptScore W2336128445C134306372 @default.
- W2336128445 hasConceptScore W2336128445C136119220 @default.
- W2336128445 hasConceptScore W2336128445C138885662 @default.
- W2336128445 hasConceptScore W2336128445C17231256 @default.
- W2336128445 hasConceptScore W2336128445C199343813 @default.
- W2336128445 hasConceptScore W2336128445C199360897 @default.
- W2336128445 hasConceptScore W2336128445C202444582 @default.
- W2336128445 hasConceptScore W2336128445C2777686260 @default.
- W2336128445 hasConceptScore W2336128445C2778701210 @default.
- W2336128445 hasConceptScore W2336128445C33923547 @default.
- W2336128445 hasConceptScore W2336128445C41008148 @default.
- W2336128445 hasConceptScore W2336128445C71924100 @default.
- W2336128445 hasConceptScore W2336128445C98045186 @default.
- W2336128445 hasIssue "3" @default.
- W2336128445 hasLocation W23361284451 @default.
- W2336128445 hasOpenAccess W2336128445 @default.
- W2336128445 hasPrimaryLocation W23361284451 @default.
- W2336128445 hasRelatedWork W142527661 @default.
- W2336128445 hasRelatedWork W1480092413 @default.
- W2336128445 hasRelatedWork W1492332250 @default.
- W2336128445 hasRelatedWork W1506269905 @default.
- W2336128445 hasRelatedWork W1573969001 @default.
- W2336128445 hasRelatedWork W193857920 @default.
- W2336128445 hasRelatedWork W2008844842 @default.
- W2336128445 hasRelatedWork W2013110598 @default.
- W2336128445 hasRelatedWork W2073070049 @default.
- W2336128445 hasRelatedWork W2127246914 @default.
- W2336128445 hasRelatedWork W2168995070 @default.
- W2336128445 hasRelatedWork W2186018041 @default.
- W2336128445 hasRelatedWork W2317433127 @default.
- W2336128445 hasRelatedWork W2766762831 @default.
- W2336128445 hasRelatedWork W2944726109 @default.
- W2336128445 hasRelatedWork W2950690501 @default.
- W2336128445 hasRelatedWork W2952799563 @default.
- W2336128445 hasRelatedWork W2964011735 @default.
- W2336128445 hasRelatedWork W3181940067 @default.
- W2336128445 hasRelatedWork W3198042431 @default.
- W2336128445 hasVolume "37" @default.
- W2336128445 isParatext "false" @default.
- W2336128445 isRetracted "false" @default.
- W2336128445 magId "2336128445" @default.
- W2336128445 workType "article" @default.