民事訴訟可以解決各類民事糾紛，仲裁不適用與身份關系有關的民事糾紛。

檢察院發(fā)動再審，是指檢察院對法院已經(jīng)生效的判決、裁定發(fā)現(xiàn)有發(fā)動再審的法定事由，或者對于生效的調解書，發(fā)現(xiàn)其損害了國家利益、社會公共利益時，提請法院對案件重新進行審理的訴訟活動。

劉某與王某鋼琴所有權糾紛一案，經(jīng)區(qū)法院審理后判決鋼琴是劉某的，責令王某向劉某交付鋼琴。雙方未上訴。劉某向區(qū)法院申請執(zhí)行，執(zhí)行程序中，崔某提出鋼琴是自己借給王某的，區(qū)法院經(jīng)審查，裁定駁回崔某的異議。關于本案的下列表述，哪一選項是正確的？（）?

形成之訴是指原告請求法院運用判決變動已成立或既存的民事法律關系（或民事權益）或者特定的法律事實之訴。

下列對自認分類的表述，正確的有（）。

根據(jù)民事訴訟法及其司法解釋的規(guī)定，下列關于反訴的表述，哪一選項是不正確的？（）

下列對法人住所地的理解，正確的有（）。

崔洪與劉麗房屋買賣合同糾紛一案，經(jīng)區(qū)法院和市中級法院兩審終審，判決支持崔紅的訴訟請求，責令劉麗將房屋交付給崔某，并且為其辦理房屋過戶手續(xù)。崔洪向區(qū)法院申請執(zhí)行，在執(zhí)行程序中，劉輝提出該房屋系其與劉麗共同共有的，不同意賣給崔洪。區(qū)法院經(jīng)審查駁回劉輝的異議，劉輝認為市中級法院的判決錯誤損害其民事權益。關于本案的下列表述，哪些選項是不正確的？（）

檢察院的調查核實權有（）。

下列對未出生胎兒當事人能力的表述正確的是（）。