Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912258171> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2912258171 abstract "A short text in the hand of David Hilbert, discovered in Göttingen a century after it was written, shows that Hilbert had considered adding a 24th problem to his famous list of mathematical problems of the year 1900. The problem he had in mind was to find criteria for the simplicity of proofs and to develop a general theory of methods of proof in mathematics. In this paper, it is discussed to what extent proof theory has achieved the second of these aims. This article is part of the theme issue ‘The notion of ‘simple proof’ - Hilbert's 24th problem’." @default.
- W2912258171 created "2019-02-21" @default.
- W2912258171 creator A5050687353 @default.
- W2912258171 creator A5051669490 @default.
- W2912258171 date "2019-01-21" @default.
- W2912258171 modified "2023-10-16" @default.
- W2912258171 title "From mathematical axioms to mathematical rules of proof: recent developments in proof analysis" @default.
- W2912258171 cites W1043660496 @default.
- W2912258171 cites W1528233644 @default.
- W2912258171 cites W1988047824 @default.
- W2912258171 cites W1990493960 @default.
- W2912258171 cites W2006400179 @default.
- W2912258171 cites W2041585656 @default.
- W2912258171 cites W2115895996 @default.
- W2912258171 cites W2216255786 @default.
- W2912258171 doi "https://doi.org/10.1098/rsta.2018.0037" @default.
- W2912258171 hasPubMedId "https://pubmed.ncbi.nlm.nih.gov/30966972" @default.
- W2912258171 hasPublicationYear "2019" @default.
- W2912258171 type Work @default.
- W2912258171 sameAs 2912258171 @default.
- W2912258171 citedByCount "2" @default.
- W2912258171 countsByYear W29122581712019 @default.
- W2912258171 countsByYear W29122581712021 @default.
- W2912258171 crossrefType "journal-article" @default.
- W2912258171 hasAuthorship W2912258171A5050687353 @default.
- W2912258171 hasAuthorship W2912258171A5051669490 @default.
- W2912258171 hasBestOaLocation W29122581711 @default.
- W2912258171 hasConcept C108710211 @default.
- W2912258171 hasConcept C111472728 @default.
- W2912258171 hasConcept C121332964 @default.
- W2912258171 hasConcept C136119220 @default.
- W2912258171 hasConcept C138885662 @default.
- W2912258171 hasConcept C144237770 @default.
- W2912258171 hasConcept C167729594 @default.
- W2912258171 hasConcept C195653647 @default.
- W2912258171 hasConcept C199343813 @default.
- W2912258171 hasConcept C202444582 @default.
- W2912258171 hasConcept C2318724 @default.
- W2912258171 hasConcept C2524010 @default.
- W2912258171 hasConcept C2776372474 @default.
- W2912258171 hasConcept C2777686260 @default.
- W2912258171 hasConcept C2779193601 @default.
- W2912258171 hasConcept C2780586882 @default.
- W2912258171 hasConcept C33923547 @default.
- W2912258171 hasConcept C41008148 @default.
- W2912258171 hasConcept C62520636 @default.
- W2912258171 hasConcept C71924100 @default.
- W2912258171 hasConcept C94461902 @default.
- W2912258171 hasConceptScore W2912258171C108710211 @default.
- W2912258171 hasConceptScore W2912258171C111472728 @default.
- W2912258171 hasConceptScore W2912258171C121332964 @default.
- W2912258171 hasConceptScore W2912258171C136119220 @default.
- W2912258171 hasConceptScore W2912258171C138885662 @default.
- W2912258171 hasConceptScore W2912258171C144237770 @default.
- W2912258171 hasConceptScore W2912258171C167729594 @default.
- W2912258171 hasConceptScore W2912258171C195653647 @default.
- W2912258171 hasConceptScore W2912258171C199343813 @default.
- W2912258171 hasConceptScore W2912258171C202444582 @default.
- W2912258171 hasConceptScore W2912258171C2318724 @default.
- W2912258171 hasConceptScore W2912258171C2524010 @default.
- W2912258171 hasConceptScore W2912258171C2776372474 @default.
- W2912258171 hasConceptScore W2912258171C2777686260 @default.
- W2912258171 hasConceptScore W2912258171C2779193601 @default.
- W2912258171 hasConceptScore W2912258171C2780586882 @default.
- W2912258171 hasConceptScore W2912258171C33923547 @default.
- W2912258171 hasConceptScore W2912258171C41008148 @default.
- W2912258171 hasConceptScore W2912258171C62520636 @default.
- W2912258171 hasConceptScore W2912258171C71924100 @default.
- W2912258171 hasConceptScore W2912258171C94461902 @default.
- W2912258171 hasLocation W29122581711 @default.
- W2912258171 hasLocation W29122581712 @default.
- W2912258171 hasLocation W29122581713 @default.
- W2912258171 hasOpenAccess W2912258171 @default.
- W2912258171 hasPrimaryLocation W29122581711 @default.
- W2912258171 hasRelatedWork W122982323 @default.
- W2912258171 hasRelatedWork W1496026483 @default.
- W2912258171 hasRelatedWork W1503170941 @default.
- W2912258171 hasRelatedWork W1510627098 @default.
- W2912258171 hasRelatedWork W1561664087 @default.
- W2912258171 hasRelatedWork W2158701616 @default.
- W2912258171 hasRelatedWork W2463991046 @default.
- W2912258171 hasRelatedWork W3006605088 @default.
- W2912258171 hasRelatedWork W2119682046 @default.
- W2912258171 hasRelatedWork W2491370528 @default.
- W2912258171 isParatext "false" @default.
- W2912258171 isRetracted "false" @default.
- W2912258171 magId "2912258171" @default.
- W2912258171 workType "article" @default.