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 5661196 - MaRDI portal

scientific article; zbMATH DE number 5661196

From MaRDI portal

Publication:5851185

Jump to:navigation, search

zbMath1190.68015MaRDI QIDQ5851185

Steffen Hölldobler

Publication date: 21 January 2010

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

zbMATH Keywords

Hilbert system completeness propositional logic first-order predicate logic sequent calculus natural deduction logic programming resolution calculus soundness semantic tableaux Gentzen calculus formal axiomatic theory formal inference system programming language Prolog

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Logic programming (68N17)

Related Items (1)

Logic Programming, Argumentation and Human Reasoning

This page was built for publication:

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