Modification of the Robinson's resolution method for built-in predicates

MaRDI QIDQ1382912zbMATH OpenFDO

Authors S. A. Nigiyan

Publication date 24 March 1998

Published in Journal of Contemporary Mathematical Analysis. Armenian Academy of Sciences (Search for Journal in Brave)

zbMATH Keywords

computable predicateRobinson resolution ruleunary resolution rule

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 3871320
• A resolution rule for well-formed formulae
• scientific article; zbMATH DE number 4128784
• Publication:3487317
• scientific article; zbMATH DE number 510785

This page was built for publication: Modification of the Robinson's resolution method for built-in predicates

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1382912)