Non-resolution theorem proving (Q1238434)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Non-resolution theorem proving
scientific article

    Statements

    title
    Non-resolution theorem proving (English)
    0 references
    author
    W. W. Bledsoe
    0 references
    publication date
    1977
    0 references
    zbMATH DE Number
    3559034
    0 references
    OpenAlex ID
    W2023139438
    0 references
    cites work
    Q5624685
    0 references
    Q4088305
    0 references
    Q5679729
    0 references
    Q5681544
    0 references
    Q5616174
    0 references
    Q5721424
    0 references
    Q5670164
    0 references
    Q5581665
    0 references
    Q4766612
    0 references
    Q5583066
    0 references
    Q5519616
    0 references
    Q5529027
    0 references
    Q5678447
    0 references
    Q5624683
    0 references
    Q5590294
    0 references
    Q3667965
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1238434&oldid=34600638"
    Powered by MediaWiki