Matches in SemOpenAlex for { <https://semopenalex.org/work/W3198042431> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W3198042431 endingPage "1122" @default.
- W3198042431 startingPage "1101" @default.
- W3198042431 created "2021-09-13" @default.
- W3198042431 creator A5008824087 @default.
- W3198042431 date "2020-01-01" @default.
- W3198042431 modified "2023-09-28" @default.
- W3198042431 title "Cut-elimination, Completeness and Craig Interpolation Theorems for Gurevich's Extended First-order Intuitionistic Logic with Strong Negation." @default.
- W3198042431 hasPublicationYear "2020" @default.
- W3198042431 type Work @default.
- W3198042431 sameAs 3198042431 @default.
- W3198042431 citedByCount "0" @default.
- W3198042431 crossrefType "journal-article" @default.
- W3198042431 hasAuthorship W3198042431A5008824087 @default.
- W3198042431 hasConcept C102993220 @default.
- W3198042431 hasConcept C118615104 @default.
- W3198042431 hasConcept C134306372 @default.
- W3198042431 hasConcept C17231256 @default.
- W3198042431 hasConcept C178421362 @default.
- W3198042431 hasConcept C194146651 @default.
- W3198042431 hasConcept C199343813 @default.
- W3198042431 hasConcept C199360897 @default.
- W3198042431 hasConcept C203659156 @default.
- W3198042431 hasConcept C2185349 @default.
- W3198042431 hasConcept C2777686260 @default.
- W3198042431 hasConcept C33923547 @default.
- W3198042431 hasConcept C3845977 @default.
- W3198042431 hasConcept C41008148 @default.
- W3198042431 hasConcept C69562738 @default.
- W3198042431 hasConcept C71924100 @default.
- W3198042431 hasConceptScore W3198042431C102993220 @default.
- W3198042431 hasConceptScore W3198042431C118615104 @default.
- W3198042431 hasConceptScore W3198042431C134306372 @default.
- W3198042431 hasConceptScore W3198042431C17231256 @default.
- W3198042431 hasConceptScore W3198042431C178421362 @default.
- W3198042431 hasConceptScore W3198042431C194146651 @default.
- W3198042431 hasConceptScore W3198042431C199343813 @default.
- W3198042431 hasConceptScore W3198042431C199360897 @default.
- W3198042431 hasConceptScore W3198042431C203659156 @default.
- W3198042431 hasConceptScore W3198042431C2185349 @default.
- W3198042431 hasConceptScore W3198042431C2777686260 @default.
- W3198042431 hasConceptScore W3198042431C33923547 @default.
- W3198042431 hasConceptScore W3198042431C3845977 @default.
- W3198042431 hasConceptScore W3198042431C41008148 @default.
- W3198042431 hasConceptScore W3198042431C69562738 @default.
- W3198042431 hasConceptScore W3198042431C71924100 @default.
- W3198042431 hasLocation W31980424311 @default.
- W3198042431 hasOpenAccess W3198042431 @default.
- W3198042431 hasPrimaryLocation W31980424311 @default.
- W3198042431 hasRelatedWork W142527661 @default.
- W3198042431 hasRelatedWork W1525695252 @default.
- W3198042431 hasRelatedWork W1543262318 @default.
- W3198042431 hasRelatedWork W1583507851 @default.
- W3198042431 hasRelatedWork W1770545992 @default.
- W3198042431 hasRelatedWork W193857920 @default.
- W3198042431 hasRelatedWork W1987794025 @default.
- W3198042431 hasRelatedWork W2065676868 @default.
- W3198042431 hasRelatedWork W2066884271 @default.
- W3198042431 hasRelatedWork W2127246914 @default.
- W3198042431 hasRelatedWork W2184205866 @default.
- W3198042431 hasRelatedWork W2186018041 @default.
- W3198042431 hasRelatedWork W2230788496 @default.
- W3198042431 hasRelatedWork W2358744023 @default.
- W3198042431 hasRelatedWork W2577544411 @default.
- W3198042431 hasRelatedWork W2736223974 @default.
- W3198042431 hasRelatedWork W2773796638 @default.
- W3198042431 hasRelatedWork W2944726109 @default.
- W3198042431 hasRelatedWork W2955326061 @default.
- W3198042431 hasRelatedWork W915409256 @default.
- W3198042431 hasVolume "8" @default.
- W3198042431 isParatext "false" @default.
- W3198042431 isRetracted "false" @default.
- W3198042431 magId "3198042431" @default.
- W3198042431 workType "article" @default.