Satz (disambiguation)

From Wikipedia, the free encyclopedia

Satz is a German word and name, and may refer to:

  • Satz, a formal section in music analysis
  • "theorem" in German, conventionally used in the name of certain theorems. Note however that the word "Theorem" is also used in German, generally for more important results, and thus in a stricter translation would be "Proposition"; see Theorem#Terminology. Significant results called "Satz" in English include:
  • Satz (SAT solver), a well known SAT instance solver

People with the surname Satz:

See also

  • Ursatz
This article is issued from Wikipedia. The text is available under the Creative Commons Attribution/Share Alike; additional terms may apply for the media files.