scientific article; zbMATH DE number 1301855

zbMath0927.03021MaRDI QIDQ4247078

Karsten Konrad

Publication date: 16 June 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

automated higher-order theorem proverextensional higher-order tableaux calculus

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items

TPS: A hybrid automatic-interactive system for developing proofs, Superposition with lambdas, Superposition with lambdas, HOT, \textsf{Goéland}: a concurrent tableau-based theorem prover (system description)

Uses Software

• TPS
• Oz
• leanTAP