Matches in SemOpenAlex for { <https://semopenalex.org/work/W4285706080> ?p ?o ?g. }
Showing items 1 to 48 of
48
with 100 items per page.
- W4285706080 created "2022-07-18" @default.
- W4285706080 creator A5017960584 @default.
- W4285706080 creator A5027786423 @default.
- W4285706080 creator A5084356882 @default.
- W4285706080 date "2020-02-21" @default.
- W4285706080 modified "2023-09-27" @default.
- W4285706080 title "Cyclic proofs, system T, and the power of contraction" @default.
- W4285706080 hasPublicationYear "2020" @default.
- W4285706080 type Work @default.
- W4285706080 citedByCount "0" @default.
- W4285706080 crossrefType "posted-content" @default.
- W4285706080 hasAuthorship W4285706080A5017960584 @default.
- W4285706080 hasAuthorship W4285706080A5027786423 @default.
- W4285706080 hasAuthorship W4285706080A5084356882 @default.
- W4285706080 hasBestOaLocation W42857060801 @default.
- W4285706080 hasConcept C108710211 @default.
- W4285706080 hasConcept C126322002 @default.
- W4285706080 hasConcept C163415756 @default.
- W4285706080 hasConcept C2524010 @default.
- W4285706080 hasConcept C33923547 @default.
- W4285706080 hasConcept C41008148 @default.
- W4285706080 hasConcept C71924100 @default.
- W4285706080 hasConceptScore W4285706080C108710211 @default.
- W4285706080 hasConceptScore W4285706080C126322002 @default.
- W4285706080 hasConceptScore W4285706080C163415756 @default.
- W4285706080 hasConceptScore W4285706080C2524010 @default.
- W4285706080 hasConceptScore W4285706080C33923547 @default.
- W4285706080 hasConceptScore W4285706080C41008148 @default.
- W4285706080 hasConceptScore W4285706080C71924100 @default.
- W4285706080 hasLocation W42857060801 @default.
- W4285706080 hasLocation W42857060802 @default.
- W4285706080 hasLocation W42857060803 @default.
- W4285706080 hasLocation W42857060804 @default.
- W4285706080 hasOpenAccess W4285706080 @default.
- W4285706080 hasPrimaryLocation W42857060801 @default.
- W4285706080 hasRelatedWork W10112702 @default.
- W4285706080 hasRelatedWork W10770458 @default.
- W4285706080 hasRelatedWork W1182382 @default.
- W4285706080 hasRelatedWork W12716309 @default.
- W4285706080 hasRelatedWork W2714380 @default.
- W4285706080 hasRelatedWork W3225856 @default.
- W4285706080 hasRelatedWork W4184905 @default.
- W4285706080 hasRelatedWork W9262815 @default.
- W4285706080 hasRelatedWork W9401168 @default.
- W4285706080 hasRelatedWork W2380929 @default.
- W4285706080 isParatext "false" @default.
- W4285706080 isRetracted "false" @default.
- W4285706080 workType "article" @default.