HEINRICH BEHMANN’S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGIC (Q2795296): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
(3 intermediate revisions by 3 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2155437720 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1504.04798 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5299931 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A note on the Entscheidungsproblem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Solvable cases of the decision problem / rank
 
Normal rank

Latest revision as of 15:15, 11 July 2024

scientific article
Language Label Description Also known as
English
HEINRICH BEHMANN’S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGIC
scientific article

    Statements

    HEINRICH BEHMANN’S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGIC (English)
    0 references
    0 references
    0 references
    18 March 2016
    0 references
    Heinrich Behmann
    0 references
    David Hilbert
    0 references
    decision problem
    0 references
    decision procedure
    0 references
    algebra of logic
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references