Recursive Predicate for Building Chains: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

9 June 2020

3 May 2016

13 May 2015

  • curprev 03:5603:56, 13 May 2015‎ Tsani talk contribs‎ 2,649 bytes +2,649‎ Created page with "Our motivation is the following: we want a predicate that takes two arbitrary sumti of the same type, a binary predicate, and a number, to construct a chain of applications of..."
Retrieved from "https://mw.lojban.org/papri/Recursive_Predicate_for_Building_Chains"