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
Nonequivalence of input paramodulation refutation and unit paramodulation refutation - MaRDI portal

Nonequivalence of input paramodulation refutation and unit paramodulation refutation

From MaRDI portal

Publication:1209041

Jump to:navigation, search

zbMath0796.68174MaRDI QIDQ1209041

Jigui Sun, Xuhua Liu

Publication date: 16 May 1993

Published in: Chinese Science Bulletin (Search for Journal in Brave)

zbMATH Keywords

paramodulation refutation

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

This page was built for publication: Nonequivalence of input paramodulation refutation and unit paramodulation refutation

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