Markov algorithm: Difference between revisions

Content deleted Content added
No edit summary
rm 1-sentence copyright violation
Line 1:
An algorithm which constructs allowed mathematical statements from simple ingredients.