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

scientific article; zbMATH DE number 1538008

From MaRDI portal

Publication:4518863

Jump to:navigation, search

zbMath0971.68140MaRDI QIDQ4518863

Alessandro Armando, Silvio Ranise

Publication date: 30 October 2001

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

zbMATH Keywords

constraint contextual rewriting decision procedures in formula simplification

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Incorporating decision procedures in implicit induction. ⋮ The control layer in open mechanized reasoning systems: Annotations and tactics

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