On restrictions of ordered paramodulation with simplification (Q6488549)

From MaRDI portal
scientific article; zbMATH DE number 7680824
Language Label Description Also known as
English
On restrictions of ordered paramodulation with simplification
scientific article; zbMATH DE number 7680824

    Statements

    On restrictions of ordered paramodulation with simplification (English)
    0 references
    0 references
    0 references
    28 April 2023
    0 references

    Identifiers