Matches in SemOpenAlex for { <https://semopenalex.org/work/W3034374377> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W3034374377 endingPage "136" @default.
- W3034374377 startingPage "124" @default.
- W3034374377 created "2020-06-19" @default.
- W3034374377 creator A5019957756 @default.
- W3034374377 date "2018-08-01" @default.
- W3034374377 modified "2023-09-24" @default.
- W3034374377 title "The Church-Rosser Theorem and Analysis of Reduction Length (Proof theory and proving)" @default.
- W3034374377 hasPublicationYear "2018" @default.
- W3034374377 type Work @default.
- W3034374377 sameAs 3034374377 @default.
- W3034374377 citedByCount "0" @default.
- W3034374377 crossrefType "journal-article" @default.
- W3034374377 hasAuthorship W3034374377A5019957756 @default.
- W3034374377 hasConcept C108710211 @default.
- W3034374377 hasConcept C111335779 @default.
- W3034374377 hasConcept C118615104 @default.
- W3034374377 hasConcept C144237770 @default.
- W3034374377 hasConcept C199343813 @default.
- W3034374377 hasConcept C2318724 @default.
- W3034374377 hasConcept C2524010 @default.
- W3034374377 hasConcept C2777686260 @default.
- W3034374377 hasConcept C33923547 @default.
- W3034374377 hasConcept C71924100 @default.
- W3034374377 hasConceptScore W3034374377C108710211 @default.
- W3034374377 hasConceptScore W3034374377C111335779 @default.
- W3034374377 hasConceptScore W3034374377C118615104 @default.
- W3034374377 hasConceptScore W3034374377C144237770 @default.
- W3034374377 hasConceptScore W3034374377C199343813 @default.
- W3034374377 hasConceptScore W3034374377C2318724 @default.
- W3034374377 hasConceptScore W3034374377C2524010 @default.
- W3034374377 hasConceptScore W3034374377C2777686260 @default.
- W3034374377 hasConceptScore W3034374377C33923547 @default.
- W3034374377 hasConceptScore W3034374377C71924100 @default.
- W3034374377 hasLocation W30343743771 @default.
- W3034374377 hasOpenAccess W3034374377 @default.
- W3034374377 hasPrimaryLocation W30343743771 @default.
- W3034374377 hasRelatedWork W1488122270 @default.
- W3034374377 hasRelatedWork W1535405151 @default.
- W3034374377 hasRelatedWork W1541511077 @default.
- W3034374377 hasRelatedWork W18461166 @default.
- W3034374377 hasRelatedWork W1879050965 @default.
- W3034374377 hasRelatedWork W208883109 @default.
- W3034374377 hasRelatedWork W2100065142 @default.
- W3034374377 hasRelatedWork W2285888105 @default.
- W3034374377 hasRelatedWork W2312529455 @default.
- W3034374377 hasRelatedWork W2314611859 @default.
- W3034374377 hasRelatedWork W2315670011 @default.
- W3034374377 hasRelatedWork W2480762012 @default.
- W3034374377 hasRelatedWork W2595692022 @default.
- W3034374377 hasRelatedWork W2796188500 @default.
- W3034374377 hasRelatedWork W2909229158 @default.
- W3034374377 hasRelatedWork W3006605088 @default.
- W3034374377 hasRelatedWork W65106085 @default.
- W3034374377 hasRelatedWork W189467078 @default.
- W3034374377 hasRelatedWork W2505956899 @default.
- W3034374377 hasRelatedWork W3114339680 @default.
- W3034374377 hasVolume "2083" @default.
- W3034374377 isParatext "false" @default.
- W3034374377 isRetracted "false" @default.
- W3034374377 magId "3034374377" @default.
- W3034374377 workType "article" @default.