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:3216155

Jump to:navigation, search

zbMath0553.68050MaRDI QIDQ3216155

Donald W. Loveland

Publication date: 1984

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

zbMATH Keywords

survey PROLOG resolution program verification AURA connection graph historical development of automated theorem proving human simulation approach logic approach Markgraf Karl system PLANNER-system rewrite-rule systems

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Development of contemporary mathematics (01A65) Research exposition (monographs, survey articles) pertaining to computer science (68-02) History of computer science (68-03)

Related Items

A learning procedure for mathematics., A constant time algorithm for theorem proving in propositional logic on reconfigurable meshes, A parallel approach for theorem proving in propositional logic, An automatic proof of Gödel's incompleteness theorem, A decision algorithm for linear sentences on a PFM, A method for simultaneous search for refutations and models by equational constraint solving, Automated inferencing

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