Matches in SemOpenAlex for { <https://semopenalex.org/work/W4313205060> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W4313205060 created "2023-01-06" @default.
- W4313205060 creator A5083144803 @default.
- W4313205060 date "2016-03-31" @default.
- W4313205060 modified "2023-09-27" @default.
- W4313205060 title "On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC" @default.
- W4313205060 hasPublicationYear "2016" @default.
- W4313205060 type Work @default.
- W4313205060 citedByCount "0" @default.
- W4313205060 crossrefType "posted-content" @default.
- W4313205060 hasAuthorship W4313205060A5083144803 @default.
- W4313205060 hasBestOaLocation W43132050601 @default.
- W4313205060 hasConcept C108710211 @default.
- W4313205060 hasConcept C111472728 @default.
- W4313205060 hasConcept C118615104 @default.
- W4313205060 hasConcept C138885662 @default.
- W4313205060 hasConcept C178421362 @default.
- W4313205060 hasConcept C199343813 @default.
- W4313205060 hasConcept C199360897 @default.
- W4313205060 hasConcept C2524010 @default.
- W4313205060 hasConcept C2777686260 @default.
- W4313205060 hasConcept C2778701210 @default.
- W4313205060 hasConcept C2781029818 @default.
- W4313205060 hasConcept C33923547 @default.
- W4313205060 hasConcept C41008148 @default.
- W4313205060 hasConcept C62073222 @default.
- W4313205060 hasConcept C65880906 @default.
- W4313205060 hasConcept C69562738 @default.
- W4313205060 hasConcept C71924100 @default.
- W4313205060 hasConcept C89421646 @default.
- W4313205060 hasConcept C98045186 @default.
- W4313205060 hasConceptScore W4313205060C108710211 @default.
- W4313205060 hasConceptScore W4313205060C111472728 @default.
- W4313205060 hasConceptScore W4313205060C118615104 @default.
- W4313205060 hasConceptScore W4313205060C138885662 @default.
- W4313205060 hasConceptScore W4313205060C178421362 @default.
- W4313205060 hasConceptScore W4313205060C199343813 @default.
- W4313205060 hasConceptScore W4313205060C199360897 @default.
- W4313205060 hasConceptScore W4313205060C2524010 @default.
- W4313205060 hasConceptScore W4313205060C2777686260 @default.
- W4313205060 hasConceptScore W4313205060C2778701210 @default.
- W4313205060 hasConceptScore W4313205060C2781029818 @default.
- W4313205060 hasConceptScore W4313205060C33923547 @default.
- W4313205060 hasConceptScore W4313205060C41008148 @default.
- W4313205060 hasConceptScore W4313205060C62073222 @default.
- W4313205060 hasConceptScore W4313205060C65880906 @default.
- W4313205060 hasConceptScore W4313205060C69562738 @default.
- W4313205060 hasConceptScore W4313205060C71924100 @default.
- W4313205060 hasConceptScore W4313205060C89421646 @default.
- W4313205060 hasConceptScore W4313205060C98045186 @default.
- W4313205060 hasLocation W43132050601 @default.
- W4313205060 hasLocation W43132050602 @default.
- W4313205060 hasLocation W43132050603 @default.
- W4313205060 hasLocation W43132050604 @default.
- W4313205060 hasOpenAccess W4313205060 @default.
- W4313205060 hasPrimaryLocation W43132050601 @default.
- W4313205060 hasRelatedWork W1506616756 @default.
- W4313205060 hasRelatedWork W204730771 @default.
- W4313205060 hasRelatedWork W2134382089 @default.
- W4313205060 hasRelatedWork W2270243227 @default.
- W4313205060 hasRelatedWork W24230205 @default.
- W4313205060 hasRelatedWork W2617588251 @default.
- W4313205060 hasRelatedWork W2961141088 @default.
- W4313205060 hasRelatedWork W3090765541 @default.
- W4313205060 hasRelatedWork W3097669092 @default.
- W4313205060 hasRelatedWork W4223969606 @default.
- W4313205060 isParatext "false" @default.
- W4313205060 isRetracted "false" @default.
- W4313205060 workType "article" @default.