Matches in SemOpenAlex for { <https://semopenalex.org/work/W1520632977> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W1520632977 endingPage "12" @default.
- W1520632977 startingPage "1" @default.
- W1520632977 created "2016-06-24" @default.
- W1520632977 creator A5010412044 @default.
- W1520632977 date "2009-04-01" @default.
- W1520632977 modified "2023-09-24" @default.
- W1520632977 title "An Ordinal-Free Proof of the Cut-elimination Theorem for a Subsystem of $Pi^1_1$-Analysis with $omega$-rule (Proof theoretical study of the structure of logic and computation)" @default.
- W1520632977 hasPublicationYear "2009" @default.
- W1520632977 type Work @default.
- W1520632977 sameAs 1520632977 @default.
- W1520632977 citedByCount "0" @default.
- W1520632977 crossrefType "journal-article" @default.
- W1520632977 hasAuthorship W1520632977A5010412044 @default.
- W1520632977 hasConcept C105605280 @default.
- W1520632977 hasConcept C108710211 @default.
- W1520632977 hasConcept C11413529 @default.
- W1520632977 hasConcept C118615104 @default.
- W1520632977 hasConcept C121332964 @default.
- W1520632977 hasConcept C161505775 @default.
- W1520632977 hasConcept C195653647 @default.
- W1520632977 hasConcept C199343813 @default.
- W1520632977 hasConcept C2318724 @default.
- W1520632977 hasConcept C2524010 @default.
- W1520632977 hasConcept C2777686260 @default.
- W1520632977 hasConcept C2779557605 @default.
- W1520632977 hasConcept C33923547 @default.
- W1520632977 hasConcept C45374587 @default.
- W1520632977 hasConcept C53009064 @default.
- W1520632977 hasConcept C62520636 @default.
- W1520632977 hasConcept C71924100 @default.
- W1520632977 hasConceptScore W1520632977C105605280 @default.
- W1520632977 hasConceptScore W1520632977C108710211 @default.
- W1520632977 hasConceptScore W1520632977C11413529 @default.
- W1520632977 hasConceptScore W1520632977C118615104 @default.
- W1520632977 hasConceptScore W1520632977C121332964 @default.
- W1520632977 hasConceptScore W1520632977C161505775 @default.
- W1520632977 hasConceptScore W1520632977C195653647 @default.
- W1520632977 hasConceptScore W1520632977C199343813 @default.
- W1520632977 hasConceptScore W1520632977C2318724 @default.
- W1520632977 hasConceptScore W1520632977C2524010 @default.
- W1520632977 hasConceptScore W1520632977C2777686260 @default.
- W1520632977 hasConceptScore W1520632977C2779557605 @default.
- W1520632977 hasConceptScore W1520632977C33923547 @default.
- W1520632977 hasConceptScore W1520632977C45374587 @default.
- W1520632977 hasConceptScore W1520632977C53009064 @default.
- W1520632977 hasConceptScore W1520632977C62520636 @default.
- W1520632977 hasConceptScore W1520632977C71924100 @default.
- W1520632977 hasIssue "1635" @default.
- W1520632977 hasLocation W15206329771 @default.
- W1520632977 hasOpenAccess W1520632977 @default.
- W1520632977 hasPrimaryLocation W15206329771 @default.
- W1520632977 hasRelatedWork W102164065 @default.
- W1520632977 hasRelatedWork W1446225236 @default.
- W1520632977 hasRelatedWork W1491093114 @default.
- W1520632977 hasRelatedWork W1556955831 @default.
- W1520632977 hasRelatedWork W1600124086 @default.
- W1520632977 hasRelatedWork W1604435911 @default.
- W1520632977 hasRelatedWork W1889888010 @default.
- W1520632977 hasRelatedWork W1938840723 @default.
- W1520632977 hasRelatedWork W1964454590 @default.
- W1520632977 hasRelatedWork W1974741536 @default.
- W1520632977 hasRelatedWork W2001089471 @default.
- W1520632977 hasRelatedWork W2081303576 @default.
- W1520632977 hasRelatedWork W2157304063 @default.
- W1520632977 hasRelatedWork W2185367022 @default.
- W1520632977 hasRelatedWork W2308767165 @default.
- W1520632977 hasRelatedWork W2374581741 @default.
- W1520632977 hasRelatedWork W2403163112 @default.
- W1520632977 hasRelatedWork W2790318756 @default.
- W1520632977 hasRelatedWork W3004024630 @default.
- W1520632977 hasRelatedWork W3174004139 @default.
- W1520632977 hasVolume "1635" @default.
- W1520632977 isParatext "false" @default.
- W1520632977 isRetracted "false" @default.
- W1520632977 magId "1520632977" @default.
- W1520632977 workType "article" @default.