scientific article

From MaRDI portal

Publication:3971059

Jump to:navigation, search

zbMath0747.03008MaRDI QIDQ3971059

Véronique Terrier

Publication date: 25 June 1992

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

zbMATH Keywords

algorithm order divisibility natural numbers universal theory power functions existential theory negations of conditions

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Decidability of theories and sets of sentences (03B25)

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