Matches in SemOpenAlex for { <https://semopenalex.org/work/W2893317412> ?p ?o ?g. }
- W2893317412 created "2018-10-05" @default.
- W2893317412 creator A5000723552 @default.
- W2893317412 date "2018-09-25" @default.
- W2893317412 modified "2023-09-24" @default.
- W2893317412 title "Translations Between Gentzen–Prawitz and Jaśkowski–Fitch Natural Deduction Proofs" @default.
- W2893317412 cites W146307271 @default.
- W2893317412 cites W1528233644 @default.
- W2893317412 cites W1601754364 @default.
- W2893317412 cites W1952137785 @default.
- W2893317412 cites W1978338594 @default.
- W2893317412 cites W2001481147 @default.
- W2893317412 cites W2005602970 @default.
- W2893317412 cites W2009867732 @default.
- W2893317412 cites W2012346013 @default.
- W2893317412 cites W2012449337 @default.
- W2893317412 cites W2034981868 @default.
- W2893317412 cites W2037693339 @default.
- W2893317412 cites W2045171698 @default.
- W2893317412 cites W2047063760 @default.
- W2893317412 cites W2050800354 @default.
- W2893317412 cites W2053856951 @default.
- W2893317412 cites W2054162580 @default.
- W2893317412 cites W2054320265 @default.
- W2893317412 cites W2058117811 @default.
- W2893317412 cites W2070199250 @default.
- W2893317412 cites W2074674636 @default.
- W2893317412 cites W2091225478 @default.
- W2893317412 cites W2102374640 @default.
- W2893317412 cites W2143786699 @default.
- W2893317412 cites W2148761448 @default.
- W2893317412 cites W2165614850 @default.
- W2893317412 cites W2397608465 @default.
- W2893317412 cites W2533972569 @default.
- W2893317412 cites W2608790172 @default.
- W2893317412 cites W2777163353 @default.
- W2893317412 cites W2793313043 @default.
- W2893317412 cites W2800506427 @default.
- W2893317412 cites W3191556438 @default.
- W2893317412 cites W4206007682 @default.
- W2893317412 cites W4210848565 @default.
- W2893317412 cites W4211144022 @default.
- W2893317412 cites W4242503634 @default.
- W2893317412 doi "https://doi.org/10.1007/s11225-018-9828-2" @default.
- W2893317412 hasPublicationYear "2018" @default.
- W2893317412 type Work @default.
- W2893317412 sameAs 2893317412 @default.
- W2893317412 citedByCount "1" @default.
- W2893317412 countsByYear W28933174122021 @default.
- W2893317412 crossrefType "journal-article" @default.
- W2893317412 hasAuthorship W2893317412A5000723552 @default.
- W2893317412 hasConcept C108710211 @default.
- W2893317412 hasConcept C118615104 @default.
- W2893317412 hasConcept C136119220 @default.
- W2893317412 hasConcept C166957645 @default.
- W2893317412 hasConcept C178421362 @default.
- W2893317412 hasConcept C199343813 @default.
- W2893317412 hasConcept C202444582 @default.
- W2893317412 hasConcept C2318724 @default.
- W2893317412 hasConcept C2524010 @default.
- W2893317412 hasConcept C2776608160 @default.
- W2893317412 hasConcept C2777686260 @default.
- W2893317412 hasConcept C28077239 @default.
- W2893317412 hasConcept C33923547 @default.
- W2893317412 hasConcept C41008148 @default.
- W2893317412 hasConcept C62073222 @default.
- W2893317412 hasConcept C65880906 @default.
- W2893317412 hasConcept C71924100 @default.
- W2893317412 hasConcept C95457728 @default.
- W2893317412 hasConceptScore W2893317412C108710211 @default.
- W2893317412 hasConceptScore W2893317412C118615104 @default.
- W2893317412 hasConceptScore W2893317412C136119220 @default.
- W2893317412 hasConceptScore W2893317412C166957645 @default.
- W2893317412 hasConceptScore W2893317412C178421362 @default.
- W2893317412 hasConceptScore W2893317412C199343813 @default.
- W2893317412 hasConceptScore W2893317412C202444582 @default.
- W2893317412 hasConceptScore W2893317412C2318724 @default.
- W2893317412 hasConceptScore W2893317412C2524010 @default.
- W2893317412 hasConceptScore W2893317412C2776608160 @default.
- W2893317412 hasConceptScore W2893317412C2777686260 @default.
- W2893317412 hasConceptScore W2893317412C28077239 @default.
- W2893317412 hasConceptScore W2893317412C33923547 @default.
- W2893317412 hasConceptScore W2893317412C41008148 @default.
- W2893317412 hasConceptScore W2893317412C62073222 @default.
- W2893317412 hasConceptScore W2893317412C65880906 @default.
- W2893317412 hasConceptScore W2893317412C71924100 @default.
- W2893317412 hasConceptScore W2893317412C95457728 @default.
- W2893317412 hasFunder F4320334704 @default.
- W2893317412 hasLocation W28933174121 @default.
- W2893317412 hasOpenAccess W2893317412 @default.
- W2893317412 hasPrimaryLocation W28933174121 @default.
- W2893317412 hasRelatedWork W1409123408 @default.
- W2893317412 hasRelatedWork W1506616756 @default.
- W2893317412 hasRelatedWork W1807903125 @default.
- W2893317412 hasRelatedWork W2068169489 @default.
- W2893317412 hasRelatedWork W2096191306 @default.
- W2893317412 hasRelatedWork W2270243227 @default.
- W2893317412 hasRelatedWork W2760927084 @default.
- W2893317412 hasRelatedWork W2893317412 @default.
- W2893317412 hasRelatedWork W40425547 @default.
- W2893317412 hasRelatedWork W2183851921 @default.