scientific article; zbMATH DE number 4160159

zbMATH Open0706.68082MaRDI QIDQ3486874FDOQ3486874

Authors: Vincenzo Cutello 

Publication date: 1988

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

weightingfactoringdemodulationterm orderingsubsumptionhyperresolutionOTTERUR-resolutionCanswer literalsbinary paramodulationinference rules binary resolution

Mathematics Subject Classification ID

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

Cited In (2)

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

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)