WALDMEISTER - High-Performance Equational Deduction.
Thomas HillenbrandArnim BuchRoland VogtBernd LöchnerPublished in: J. Autom. Reason. (1997)
Keyphrases
- theorem proving
- theorem prover
- automated deduction
- inference rules
- proof procedure
- automated theorem proving
- first order logic
- equational theories
- anti unification
- computer algebra
- relational databases
- higher order
- digital libraries
- high reliability
- genetic algorithm
- signal processing
- high efficiency
- information systems
- social networks
- artificial intelligence
- deductive reasoning
- real world
- databases