scientific article

From MaRDI portal

Publication:3638471

Jump to:navigation, search

zbMath1174.03322MaRDI QIDQ3638471

Ying-Ying Fu, Fuxing Shen, Maonian Wu

Publication date: 22 July 2009

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

zbMATH Keywords

quantifier elimination algebraic prime model complete dense binary order simply closed properties

Mathematics Subject Classification ID

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:3638471&oldid=17083165"