Revision history of "OBO-Edit:Forward Chaining Reasoner"

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) 11:03, 2 December 2008Cjm (talk | contribs). . (324 bytes) (+324). . (New page: John wrote this first in OE1, and then abandoned it. Can still be used for so-xp, and is suitable for certain purposes such as finding trivial redundancies by transitivity, but not recomm...)