An algorithm is presented for determining whether or not two instances of formulas are equal based on previous equality and inequality declarations. The equality determination algorithm is shown to be linear along with a completeness proof.

In this paper we formulate the job-shop scheduling problem in the theorem-proving framework described in 12, 5]. In the theorem-proving framework two kinds of predicates are allowed: ordinary predicates, deened by if-and-only-if-deenitions 3], and primitive predicates, \deened" by axioms that can be thought of as integrity constraints. The framework seeks to unify constraint logic programming (...

background: timely access to cardiovascular health services is necessary to prevent heart damages. the present study examined inequality in geographical distribution of cardiovascular health services in iran.   methods: present study is a cross-sectional study conducted using demographic data from all iranian provinces (31 provinces) from 2012 census by the statistics center of iran (sci). the ...

Background: Health utilization inequality is a major concern for health policymakers. Equality in utilization of services is very important for having a healthy society. The aim of this study was to describe inequality in dental care utilization in Iran, Therefore, concentration index, its curve, and the predictors of inequality in utilization of dental services and their spending were calculat...

This paper introduces the Nash Inequality Ratio (NIR) as a natural characterization of the extent to which inequality is permitted between individual agents in Nash equilibrium outcomes of a given strategic setting. For any particular strategy, the inequality ratio is defined as the ratio between the highest and lowest costs incurred to individual agents in the outcome dictated by that strategy...

In the field of geometric inequalities, the expression Bonnesen type is used after Bonnesen clasical refinement of the isoperimetric inequality (cf., for instance, [Os1], [Os2]), where the deviation from the case of equality (the disc) is given in terms of the outer radius and the inradius of a bounded convex body. The term stability type inequality is also used in a related way (cf. [Gr]), mea...

In this paper we consider contact CR-warped product submanifolds of the type $M = N_Ttimes_f N_perp$, of a nearly Kenmotsu generalized Sasakian space form $bar M(f_1‎, ‎f_2‎, ‎f_3)$ and by use of Hopf's Lemma we show that $M$ is simply contact CR-product under certain condition‎. ‎Finally‎, ‎we establish a sharp inequality for squared norm of the second fundamental form and equality case is dis...

Hoijtink, Klugkist, and colleagues proposed an encompassing prior (EP) approach to facilitate Bayesian model selection in nested models with inequality constraints. In this approach, samples are drawn from the prior and posterior distributions for an encompassing model that contains an inequality restricted version as a special case. The evidence in favor of the inequality restriction (i.e., th...

background: one of the important aspects of equity in health is equality in the distribution of resources in this sector. the present study aimed to assess the distribution of hospital beds in shiraz in 2014.   methods: in this retrospective cross-sectional study, the population density index and fair distribution of beds were analyzed by lorenz curve and gini coefficient, respectively. descrip...