Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article; zbMATH DE number 910746 - MaRDI portal

scientific article; zbMATH DE number 910746

From MaRDI portal

Publication:4885908

Jump to:navigation, search

zbMath0851.03004MaRDI QIDQ4885908

Manfred Kerber, Michael Kohlhase

Publication date: 28 July 1996

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

zbMATH Keywords

three-valued logic tableau calculus sorted logic mathematical reasoning with partial functions

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Mechanization of proofs and logical operations (03B35) Logic programming (68N17) Many-valued logic (03B50)

Related Items (2)

Semantics, calculi, and analysis for object-oriented specifications ⋮ Reasoning without believing: on the mechanisation of presuppositions and partiality

This page was built for publication:

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