Separability of three qubit Greenberger-Horne-Zeilinger diagonal states

We characterize the separability of three qubit GHZ diagonal states in terms of entries. This enables us to check separability of GHZ diagonal states without decomposition into the sum of pure product states. In the course of discussion, we show that the necessary criterion of Gühne (2011 Entanglement criteria and full separability of multi-qubit quantum states Phys. Lett. A 375 406-10) for (full) separability of three qubit GHZ diagonal states is sufficient with a simpler formula. The main tool is to use entanglement witnesses which are tri-partite Choi matrices of positive bi-linear maps.