Tactical

//ˈtæktɪk(ə)l// adj, noun

Definitions

Adjective
  1. 1
    Of or relating to tactics. not-comparable

    "As in the 1-0 win against Norway in Oslo, this was an England performance built on the foundations of solid defence and tactical discipline."

  2. 2
    Of or relating to military operations that are smaller or more local than strategic ones. not-comparable

    "tactical nuclear weapon"

  3. 3
    Adroit, skilful or ingenious. not-comparable
  4. 4
    Having a military appearance, typically with accessories such as a bipod, adjustable stock, detachable magazine or black coloration. not-comparable
Adjective
  1. 1
    of or pertaining to tactic or tactics wordnet
Noun
  1. 1
    A combinator of proof tactics.

    "The repeat that we use here is called a tactical, or tactic combinator. The behavior of repeat t is to loop through running t, running t on all generated subgoals, running t on their generated subgoals, and so on. When t fails at any point in this search tree, that particular subgoal is left to be handled by later tactics."

  2. 2
    A private war reenactment event involving mock battles or skirmishes.

Etymology

Etymology 1

From tactic + -al.

Etymology 2

From tactic + -al.

Next best steps

Mini challenge

Unscramble this word: tactical