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:3772178

Jump to:navigation, search

zbMath0634.03006MaRDI QIDQ3772178

Françoise Point, Gregory L. Cherlin

Publication date: 1986

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

zbMATH Keywords

quantifier elimination decidability logarithmic function extensions of Presburger arithmetic Presburger predicates

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Related Items (4)

Vapnik-Chervonenkis density in some theories without the independence property. II ⋮ A decision procedure for string constraints with string/integer conversion and flat regular constraints ⋮ Vapnik-Chervonenkis density in some theories without the independence property, I ⋮ Decidability questions for a ring of Laurent polynomials

This page was built for publication:

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