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

scientific article; zbMATH DE number 1088032

From MaRDI portal

Publication:4364380

Jump to:navigation, search

zbMath0889.03010MaRDI QIDQ4364380

Slim Abdennadher, Heribert Schütz

Publication date: 14 June 1998

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

zbMATH Keywords

constraints CPUHR tableau calculus Herbrand model generation model generator Satchmo modification of PUHR

Mathematics Subject Classification ID

Database theory (68P15) Mechanization of proofs and logical operations (03B35) Logic programming (68N17)

Related Items (1)

A Transformation-Based Approach to View Updating in Stratifiable Deductive Databases

This page was built for publication:

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