scientific article; zbMATH DE number 4160159

MaRDI QIDQ3486874zbMATH OpenFDO

Authors Vincenzo Cutello

Publication date 1988

zbMATH Keywords

answer literalsbinary paramodulationCdemodulationfactoringhyperresolutioninference rules binary resolutionOTTERsubsumptionterm orderingUR-resolutionweighting

Mathematics Subject Classification ID

Topological spaces and generalizations (closure spaces, etc.) (54A05)

Recommendations

• Automated Reasoning About Metric and Topology
• Automated reasoning about elementary point-set topology
• scientific article; zbMATH DE number 2247478
• Publication:4941841
• scientific article; zbMATH DE number 1537947
• scientific article; zbMATH DE number 3301445
• A topology for automata. II
• scientific article; zbMATH DE number 1829804
• Some applications of Gentzen's proof theory in automated deduction
• A system for computing and reasoning in algebraic topology

Cited in

(2)

• Automated reasoning about elementary point-set topology
• Automatic Construction and Verification of Isotopy Invariants

Describes a project that uses

Uses Software

• OTTER

This page was built for publication:

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