Simultaneous paramodulation (Q6488550)

From MaRDI portal
scientific article; zbMATH DE number 7680825
Language Label Description Also known as
English
Simultaneous paramodulation
scientific article; zbMATH DE number 7680825

    Statements

    Identifiers