Matches in SemOpenAlex for { <https://semopenalex.org/work/W18742077> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W18742077 endingPage "92" @default.
- W18742077 startingPage "85" @default.
- W18742077 created "2016-06-24" @default.
- W18742077 creator A5004844102 @default.
- W18742077 creator A5012406395 @default.
- W18742077 creator A5064915259 @default.
- W18742077 date "2011-01-01" @default.
- W18742077 modified "2023-09-30" @default.
- W18742077 title "Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students" @default.
- W18742077 cites W2053119509 @default.
- W18742077 cites W2054320265 @default.
- W18742077 cites W2144732342 @default.
- W18742077 doi "https://doi.org/10.1007/978-3-642-21350-2_11" @default.
- W18742077 hasPublicationYear "2011" @default.
- W18742077 type Work @default.
- W18742077 sameAs 18742077 @default.
- W18742077 citedByCount "7" @default.
- W18742077 countsByYear W187420772015 @default.
- W18742077 countsByYear W187420772018 @default.
- W18742077 countsByYear W187420772019 @default.
- W18742077 countsByYear W187420772021 @default.
- W18742077 countsByYear W187420772023 @default.
- W18742077 crossrefType "book-chapter" @default.
- W18742077 hasAuthorship W18742077A5004844102 @default.
- W18742077 hasAuthorship W18742077A5012406395 @default.
- W18742077 hasAuthorship W18742077A5064915259 @default.
- W18742077 hasConcept C108710211 @default.
- W18742077 hasConcept C111919701 @default.
- W18742077 hasConcept C11413529 @default.
- W18742077 hasConcept C124978682 @default.
- W18742077 hasConcept C166957645 @default.
- W18742077 hasConcept C195653647 @default.
- W18742077 hasConcept C199343813 @default.
- W18742077 hasConcept C199360897 @default.
- W18742077 hasConcept C203265346 @default.
- W18742077 hasConcept C2318724 @default.
- W18742077 hasConcept C2524010 @default.
- W18742077 hasConcept C2776608160 @default.
- W18742077 hasConcept C2777686260 @default.
- W18742077 hasConcept C33923547 @default.
- W18742077 hasConcept C41008148 @default.
- W18742077 hasConcept C62073222 @default.
- W18742077 hasConcept C71924100 @default.
- W18742077 hasConcept C95457728 @default.
- W18742077 hasConceptScore W18742077C108710211 @default.
- W18742077 hasConceptScore W18742077C111919701 @default.
- W18742077 hasConceptScore W18742077C11413529 @default.
- W18742077 hasConceptScore W18742077C124978682 @default.
- W18742077 hasConceptScore W18742077C166957645 @default.
- W18742077 hasConceptScore W18742077C195653647 @default.
- W18742077 hasConceptScore W18742077C199343813 @default.
- W18742077 hasConceptScore W18742077C199360897 @default.
- W18742077 hasConceptScore W18742077C203265346 @default.
- W18742077 hasConceptScore W18742077C2318724 @default.
- W18742077 hasConceptScore W18742077C2524010 @default.
- W18742077 hasConceptScore W18742077C2776608160 @default.
- W18742077 hasConceptScore W18742077C2777686260 @default.
- W18742077 hasConceptScore W18742077C33923547 @default.
- W18742077 hasConceptScore W18742077C41008148 @default.
- W18742077 hasConceptScore W18742077C62073222 @default.
- W18742077 hasConceptScore W18742077C71924100 @default.
- W18742077 hasConceptScore W18742077C95457728 @default.
- W18742077 hasLocation W187420771 @default.
- W18742077 hasOpenAccess W18742077 @default.
- W18742077 hasPrimaryLocation W187420771 @default.
- W18742077 hasRelatedWork W1519265079 @default.
- W18742077 hasRelatedWork W1567428354 @default.
- W18742077 hasRelatedWork W1679894682 @default.
- W18742077 hasRelatedWork W18742077 @default.
- W18742077 hasRelatedWork W1981809958 @default.
- W18742077 hasRelatedWork W2114558609 @default.
- W18742077 hasRelatedWork W2115401928 @default.
- W18742077 hasRelatedWork W3187382182 @default.
- W18742077 hasRelatedWork W3212503723 @default.
- W18742077 hasRelatedWork W2043931823 @default.
- W18742077 isParatext "false" @default.
- W18742077 isRetracted "false" @default.
- W18742077 magId "18742077" @default.
- W18742077 workType "book-chapter" @default.