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

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

下列各項中，屬于民事糾紛解決機制的有（）。

可以提起公益訴訟的機關(guān)有（）。

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

檢察院的調(diào)查核實權(quán)有（）。

民事訴訟法和刑事訴訟法都是程序法，他們的任務是相同的。(）

下列關(guān)于執(zhí)行行為異議的表述，哪一項是錯誤的？（）

原告訴稱被告將其毆打致傷，下列原告提供的證據(jù)，是反證的是（）。

下列各項中，屬于仲裁性質(zhì)的有（）。