Markov algorithm

This is an old revision of this page, as edited by 203.197.196.1 (talk) at 12:20, 11 April 2003. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

An algorithm which constructs allowed mathematical statements from simple ingredients.