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

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

completenesssoundnessblock calculus for first order logicsemantics of incomplete proof structuresvariant of natural deduction


Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).


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"
Powered by MediaWiki