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

當事人主張的法律關系與法院根據案件事實作出的認定不一致時，根據處分原則，當事人可以變更訴訟請求。

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

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

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

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

下列對審結期限的表述，正確的是（）。

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

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

戶籍在甲區(qū)的陳某與戶籍在乙區(qū)的趙某簽訂了一份字畫買賣合同，合同約定雙方在丙區(qū)交付字畫，并且約定，因本合同履行所發(fā)生的爭議，由合同履行地法院管轄。合同簽訂后，陳某反悔未向趙某交付字畫。趙某欲提起訴訟。關于本案管轄的說法，哪一選項是正確的？（）