background: the purpose of study was to evaluate and compare chemical quality of iranian bottled drinking water reported on manufacturer's labeling and standards. methods: this study was a cross-sectional descriptive study and done during july to december 2008. the bottled mineral water collected from shops randomly were analyzed for all parameters address on manufacturer's labeling and the res...

Skolemization is a means to eliminate existential quantiiers within predicate logic sentences by replacing existentially quantiied variables with Skolem function applications. The arguments of such Skolem functions are variables that are quantiied outside the sub-formula under consideration. In this article a skolemization technique is introduced which abstracts from some of the Skolem function...

Let G(V, E) be a graph with pvertices and qedges. f∶ V (G) → {0,1,2,…, p-1} bijection such that the induced function f*: E(G) N defined by f_sqdp* (uv)=|[f(u) ]2-[f(v) ]2 | for everyuv∈E(G).If is injective, then f_sqdp*is calledsquare difference labeling of G.A Gwhich admits square called graph. The greatest common incidence number (gcin) vertex v degree > 1 as divisor (g.c.d) labels inciden...