Detecting non-provable goals (Q5210774)

From MaRDI portal
scientific article; zbMATH DE number 7154549
Language Label Description Also known as
English
Detecting non-provable goals
scientific article; zbMATH DE number 7154549

    Statements