Assertion: logic | /r/HasProperty | implemented on computer
Facets:
Source sentences:
text: Logics learn digital logic as implemented on a computer.