Historical clue formulations

• Encoded problem-solving procedure (maybe it's time we let computers think for themselves, though? I dunno, just an idea) — 2023-09-07
• Procedure for solving a mathematical problem — 2016-10-24