Assertion: order logic | /r/HasProperty | useful
Facets:
value: in the creation of computer programs
type: TEMPORAL
Source sentences:
text: First-order logic can be useful in the creation of computer programs.