Revision history of "Satisfiability"

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.

  • curprev 19:27, 18 May 2013Joachim Draeger talk contribs 8,296 bytes +8,296 Created page with "{{MSC|68P05}} {{TEX|done}} Many notions of logics (like logical consequence) can only be formulated if one is able to assign truth value to logical objects. This can be do..."
How to Cite This Entry:
Satisfiability. Encyclopedia of Mathematics. URL: