Pages that link to "Two-variable logic"

The following pages link to Two-variable logic:

Showing 6 items.

• Colour refinement algorithm ‎ (links)
• First-order logic ‎ (links)
• Description logic ‎ (links)
• Anca Muscholl ‎ (links)
• Two-variable logic with counting (redirect to section "Counting quantifiers") ‎ (links)
  • Counting quantification ‎ (links)
• Two-variable fragment (redirect page) ‎ (links)