timed-pattern-matching (Q37546)

From MaRDI portal