Pages that link to "Item:Q1205173"

The following pages link to Finitary decidability implies congruence permutability for congruence modular varieties (Q1205173):

Displayed 3 items.

• A Characterization of Finitely Decidable Congruence Modular Varieties (Q3127568) ‎ (← links)
• Finitely Decidable Congruence Modular Varieties (Q3142089) ‎ (← links)
• Hereditary undecidability of some theories of finite structures (Q4323040) ‎ (← links)