Pages that link to "Item:Q4884668"
From MaRDI portal
The following pages link to Solvable set/hyperset contexts: I. Some decision procedures for the pure, finite case (Q4884668):
Displaying 12 items.
- Is hyper-extensionality preservable under deletions of graph elements? (Q737091) (← links)
- Solvable set/hyperset contexts. II: A goal-driven unification algorithm for the blended case (Q1290508) (← links)
- A derived algorithm for evaluating \(\varepsilon\)-expressions over abstract sets (Q1322849) (← links)
- HYPERSOLVER: A graphical tool for commonsense set theory (Q1357081) (← links)
- Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators (Q1854500) (← links)
- Three-variable statements of set-pairing (Q1885036) (← links)
- Set-syllogistics meet combinatorics (Q2971068) (← links)
- (Q3002400) (← links)
- The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability (Q3570158) (← links)
- THE DECISION PROBLEM FOR RESTRICTED UNIVERSAL QUANTIFICATION IN SET THEORY AND THE AXIOM OF FOUNDATION (Q4295224) (← links)
- Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini (Q4361575) (← links)
- Layered map reasoning (Q4923516) (← links)
