monadic_second_order_logic_1 (227B)
1 # Monadic second order logic 1 2 3 [MSO] with [quantification] over [sets] of [vertices] 4 5 also called "edge encoding" 6 7 Can express that a [graph] is [3_colorable] 8 9 Up: [monadic_second_order_logic] 10 11 Aliases: MSO1 12 13 See also: [MSO2]