Revision history of "Recursive Predicate for Building Chains"

Jump to: navigation, search

Diff selection: Mark the radio boxes 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.

  • (cur | prev) 19:49, 3 May 2016Ilmen (talk | contribs). . (2,776 bytes) (+127). . (Adding a comment informing that {ki'inmoi} has been assigned to the described predicate.)
  • (cur | prev) 16:54, 13 May 2015Mudri (talk | contribs). . (2,649 bytes) (0). . (I assume it was a mistake)
  • (cur | prev) 03:56, 13 May 2015Tsani (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...")