Inequalities for dealing with detector inefficiencies in greenberger-horne-zeilinger-type experiments

In this article we show that the three-particle Greenberger-Horne-Zeilinger theorem can be reformulated in terms of inequalities, allowing imperfect correlations due to detector inefficiencies. We show quantitatively that taking into account these inefficiencies, the published results of the Innsbruck experiment support the nonexistence of local hidden variables that explain the experimental results.