scientific article; zbMATH DE number 1507187

zbMath0960.03007MaRDI QIDQ4503907

Ingo Dahn

Publication date: 14 May 2001

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

zbMATH Keywords

abstract model theoryfirst-order theorem provingtyped logicuntyped first-order logic

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (max. 100)

MPTP 0.2: Design, implementation, and initial experiments ⋮ MPTP 0.1 - System Description ⋮ MPTP-motivation, implementation, first experiments ⋮ Semantics of Mizar as an Isabelle object logic ⋮ Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)

Uses Software

• Mizar

This page was built for publication: