Assertion: tactic | /r/HasProperty | computer science
Facets:
Source sentences:
text: Tactic (computer science), a theorem proving procedure
text: Tactic (computer science), a theorem proving procedure