Pages that link to "Item:Q1253108"
From MaRDI portal
The following pages link to Towards the automation of set theory and its logic (Q1253108):
Displaying 13 items.
- An experimental logic based on the fundamental deduction principle (Q580998) (← links)
- MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics (Q1118426) (← links)
- Inductive reasoning on recursive equations (Q1136246) (← links)
- An investigation into the goals of research in automatic theorem proving as related to mathematical reasoning (Q1146017) (← links)
- Automatic theorem proving in set theory (Q1245007) (← links)
- Set theory for verification. I: From foundations to functions (Q1319386) (← links)
- \({\mathcal Z}\)-match: An inference rule for incrementally elaborating set instantiations (Q1319387) (← links)
- Issues in commonsense set theory (Q1346620) (← links)
- Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\) (Q2577589) (← links)
- Specification methods and partial construction of theory by computer (Q3327747) (← links)
- Decision procedures for elementary sublanguages of set theory. II. Formulas involving restricted quantifiers, together with ordinal, integer, map, and domain notions (Q3916545) (← links)
- Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini (Q4361575) (← links)
- A framework for using knowledge in tableau proofs (Q4610337) (← links)