Matches in SemOpenAlex for { <https://semopenalex.org/work/W4311882382> ?p ?o ?g. }
- W4311882382 endingPage "688" @default.
- W4311882382 startingPage "657" @default.
- W4311882382 created "2023-01-02" @default.
- W4311882382 creator A5013418443 @default.
- W4311882382 creator A5051669490 @default.
- W4311882382 creator A5080616827 @default.
- W4311882382 date "2022-12-08" @default.
- W4311882382 modified "2023-09-27" @default.
- W4311882382 title "Glivenko sequent classes and constructive cut elimination in geometric logics" @default.
- W4311882382 cites W1043660496 @default.
- W4311882382 cites W115268666 @default.
- W4311882382 cites W1818789084 @default.
- W4311882382 cites W1981652842 @default.
- W4311882382 cites W2010146589 @default.
- W4311882382 cites W2041585656 @default.
- W4311882382 cites W2042984937 @default.
- W4311882382 cites W2043677412 @default.
- W4311882382 cites W2090663022 @default.
- W4311882382 cites W2150690980 @default.
- W4311882382 cites W2153202364 @default.
- W4311882382 cites W2257080944 @default.
- W4311882382 cites W2294984609 @default.
- W4311882382 cites W2571623459 @default.
- W4311882382 cites W27601353 @default.
- W4311882382 cites W2996703651 @default.
- W4311882382 cites W3039344827 @default.
- W4311882382 cites W36355091 @default.
- W4311882382 cites W4249736722 @default.
- W4311882382 cites W607239742 @default.
- W4311882382 cites W786158582 @default.
- W4311882382 cites W2181948339 @default.
- W4311882382 doi "https://doi.org/10.1007/s00153-022-00857-z" @default.
- W4311882382 hasPublicationYear "2022" @default.
- W4311882382 type Work @default.
- W4311882382 citedByCount "0" @default.
- W4311882382 crossrefType "journal-article" @default.
- W4311882382 hasAuthorship W4311882382A5013418443 @default.
- W4311882382 hasAuthorship W4311882382A5051669490 @default.
- W4311882382 hasAuthorship W4311882382A5080616827 @default.
- W4311882382 hasConcept C108710211 @default.
- W4311882382 hasConcept C111404639 @default.
- W4311882382 hasConcept C111919701 @default.
- W4311882382 hasConcept C118615104 @default.
- W4311882382 hasConcept C136119220 @default.
- W4311882382 hasConcept C147358099 @default.
- W4311882382 hasConcept C178421362 @default.
- W4311882382 hasConcept C183778304 @default.
- W4311882382 hasConcept C199343813 @default.
- W4311882382 hasConcept C202444582 @default.
- W4311882382 hasConcept C202854965 @default.
- W4311882382 hasConcept C206743973 @default.
- W4311882382 hasConcept C2318724 @default.
- W4311882382 hasConcept C2524010 @default.
- W4311882382 hasConcept C2777686260 @default.
- W4311882382 hasConcept C2778003309 @default.
- W4311882382 hasConcept C2778701210 @default.
- W4311882382 hasConcept C28077239 @default.
- W4311882382 hasConcept C33923547 @default.
- W4311882382 hasConcept C41008148 @default.
- W4311882382 hasConcept C62073222 @default.
- W4311882382 hasConcept C6489637 @default.
- W4311882382 hasConcept C65880906 @default.
- W4311882382 hasConcept C71924100 @default.
- W4311882382 hasConcept C89421646 @default.
- W4311882382 hasConcept C98045186 @default.
- W4311882382 hasConceptScore W4311882382C108710211 @default.
- W4311882382 hasConceptScore W4311882382C111404639 @default.
- W4311882382 hasConceptScore W4311882382C111919701 @default.
- W4311882382 hasConceptScore W4311882382C118615104 @default.
- W4311882382 hasConceptScore W4311882382C136119220 @default.
- W4311882382 hasConceptScore W4311882382C147358099 @default.
- W4311882382 hasConceptScore W4311882382C178421362 @default.
- W4311882382 hasConceptScore W4311882382C183778304 @default.
- W4311882382 hasConceptScore W4311882382C199343813 @default.
- W4311882382 hasConceptScore W4311882382C202444582 @default.
- W4311882382 hasConceptScore W4311882382C202854965 @default.
- W4311882382 hasConceptScore W4311882382C206743973 @default.
- W4311882382 hasConceptScore W4311882382C2318724 @default.
- W4311882382 hasConceptScore W4311882382C2524010 @default.
- W4311882382 hasConceptScore W4311882382C2777686260 @default.
- W4311882382 hasConceptScore W4311882382C2778003309 @default.
- W4311882382 hasConceptScore W4311882382C2778701210 @default.
- W4311882382 hasConceptScore W4311882382C28077239 @default.
- W4311882382 hasConceptScore W4311882382C33923547 @default.
- W4311882382 hasConceptScore W4311882382C41008148 @default.
- W4311882382 hasConceptScore W4311882382C62073222 @default.
- W4311882382 hasConceptScore W4311882382C6489637 @default.
- W4311882382 hasConceptScore W4311882382C65880906 @default.
- W4311882382 hasConceptScore W4311882382C71924100 @default.
- W4311882382 hasConceptScore W4311882382C89421646 @default.
- W4311882382 hasConceptScore W4311882382C98045186 @default.
- W4311882382 hasFunder F4320321108 @default.
- W4311882382 hasIssue "5-6" @default.
- W4311882382 hasLocation W43118823821 @default.
- W4311882382 hasOpenAccess W4311882382 @default.
- W4311882382 hasPrimaryLocation W43118823821 @default.
- W4311882382 hasRelatedWork W1526866688 @default.
- W4311882382 hasRelatedWork W2134382089 @default.
- W4311882382 hasRelatedWork W2257080944 @default.
- W4311882382 hasRelatedWork W2398664093 @default.