On the connection between narrowing and proof by consistency (Q5210767)

From MaRDI portal
scientific article; zbMATH DE number 7154543
Language Label Description Also known as
English
On the connection between narrowing and proof by consistency
scientific article; zbMATH DE number 7154543

    Statements