A new application for explanation-based generalisation within automated deduction (Q5210770)

From MaRDI portal
scientific article; zbMATH DE number 7154546
Language Label Description Also known as
English
A new application for explanation-based generalisation within automated deduction
scientific article; zbMATH DE number 7154546

    Statements