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

scientific article

From MaRDI portal

Publication:3697076

Jump to:navigation, search

zbMath0576.06017MaRDI QIDQ3697076

Volker Weispfenning

Publication date: 1985

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

zbMATH Keywords

decision procedures complexity of quantifier elimination dense archimedean ordered groups restricted formula

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Ordered groups (06F15) Free lattices, projective lattices, word problems (06B25) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (1)

The complexity of linear problems in fields

This page was built for publication:

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