Matches in SemOpenAlex for { <https://semopenalex.org/work/W838397816> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W838397816 endingPage "414" @default.
- W838397816 startingPage "408" @default.
- W838397816 created "2016-06-24" @default.
- W838397816 creator A5077783297 @default.
- W838397816 date "1998-01-01" @default.
- W838397816 modified "2023-09-26" @default.
- W838397816 title "From Second-Order Logic to Second-Order Calculus of Proof Functions" @default.
- W838397816 doi "https://doi.org/10.1007/978-94-017-3616-9_41" @default.
- W838397816 hasPublicationYear "1998" @default.
- W838397816 type Work @default.
- W838397816 sameAs 838397816 @default.
- W838397816 citedByCount "0" @default.
- W838397816 crossrefType "book-chapter" @default.
- W838397816 hasAuthorship W838397816A5077783297 @default.
- W838397816 hasConcept C100481476 @default.
- W838397816 hasConcept C10138342 @default.
- W838397816 hasConcept C102993220 @default.
- W838397816 hasConcept C108710211 @default.
- W838397816 hasConcept C118615104 @default.
- W838397816 hasConcept C136119220 @default.
- W838397816 hasConcept C144791301 @default.
- W838397816 hasConcept C162324750 @default.
- W838397816 hasConcept C167729594 @default.
- W838397816 hasConcept C169896238 @default.
- W838397816 hasConcept C182306322 @default.
- W838397816 hasConcept C195653647 @default.
- W838397816 hasConcept C199343813 @default.
- W838397816 hasConcept C202444582 @default.
- W838397816 hasConcept C2318724 @default.
- W838397816 hasConcept C2524010 @default.
- W838397816 hasConcept C2777686260 @default.
- W838397816 hasConcept C33923547 @default.
- W838397816 hasConcept C41008148 @default.
- W838397816 hasConcept C62073222 @default.
- W838397816 hasConcept C6489637 @default.
- W838397816 hasConcept C71924100 @default.
- W838397816 hasConcept C80444323 @default.
- W838397816 hasConceptScore W838397816C100481476 @default.
- W838397816 hasConceptScore W838397816C10138342 @default.
- W838397816 hasConceptScore W838397816C102993220 @default.
- W838397816 hasConceptScore W838397816C108710211 @default.
- W838397816 hasConceptScore W838397816C118615104 @default.
- W838397816 hasConceptScore W838397816C136119220 @default.
- W838397816 hasConceptScore W838397816C144791301 @default.
- W838397816 hasConceptScore W838397816C162324750 @default.
- W838397816 hasConceptScore W838397816C167729594 @default.
- W838397816 hasConceptScore W838397816C169896238 @default.
- W838397816 hasConceptScore W838397816C182306322 @default.
- W838397816 hasConceptScore W838397816C195653647 @default.
- W838397816 hasConceptScore W838397816C199343813 @default.
- W838397816 hasConceptScore W838397816C202444582 @default.
- W838397816 hasConceptScore W838397816C2318724 @default.
- W838397816 hasConceptScore W838397816C2524010 @default.
- W838397816 hasConceptScore W838397816C2777686260 @default.
- W838397816 hasConceptScore W838397816C33923547 @default.
- W838397816 hasConceptScore W838397816C41008148 @default.
- W838397816 hasConceptScore W838397816C62073222 @default.
- W838397816 hasConceptScore W838397816C6489637 @default.
- W838397816 hasConceptScore W838397816C71924100 @default.
- W838397816 hasConceptScore W838397816C80444323 @default.
- W838397816 hasLocation W8383978161 @default.
- W838397816 hasOpenAccess W838397816 @default.
- W838397816 hasPrimaryLocation W8383978161 @default.
- W838397816 hasRelatedWork W1519265079 @default.
- W838397816 hasRelatedWork W1521348091 @default.
- W838397816 hasRelatedWork W1608764256 @default.
- W838397816 hasRelatedWork W1814211106 @default.
- W838397816 hasRelatedWork W2949364654 @default.
- W838397816 hasRelatedWork W30156491 @default.
- W838397816 hasRelatedWork W4206820621 @default.
- W838397816 hasRelatedWork W838397816 @default.
- W838397816 hasRelatedWork W2504209112 @default.
- W838397816 hasRelatedWork W2584124342 @default.
- W838397816 isParatext "false" @default.
- W838397816 isRetracted "false" @default.
- W838397816 magId "838397816" @default.
- W838397816 workType "book-chapter" @default.