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

scientific article; zbMATH DE number 5171238

From MaRDI portal

Publication:5298088

Jump to:navigation, search

zbMath1122.03036MaRDI QIDQ5298088

Fuxing Shen, Lei Chen

Publication date: 16 July 2007

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

zbMATH Keywords

quantifier elimination atomic model saturated model Cantor-Bendixson rank complete binary trees CB rank

Mathematics Subject Classification ID

Models of other mathematical theories (03C65) Quantifier elimination, model completeness, and related topics (03C10)

This page was built for publication:

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