Matches in SemOpenAlex for { <https://semopenalex.org/work/W577666178> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W577666178 created "2016-06-24" @default.
- W577666178 creator A5090023801 @default.
- W577666178 date "2002-01-01" @default.
- W577666178 modified "2023-09-24" @default.
- W577666178 title "Gentzen style sequent calculi for some subsystems of intuitionistic logic" @default.
- W577666178 hasPublicationYear "2002" @default.
- W577666178 type Work @default.
- W577666178 sameAs 577666178 @default.
- W577666178 citedByCount "1" @default.
- W577666178 crossrefType "book" @default.
- W577666178 hasAuthorship W577666178A5090023801 @default.
- W577666178 hasConcept C108710211 @default.
- W577666178 hasConcept C118615104 @default.
- W577666178 hasConcept C124952713 @default.
- W577666178 hasConcept C142362112 @default.
- W577666178 hasConcept C178421362 @default.
- W577666178 hasConcept C199343813 @default.
- W577666178 hasConcept C2524010 @default.
- W577666178 hasConcept C2776445246 @default.
- W577666178 hasConcept C2777686260 @default.
- W577666178 hasConcept C28077239 @default.
- W577666178 hasConcept C33923547 @default.
- W577666178 hasConcept C41008148 @default.
- W577666178 hasConcept C62073222 @default.
- W577666178 hasConcept C65880906 @default.
- W577666178 hasConcept C71924100 @default.
- W577666178 hasConcept C89421646 @default.
- W577666178 hasConcept C94375191 @default.
- W577666178 hasConceptScore W577666178C108710211 @default.
- W577666178 hasConceptScore W577666178C118615104 @default.
- W577666178 hasConceptScore W577666178C124952713 @default.
- W577666178 hasConceptScore W577666178C142362112 @default.
- W577666178 hasConceptScore W577666178C178421362 @default.
- W577666178 hasConceptScore W577666178C199343813 @default.
- W577666178 hasConceptScore W577666178C2524010 @default.
- W577666178 hasConceptScore W577666178C2776445246 @default.
- W577666178 hasConceptScore W577666178C2777686260 @default.
- W577666178 hasConceptScore W577666178C28077239 @default.
- W577666178 hasConceptScore W577666178C33923547 @default.
- W577666178 hasConceptScore W577666178C41008148 @default.
- W577666178 hasConceptScore W577666178C62073222 @default.
- W577666178 hasConceptScore W577666178C65880906 @default.
- W577666178 hasConceptScore W577666178C71924100 @default.
- W577666178 hasConceptScore W577666178C89421646 @default.
- W577666178 hasConceptScore W577666178C94375191 @default.
- W577666178 hasLocation W5776661781 @default.
- W577666178 hasOpenAccess W577666178 @default.
- W577666178 hasPrimaryLocation W5776661781 @default.
- W577666178 hasRelatedWork W1510709103 @default.
- W577666178 hasRelatedWork W1606685239 @default.
- W577666178 hasRelatedWork W192448552 @default.
- W577666178 hasRelatedWork W1969369051 @default.
- W577666178 hasRelatedWork W1989755747 @default.
- W577666178 hasRelatedWork W2015870579 @default.
- W577666178 hasRelatedWork W2087640560 @default.
- W577666178 hasRelatedWork W2225972672 @default.
- W577666178 hasRelatedWork W2504661205 @default.
- W577666178 hasRelatedWork W2608790172 @default.
- W577666178 hasRelatedWork W2896183143 @default.
- W577666178 hasRelatedWork W2947164448 @default.
- W577666178 hasRelatedWork W2991534985 @default.
- W577666178 hasRelatedWork W3150713206 @default.
- W577666178 hasRelatedWork W570944246 @default.
- W577666178 hasRelatedWork W577555597 @default.
- W577666178 hasRelatedWork W592365873 @default.
- W577666178 hasRelatedWork W605420272 @default.
- W577666178 hasRelatedWork W626595871 @default.
- W577666178 hasRelatedWork W3081163457 @default.
- W577666178 isParatext "false" @default.
- W577666178 isRetracted "false" @default.
- W577666178 magId "577666178" @default.
- W577666178 workType "book" @default.