Assertion: solvability | /r/HasProperty | equivalent
Facets:
Source sentences:
text: Solvability of digraphs is equivalent to satisfiability of theories of propositional logic.