The following pages link to (Q3265663):
Displaying 6 items.
- Reduction of the decision problem of the first order predicate calculus to reflexive and symmetrical binary predicates (Q2553961) (← links)
- The unsolvability of the Gödel class with identity (Q3695253) (← links)
- Diem-Grade Logischer Entscheidungsprobleme (Q4135479) (← links)
- Undecidability of modal and intermediate first-order logics with two individual variables (Q4276022) (← links)
- On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups (Q4558123) (← links)
- On the solvability of a subclass of the surányi reduction class (Q5599826) (← links)
