Th Hillenbrand

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Waldmeister is a high performance theorem prover for unit equational rst{ order logic. In the making of Waldmeister, we have applied an engineering approach, identifying the critical points with respect to eeciency in time and space. Our logical three{level system model consists of the basic operations on the lowest level, where we put great stress on(More)
This study evaluated the internal consistency, 1-month test-retest reliability, and validity of a cognitive measure of personality disorders, the Belief Questionnaire (BQ; Beck, 1990). A large, nonclinical sample of college undergraduates completed the BQ, the MMPI-Personality Disorder scales (MMPI-PD; Morey, Waugh, & Blashfield, 1985), and the Personality(More)
  • 1