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
Modification of the Robinson's resolution method for built-in predicates - MaRDI portal

Modification of the Robinson's resolution method for built-in predicates

From MaRDI portal

Publication:1382912

Jump to:navigation, search

zbMath0888.03003MaRDI QIDQ1382912

S. A. Nigiyan

Publication date: 24 March 1998

Published in: Journal of Contemporary Mathematical Analysis. Armenian Academy of Sciences (Search for Journal in Brave)

zbMATH Keywords

computable predicate Robinson resolution rule unary resolution rule

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

This page was built for publication: Modification of the Robinson's resolution method for built-in predicates

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