Str+ve \subseteq : The Str+ve-based subset prover

DOI10.1007/3-540-52885-7_88MaRDI QIDQ6488531zbMATH OpenFDO

Authors Larry M. Hines

Publication date 28 April 2023

Full work available at URL https://doi.org/10.1007/3-540-52885-7_88

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• scientific article; zbMATH DE number 4164178
• Str\(\dotplus\)ve and integers
• SET-VAR
• scientific article; zbMATH DE number 2000437
• A heuristic prover for real inequalities

Cites work

• Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets
• scientific article; zbMATH DE number 3112450 (Why is no real title available?)
• scientific article; zbMATH DE number 4072434 (Why is no real title available?)
• scientific article; zbMATH DE number 3684932 (Why is no real title available?)

Cited in

(2)

• scientific article; zbMATH DE number 4164178 (Why is no real title available?)
• Str\(\dotplus\)ve and integers

This page was built for publication: Str+ve $$\subseteq$$ : The Str+ve-based subset prover

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