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

scientific article; zbMATH DE number 2144731

From MaRDI portal

Publication:4657011

Jump to:navigation, search

zbMath1060.03047MaRDI QIDQ4657011

Martin Goldstern

Publication date: 14 March 2005

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

zbMATH Keywords

complexity quantifier elimination arithmetic decidable theory unar recursive monounary

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25) Unary algebras (08A60) Computable structure theory, computable model theory (03C57) 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:4657011&oldid=18858463"