Matches in SemOpenAlex for { <https://semopenalex.org/work/W4376882354> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W4376882354 abstract "If the sequent (Gamma entails forall x exists y A) is provable in first order constructive natural deduction, then the theory (Gamma, forall x (f (x)/y)A), where f is a new function symbol, is a conservative extension of Gamma." @default.
- W4376882354 created "2023-05-18" @default.
- W4376882354 creator A5011254944 @default.
- W4376882354 creator A5073164575 @default.
- W4376882354 date "2005-01-01" @default.
- W4376882354 modified "2023-09-30" @default.
- W4376882354 title "A constructive proof of Skolem theorem for constructive logic" @default.
- W4376882354 hasPublicationYear "2005" @default.
- W4376882354 type Work @default.
- W4376882354 citedByCount "0" @default.
- W4376882354 crossrefType "posted-content" @default.
- W4376882354 hasAuthorship W4376882354A5011254944 @default.
- W4376882354 hasAuthorship W4376882354A5073164575 @default.
- W4376882354 hasBestOaLocation W43768823541 @default.
- W4376882354 hasConcept C108710211 @default.
- W4376882354 hasConcept C118615104 @default.
- W4376882354 hasConcept C134400042 @default.
- W4376882354 hasConcept C138885662 @default.
- W4376882354 hasConcept C199343813 @default.
- W4376882354 hasConcept C199360897 @default.
- W4376882354 hasConcept C202444582 @default.
- W4376882354 hasConcept C202854965 @default.
- W4376882354 hasConcept C2524010 @default.
- W4376882354 hasConcept C2777686260 @default.
- W4376882354 hasConcept C2778029271 @default.
- W4376882354 hasConcept C2778701210 @default.
- W4376882354 hasConcept C2780432614 @default.
- W4376882354 hasConcept C2780980858 @default.
- W4376882354 hasConcept C33923547 @default.
- W4376882354 hasConcept C41008148 @default.
- W4376882354 hasConcept C41895202 @default.
- W4376882354 hasConcept C65880906 @default.
- W4376882354 hasConcept C71924100 @default.
- W4376882354 hasConcept C89421646 @default.
- W4376882354 hasConcept C98045186 @default.
- W4376882354 hasConceptScore W4376882354C108710211 @default.
- W4376882354 hasConceptScore W4376882354C118615104 @default.
- W4376882354 hasConceptScore W4376882354C134400042 @default.
- W4376882354 hasConceptScore W4376882354C138885662 @default.
- W4376882354 hasConceptScore W4376882354C199343813 @default.
- W4376882354 hasConceptScore W4376882354C199360897 @default.
- W4376882354 hasConceptScore W4376882354C202444582 @default.
- W4376882354 hasConceptScore W4376882354C202854965 @default.
- W4376882354 hasConceptScore W4376882354C2524010 @default.
- W4376882354 hasConceptScore W4376882354C2777686260 @default.
- W4376882354 hasConceptScore W4376882354C2778029271 @default.
- W4376882354 hasConceptScore W4376882354C2778701210 @default.
- W4376882354 hasConceptScore W4376882354C2780432614 @default.
- W4376882354 hasConceptScore W4376882354C2780980858 @default.
- W4376882354 hasConceptScore W4376882354C33923547 @default.
- W4376882354 hasConceptScore W4376882354C41008148 @default.
- W4376882354 hasConceptScore W4376882354C41895202 @default.
- W4376882354 hasConceptScore W4376882354C65880906 @default.
- W4376882354 hasConceptScore W4376882354C71924100 @default.
- W4376882354 hasConceptScore W4376882354C89421646 @default.
- W4376882354 hasConceptScore W4376882354C98045186 @default.
- W4376882354 hasLocation W43768823541 @default.
- W4376882354 hasLocation W43768823542 @default.
- W4376882354 hasOpenAccess W4376882354 @default.
- W4376882354 hasPrimaryLocation W43768823541 @default.
- W4376882354 hasRelatedWork W1526866688 @default.
- W4376882354 hasRelatedWork W2143817362 @default.
- W4376882354 hasRelatedWork W24230205 @default.
- W4376882354 hasRelatedWork W28472032 @default.
- W4376882354 hasRelatedWork W2949403236 @default.
- W4376882354 hasRelatedWork W3017269122 @default.
- W4376882354 hasRelatedWork W3120352477 @default.
- W4376882354 hasRelatedWork W4244570390 @default.
- W4376882354 hasRelatedWork W4288846609 @default.
- W4376882354 hasRelatedWork W4296567097 @default.
- W4376882354 isParatext "false" @default.
- W4376882354 isRetracted "false" @default.
- W4376882354 workType "article" @default.