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

Jump to:navigation, search

zbMATH Open0661.03007MaRDI QIDQ3809767

Dongming Wang

Publication date: 1989

Title of this publication is not available (Why is that?)

zbMATH Keywords

subvarieties equality type theorems varieties defined by algebraic equations with rational coefficients

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Varieties (08B99)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3809767)

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