Automated reasoning about elementary point-set topology

DOI10.1007/BF00243005zbMath0675.68049OpenAlexW1969873554MaRDI QIDQ1122363

Cynthia A. Wick, William W. McCune

Publication date: 1989

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00243005

zbMATH Keywords

automated reasoningtopologyset theoryresolutionsorted logic

Mathematics Subject Classification ID

Related Items (2)

Mathematical induction in Otter-lambda ⋮ Sort It Out with Monotonicity

Uses Software

• AURA

This page was built for publication: Automated reasoning about elementary point-set topology