Matches in SemOpenAlex for { <https://semopenalex.org/work/W2155437720> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2155437720 endingPage "187" @default.
- W2155437720 startingPage "164" @default.
- W2155437720 abstract "Heinrich Behmann (1891-1970) obtained his Habilitation under David Hilbert in Gottingen in 1921 with a thesis on the decision problem. In his thesis, he solved-independently of Lowenheim and Skolem's earlier work-the decision problem for monadic second-order logic in a framework that combined elements of the algebra of logic and the newer axiomatic approach to logic then being developed in Gottingen. In a talk given in 1921, he outlined this solution, but also presented important programmatic remarks on the significance of the decision problem and of decision procedures more generally. The text of this talk as well as a partial English translation are included." @default.
- W2155437720 created "2016-06-24" @default.
- W2155437720 creator A5017285737 @default.
- W2155437720 creator A5086862307 @default.
- W2155437720 date "2015-06-01" @default.
- W2155437720 modified "2023-09-30" @default.
- W2155437720 title "HEINRICH BEHMANN’S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGIC" @default.
- W2155437720 cites W1549008998 @default.
- W2155437720 cites W1969356353 @default.
- W2155437720 cites W2018189786 @default.
- W2155437720 cites W2025403483 @default.
- W2155437720 cites W2057503265 @default.
- W2155437720 cites W2064811181 @default.
- W2155437720 cites W2082187221 @default.
- W2155437720 cites W2126160338 @default.
- W2155437720 cites W2330723555 @default.
- W2155437720 cites W4211147475 @default.
- W2155437720 cites W4229693731 @default.
- W2155437720 cites W4245744815 @default.
- W2155437720 cites W4256369010 @default.
- W2155437720 doi "https://doi.org/10.1017/bsl.2015.10" @default.
- W2155437720 hasPublicationYear "2015" @default.
- W2155437720 type Work @default.
- W2155437720 sameAs 2155437720 @default.
- W2155437720 citedByCount "27" @default.
- W2155437720 countsByYear W21554377202015 @default.
- W2155437720 countsByYear W21554377202016 @default.
- W2155437720 countsByYear W21554377202017 @default.
- W2155437720 countsByYear W21554377202021 @default.
- W2155437720 countsByYear W21554377202023 @default.
- W2155437720 crossrefType "journal-article" @default.
- W2155437720 hasAuthorship W2155437720A5017285737 @default.
- W2155437720 hasAuthorship W2155437720A5086862307 @default.
- W2155437720 hasBestOaLocation W21554377202 @default.
- W2155437720 hasConcept C11413529 @default.
- W2155437720 hasConcept C115988155 @default.
- W2155437720 hasConcept C136119220 @default.
- W2155437720 hasConcept C138885662 @default.
- W2155437720 hasConcept C15708023 @default.
- W2155437720 hasConcept C167729594 @default.
- W2155437720 hasConcept C185592680 @default.
- W2155437720 hasConcept C188027245 @default.
- W2155437720 hasConcept C199343813 @default.
- W2155437720 hasConcept C202444582 @default.
- W2155437720 hasConcept C2524010 @default.
- W2155437720 hasConcept C27508121 @default.
- W2155437720 hasConcept C2777686260 @default.
- W2155437720 hasConcept C2908837262 @default.
- W2155437720 hasConcept C33923547 @default.
- W2155437720 hasConcept C41008148 @default.
- W2155437720 hasConcept C71139939 @default.
- W2155437720 hasConcept C71924100 @default.
- W2155437720 hasConceptScore W2155437720C11413529 @default.
- W2155437720 hasConceptScore W2155437720C115988155 @default.
- W2155437720 hasConceptScore W2155437720C136119220 @default.
- W2155437720 hasConceptScore W2155437720C138885662 @default.
- W2155437720 hasConceptScore W2155437720C15708023 @default.
- W2155437720 hasConceptScore W2155437720C167729594 @default.
- W2155437720 hasConceptScore W2155437720C185592680 @default.
- W2155437720 hasConceptScore W2155437720C188027245 @default.
- W2155437720 hasConceptScore W2155437720C199343813 @default.
- W2155437720 hasConceptScore W2155437720C202444582 @default.
- W2155437720 hasConceptScore W2155437720C2524010 @default.
- W2155437720 hasConceptScore W2155437720C27508121 @default.
- W2155437720 hasConceptScore W2155437720C2777686260 @default.
- W2155437720 hasConceptScore W2155437720C2908837262 @default.
- W2155437720 hasConceptScore W2155437720C33923547 @default.
- W2155437720 hasConceptScore W2155437720C41008148 @default.
- W2155437720 hasConceptScore W2155437720C71139939 @default.
- W2155437720 hasConceptScore W2155437720C71924100 @default.
- W2155437720 hasIssue "2" @default.
- W2155437720 hasLocation W21554377201 @default.
- W2155437720 hasLocation W21554377202 @default.
- W2155437720 hasLocation W21554377203 @default.
- W2155437720 hasLocation W21554377204 @default.
- W2155437720 hasOpenAccess W2155437720 @default.
- W2155437720 hasPrimaryLocation W21554377201 @default.
- W2155437720 hasRelatedWork W1993195187 @default.
- W2155437720 hasRelatedWork W2061003582 @default.
- W2155437720 hasRelatedWork W2063488590 @default.
- W2155437720 hasRelatedWork W2118119080 @default.
- W2155437720 hasRelatedWork W2155437720 @default.
- W2155437720 hasRelatedWork W2332694326 @default.
- W2155437720 hasRelatedWork W3046926816 @default.
- W2155437720 hasRelatedWork W4230623537 @default.
- W2155437720 hasRelatedWork W4249089511 @default.
- W2155437720 hasRelatedWork W4385444924 @default.
- W2155437720 hasVolume "21" @default.
- W2155437720 isParatext "false" @default.
- W2155437720 isRetracted "false" @default.
- W2155437720 magId "2155437720" @default.
- W2155437720 workType "article" @default.