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

scientific article

From MaRDI portal

Publication:3999019

Jump to:navigation, search

zbMath0734.68028MaRDI QIDQ3999019

Peter Gibbins

Publication date: 23 January 1993

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

zbMATH Keywords

predicate calculus completeness unification semantics resolution soundness propositional calculus parsing decision procedure natural deduction systems proof procedure refutation procedure

Mathematics Subject Classification ID

Artificial intelligence (68T99) Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Logic programming (68N17)

This page was built for publication:

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