Assertion: logic's property | /r/CreatedBy | np properties
Facets:
Source sentences:
text: As a consequence of Fagin's theorem, the properties of finite structures definable in dependence logic correspond exactly to NP properties.