Matches in SemOpenAlex for { <https://semopenalex.org/work/W2038831710> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2038831710 endingPage "983" @default.
- W2038831710 startingPage "980" @default.
- W2038831710 created "2016-06-24" @default.
- W2038831710 creator A5074571537 @default.
- W2038831710 date "1966-01-01" @default.
- W2038831710 modified "2023-09-24" @default.
- W2038831710 title "A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic" @default.
- W2038831710 cites W2089702017 @default.
- W2038831710 cites W2160331299 @default.
- W2038831710 cites W969295556 @default.
- W2038831710 doi "https://doi.org/10.1090/s0002-9904-1966-11611-7" @default.
- W2038831710 hasPublicationYear "1966" @default.
- W2038831710 type Work @default.
- W2038831710 sameAs 2038831710 @default.
- W2038831710 citedByCount "60" @default.
- W2038831710 countsByYear W20388317102012 @default.
- W2038831710 countsByYear W20388317102014 @default.
- W2038831710 countsByYear W20388317102015 @default.
- W2038831710 countsByYear W20388317102016 @default.
- W2038831710 countsByYear W20388317102017 @default.
- W2038831710 countsByYear W20388317102018 @default.
- W2038831710 countsByYear W20388317102019 @default.
- W2038831710 countsByYear W20388317102020 @default.
- W2038831710 countsByYear W20388317102021 @default.
- W2038831710 countsByYear W20388317102022 @default.
- W2038831710 countsByYear W20388317102023 @default.
- W2038831710 crossrefType "journal-article" @default.
- W2038831710 hasAuthorship W2038831710A5074571537 @default.
- W2038831710 hasBestOaLocation W20388317101 @default.
- W2038831710 hasConcept C102993220 @default.
- W2038831710 hasConcept C118615104 @default.
- W2038831710 hasConcept C140146324 @default.
- W2038831710 hasConcept C19689857 @default.
- W2038831710 hasConcept C199343813 @default.
- W2038831710 hasConcept C199360897 @default.
- W2038831710 hasConcept C2777686260 @default.
- W2038831710 hasConcept C33923547 @default.
- W2038831710 hasConcept C41008148 @default.
- W2038831710 hasConcept C71924100 @default.
- W2038831710 hasConcept C80444323 @default.
- W2038831710 hasConceptScore W2038831710C102993220 @default.
- W2038831710 hasConceptScore W2038831710C118615104 @default.
- W2038831710 hasConceptScore W2038831710C140146324 @default.
- W2038831710 hasConceptScore W2038831710C19689857 @default.
- W2038831710 hasConceptScore W2038831710C199343813 @default.
- W2038831710 hasConceptScore W2038831710C199360897 @default.
- W2038831710 hasConceptScore W2038831710C2777686260 @default.
- W2038831710 hasConceptScore W2038831710C33923547 @default.
- W2038831710 hasConceptScore W2038831710C41008148 @default.
- W2038831710 hasConceptScore W2038831710C71924100 @default.
- W2038831710 hasConceptScore W2038831710C80444323 @default.
- W2038831710 hasIssue "6" @default.
- W2038831710 hasLocation W20388317101 @default.
- W2038831710 hasLocation W20388317102 @default.
- W2038831710 hasLocation W20388317103 @default.
- W2038831710 hasOpenAccess W2038831710 @default.
- W2038831710 hasPrimaryLocation W20388317101 @default.
- W2038831710 hasRelatedWork W1972446139 @default.
- W2038831710 hasRelatedWork W2018616641 @default.
- W2038831710 hasRelatedWork W2057179252 @default.
- W2038831710 hasRelatedWork W2150377819 @default.
- W2038831710 hasRelatedWork W2296002977 @default.
- W2038831710 hasRelatedWork W24511637 @default.
- W2038831710 hasRelatedWork W2898294246 @default.
- W2038831710 hasRelatedWork W3007835832 @default.
- W2038831710 hasRelatedWork W3043136126 @default.
- W2038831710 hasRelatedWork W3176709169 @default.
- W2038831710 hasVolume "72" @default.
- W2038831710 isParatext "false" @default.
- W2038831710 isRetracted "false" @default.
- W2038831710 magId "2038831710" @default.
- W2038831710 workType "article" @default.