The complexity of theorem-proving procedures (Q5667480): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Set OpenAlex properties.
label / enlabel / en
 
The complexity of theorem-proving procedures
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1145/800157.805047 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1145/800157.805047 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2036265926 / rank
 
Normal rank
Property / title
 
The complexity of theorem-proving procedures (English)
Property / title: The complexity of theorem-proving procedures (English) / rank
 
Normal rank

Revision as of 22:01, 19 March 2024

scientific article; zbMATH DE number 3400443
Language Label Description Also known as
English
The complexity of theorem-proving procedures
scientific article; zbMATH DE number 3400443

    Statements

    1971
    0 references
    0 references
    The complexity of theorem-proving procedures (English)
    0 references

    Identifiers