Matches in SemOpenAlex for { <https://semopenalex.org/work/W4240786326> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W4240786326 abstract "Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequent calculus, central in many areas of logic and computer science today. Another noteworthy achievem" @default.
- W4240786326 created "2022-05-12" @default.
- W4240786326 creator A5050687353 @default.
- W4240786326 date "2017-01-01" @default.
- W4240786326 modified "2023-09-24" @default.
- W4240786326 title "Saved from the Cellar" @default.
- W4240786326 doi "https://doi.org/10.1007/978-3-319-42120-9" @default.
- W4240786326 hasPublicationYear "2017" @default.
- W4240786326 type Work @default.
- W4240786326 citedByCount "10" @default.
- W4240786326 countsByYear W42407863262016 @default.
- W4240786326 countsByYear W42407863262018 @default.
- W4240786326 countsByYear W42407863262019 @default.
- W4240786326 countsByYear W42407863262020 @default.
- W4240786326 countsByYear W42407863262021 @default.
- W4240786326 countsByYear W42407863262023 @default.
- W4240786326 crossrefType "book" @default.
- W4240786326 hasAuthorship W4240786326A5050687353 @default.
- W4240786326 hasConcept C108710211 @default.
- W4240786326 hasConcept C111404639 @default.
- W4240786326 hasConcept C118615104 @default.
- W4240786326 hasConcept C166957645 @default.
- W4240786326 hasConcept C17744445 @default.
- W4240786326 hasConcept C199343813 @default.
- W4240786326 hasConcept C199539241 @default.
- W4240786326 hasConcept C205649164 @default.
- W4240786326 hasConcept C2318724 @default.
- W4240786326 hasConcept C2524010 @default.
- W4240786326 hasConcept C2776608160 @default.
- W4240786326 hasConcept C2777431735 @default.
- W4240786326 hasConcept C2777686260 @default.
- W4240786326 hasConcept C33923547 @default.
- W4240786326 hasConcept C41008148 @default.
- W4240786326 hasConcept C62073222 @default.
- W4240786326 hasConcept C6489637 @default.
- W4240786326 hasConcept C65880906 @default.
- W4240786326 hasConcept C71924100 @default.
- W4240786326 hasConcept C89421646 @default.
- W4240786326 hasConceptScore W4240786326C108710211 @default.
- W4240786326 hasConceptScore W4240786326C111404639 @default.
- W4240786326 hasConceptScore W4240786326C118615104 @default.
- W4240786326 hasConceptScore W4240786326C166957645 @default.
- W4240786326 hasConceptScore W4240786326C17744445 @default.
- W4240786326 hasConceptScore W4240786326C199343813 @default.
- W4240786326 hasConceptScore W4240786326C199539241 @default.
- W4240786326 hasConceptScore W4240786326C205649164 @default.
- W4240786326 hasConceptScore W4240786326C2318724 @default.
- W4240786326 hasConceptScore W4240786326C2524010 @default.
- W4240786326 hasConceptScore W4240786326C2776608160 @default.
- W4240786326 hasConceptScore W4240786326C2777431735 @default.
- W4240786326 hasConceptScore W4240786326C2777686260 @default.
- W4240786326 hasConceptScore W4240786326C33923547 @default.
- W4240786326 hasConceptScore W4240786326C41008148 @default.
- W4240786326 hasConceptScore W4240786326C62073222 @default.
- W4240786326 hasConceptScore W4240786326C6489637 @default.
- W4240786326 hasConceptScore W4240786326C65880906 @default.
- W4240786326 hasConceptScore W4240786326C71924100 @default.
- W4240786326 hasConceptScore W4240786326C89421646 @default.
- W4240786326 hasLocation W42407863261 @default.
- W4240786326 hasOpenAccess W4240786326 @default.
- W4240786326 hasPrimaryLocation W42407863261 @default.
- W4240786326 hasRelatedWork W1562648369 @default.
- W4240786326 hasRelatedWork W1566344352 @default.
- W4240786326 hasRelatedWork W2009791150 @default.
- W4240786326 hasRelatedWork W2137780954 @default.
- W4240786326 hasRelatedWork W2263780827 @default.
- W4240786326 hasRelatedWork W2351433375 @default.
- W4240786326 hasRelatedWork W2513857873 @default.
- W4240786326 hasRelatedWork W2891688494 @default.
- W4240786326 hasRelatedWork W600370818 @default.
- W4240786326 hasRelatedWork W2584381231 @default.
- W4240786326 isParatext "false" @default.
- W4240786326 isRetracted "false" @default.
- W4240786326 workType "book" @default.