scientific article; zbMATH DE number 4164184

zbMATH Open0708.68073MaRDI QIDQ3491004FDOQ3491004

Authors:

Publication date: 1990

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

Recommendations

• SLIM: An automated reasoner for equivalences, applied to set theory
• scientific article; zbMATH DE number 2000437
• scientific article; zbMATH DE number 4164178
• Set theory in first-order logic: Clauses for Gödel's axioms
• An automated prover for Zermelo-Fraenkel set theory in Theorema

zbMATH Keywords

resolution

Mathematics Subject Classification ID

Cited In (4)

• Title not available (Why is that?)
• Extensional crisis and proving identity
• Convolution estimates for some measures on flat curves
• SLIM: An automated reasoner for equivalences, applied to set theory

Uses Software

• MUSCADET

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 Q3491004)