`Travelled to:`

1 × Germany

1 × Japan

1 × USA

`Collaborated with:`

F.Bry

`Talks about:`

databas (2) constraint (1) implement (1) theorem (1) satisfi (1) satchmo (1) consist (1) prover (1) prolog (1) deduct (1)

## Person: Rainer Manthey

### DBLP: Manthey:Rainer

### Contributed to:

### Wrote 3 papers:

- CADE-1988-MantheyB #named #prolog #proving #theorem proving
- SATCHMO: A Theorem Prover Implemented in Prolog (RM, FB), pp. 415–434.
- CSL-1987-BryM #database #deduction #finite #proving #satisfiability
- Proving Finite Satisfiability of Deductive Databases (FB, RM), pp. 44–55.
- VLDB-1986-BryM #consistency #constraints #database #logic
- Checking Consistency of Database Constraints: a Logical Basis (FB, RM), pp. 13–20.