Assertion: order predicate logic | /r/HasProperty | algorithmic meta-theorem
Facets:
Source sentences:
text: Monadic second-order logic is particularly used in the context of Courcelle's theorem, an algorithmic meta-theorem in graph theory.