Quantum correlations are central to the foundations of quantum physics and form the basis of quantum technologies. In our new paper, we connect quantum correlations and computation: we use quantum correlations as a resource for computation - and vice versa, using computation to test quantum correlations. We derive Bell-type inequalities that test the capacity of quantum states for computing Boolean functions and experimentally investigate them using 4-photon Greenberger-Horne-Zeilinger (GHZ) states. Further, we show how the generated states can be used to specifically compute Boolean functions - which can be used to test and verify the non-classicality of the underlying quantum states. The connection between quantum correlation and computability shown in this work has applications in quantum technologies, and is important for networked computing being performed by measurements on distributed multipartite quantum states.