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

scientific article; zbMATH DE number 1508935

From MaRDI portal

Publication:4506398

Jump to:navigation, search

zbMath0946.68014MaRDI QIDQ4506398

Agostino Dovier, Gianfranco Rossi, Davide Aliffi

Publication date: 18 September 2000

Full work available at URL: http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1999/A99-10/A99-10.html

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

zbMATH Keywords

hyperset unification algorithm

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05) Logic programming (68N17)

This page was built for publication:

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