Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567428354> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1567428354 endingPage "184" @default.
- W1567428354 startingPage "173" @default.
- W1567428354 created "2016-06-24" @default.
- W1567428354 creator A5005786075 @default.
- W1567428354 creator A5080555605 @default.
- W1567428354 date "1985-01-01" @default.
- W1567428354 modified "2023-09-23" @default.
- W1567428354 title "PROOF-PAD An Interactive Proof Generating System Using Natural Deduction" @default.
- W1567428354 cites W2023139438 @default.
- W1567428354 cites W2039977878 @default.
- W1567428354 cites W2125692076 @default.
- W1567428354 cites W2479932119 @default.
- W1567428354 doi "https://doi.org/10.1007/978-3-642-46552-9_20" @default.
- W1567428354 hasPublicationYear "1985" @default.
- W1567428354 type Work @default.
- W1567428354 sameAs 1567428354 @default.
- W1567428354 citedByCount "0" @default.
- W1567428354 crossrefType "book-chapter" @default.
- W1567428354 hasAuthorship W1567428354A5005786075 @default.
- W1567428354 hasAuthorship W1567428354A5080555605 @default.
- W1567428354 hasConcept C105605280 @default.
- W1567428354 hasConcept C108710211 @default.
- W1567428354 hasConcept C111919701 @default.
- W1567428354 hasConcept C11413529 @default.
- W1567428354 hasConcept C124978682 @default.
- W1567428354 hasConcept C144559511 @default.
- W1567428354 hasConcept C166957645 @default.
- W1567428354 hasConcept C173613240 @default.
- W1567428354 hasConcept C17744445 @default.
- W1567428354 hasConcept C195653647 @default.
- W1567428354 hasConcept C199343813 @default.
- W1567428354 hasConcept C199360897 @default.
- W1567428354 hasConcept C199539241 @default.
- W1567428354 hasConcept C203265346 @default.
- W1567428354 hasConcept C206880738 @default.
- W1567428354 hasConcept C2318724 @default.
- W1567428354 hasConcept C2524010 @default.
- W1567428354 hasConcept C2776359362 @default.
- W1567428354 hasConcept C2776608160 @default.
- W1567428354 hasConcept C2777686260 @default.
- W1567428354 hasConcept C33923547 @default.
- W1567428354 hasConcept C41008148 @default.
- W1567428354 hasConcept C62073222 @default.
- W1567428354 hasConcept C71924100 @default.
- W1567428354 hasConcept C80444323 @default.
- W1567428354 hasConcept C94625758 @default.
- W1567428354 hasConcept C95457728 @default.
- W1567428354 hasConcept C98045186 @default.
- W1567428354 hasConceptScore W1567428354C105605280 @default.
- W1567428354 hasConceptScore W1567428354C108710211 @default.
- W1567428354 hasConceptScore W1567428354C111919701 @default.
- W1567428354 hasConceptScore W1567428354C11413529 @default.
- W1567428354 hasConceptScore W1567428354C124978682 @default.
- W1567428354 hasConceptScore W1567428354C144559511 @default.
- W1567428354 hasConceptScore W1567428354C166957645 @default.
- W1567428354 hasConceptScore W1567428354C173613240 @default.
- W1567428354 hasConceptScore W1567428354C17744445 @default.
- W1567428354 hasConceptScore W1567428354C195653647 @default.
- W1567428354 hasConceptScore W1567428354C199343813 @default.
- W1567428354 hasConceptScore W1567428354C199360897 @default.
- W1567428354 hasConceptScore W1567428354C199539241 @default.
- W1567428354 hasConceptScore W1567428354C203265346 @default.
- W1567428354 hasConceptScore W1567428354C206880738 @default.
- W1567428354 hasConceptScore W1567428354C2318724 @default.
- W1567428354 hasConceptScore W1567428354C2524010 @default.
- W1567428354 hasConceptScore W1567428354C2776359362 @default.
- W1567428354 hasConceptScore W1567428354C2776608160 @default.
- W1567428354 hasConceptScore W1567428354C2777686260 @default.
- W1567428354 hasConceptScore W1567428354C33923547 @default.
- W1567428354 hasConceptScore W1567428354C41008148 @default.
- W1567428354 hasConceptScore W1567428354C62073222 @default.
- W1567428354 hasConceptScore W1567428354C71924100 @default.
- W1567428354 hasConceptScore W1567428354C80444323 @default.
- W1567428354 hasConceptScore W1567428354C94625758 @default.
- W1567428354 hasConceptScore W1567428354C95457728 @default.
- W1567428354 hasConceptScore W1567428354C98045186 @default.
- W1567428354 hasLocation W15674283541 @default.
- W1567428354 hasOpenAccess W1567428354 @default.
- W1567428354 hasPrimaryLocation W15674283541 @default.
- W1567428354 hasRelatedWork W122982323 @default.
- W1567428354 hasRelatedWork W1524804222 @default.
- W1567428354 hasRelatedWork W1548568192 @default.
- W1567428354 hasRelatedWork W1561664087 @default.
- W1567428354 hasRelatedWork W1614097270 @default.
- W1567428354 hasRelatedWork W2055920195 @default.
- W1567428354 hasRelatedWork W2263677784 @default.
- W1567428354 hasRelatedWork W2408514828 @default.
- W1567428354 hasRelatedWork W3187382182 @default.
- W1567428354 hasRelatedWork W1852954869 @default.
- W1567428354 isParatext "false" @default.
- W1567428354 isRetracted "false" @default.
- W1567428354 magId "1567428354" @default.
- W1567428354 workType "book-chapter" @default.