scientific article; zbMATH DE number 827982

From MaRDI portal

Revision as of 03:54, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4858948

Jump to:navigation, search

zbMath0837.03011MaRDI QIDQ4858948

Bernd I. Dahn, Andreas Wolf

Publication date: 20 December 1995

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

zbMATH Keywords

completeness soundness block calculus for first order logic semantics of incomplete proof structures variant of natural deduction

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Complexity of proofs (03F20)

Related Items (2)

ILF-SETHEO ⋮ Integration of automated and interactive theorem proving in ILF

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4858948&oldid=19211978"