Revision history of "SCL/For Harry/3"

From Public Domain Knowledge Bank
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) 16:53, 26 March 2021‎ DavidWhitten (talk | contribs)‎ . . (296 bytes) (+296)‎ . . (Created page with "== conventional First-Order Logic == * Lexicon fixed by signature * Lexicon is pre-sorted into relation/function/individual names * One context-free syntax for expressing lo...")
Retrieved from "https://pdkb.chivanet.org/wiki/index.php/SCL/For_Harry/3"