No label defined (Q4865517)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 845472

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 845472

Statements

scholarly article

0 references

Michail R. Tetruashvili

0 references

publication date

26 February 1996

0 references

full work available at URL

https://eudml.org/doc/47540

0 references

http://www.emis.de/journals/GMJ/vol3/contents.htm

0 references

zbMATH Keywords

complexity

0 references

decidability

0 references

quantifier-free set theory

0 references

MaRDI profile type

MaRDI publication profile

0 references

Decision procedures for elementary sublanguages of set theory. I. Multi-level syllogistic and some extensions

0 references

Decision procedures for elementary sublanguages of set theory. III: Restricted classes of formulas involving the power set operator and the general set union operator

0 references

0 references

Identifiers

zbMATH Open document ID

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:4865517

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4865517&oldid=34156351"