Search for crossword answers and clues
German joke
Answer for the clue "German joke ", 5 letters:
spass
Word definitions for spass in dictionaries
Wikipedia
Word definitions in Wikipedia
SPASS is an automated theorem prover for first-order logic with equality developed at the Max Planck Institute for Computer Science and using the superposition calculus . The name originally stood for Synergetic Prover Augmenting Superposition with Sorts ...