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