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

陳某向區(qū)法院申請執(zhí)行，責(zé)令趙某支付拖欠的借款100萬元。執(zhí)行程序中，因趙某無資金可供執(zhí)行，區(qū)法院根據(jù)陳某的申請將趙某的一套二居室住房查封，趙某認(rèn)為區(qū)法院查封自己的該住房是違法的，區(qū)法院審查后裁定駁回了趙某的異議。此后孫某向區(qū)法院提出執(zhí)行異議，稱趙某已將該二居室住房賣給自己，且自己已經(jīng)付清房款，區(qū)法院裁定中止對該二居室住房的執(zhí)行。陳某決定提出執(zhí)行異議之訴。關(guān)于本案的下列表述，哪些選項是不正確的？（）

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

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

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

甲公司向A區(qū)法院申請執(zhí)行乙公司拖欠的貨款100萬元。執(zhí)行中，雙方達(dá)成和解協(xié)議，乙公司用一座倉庫抵債并為甲公司辦理倉庫過戶手續(xù)，協(xié)議達(dá)成后，乙公司將倉庫交付甲公司使用但不辦理過戶手續(xù)。關(guān)于本案的下列表述，哪些是不正確的？（）

下列關(guān)于辯論主義的表述，正確的是（）。

陪審制度，是指審判機關(guān)吸收法官以外的公民參與案件審判活動的制度。

當(dāng)事人主張的法律關(guān)系與法院根據(jù)案件事實作出的認(rèn)定不一致時，根據(jù)處分原則，當(dāng)事人可以變更訴訟請求。

當(dāng)事人的陳述與此前陳述不一致的，人民法院應(yīng)當(dāng)責(zé)令其說明理由，并結(jié)合當(dāng)事人的訴訟能力、證據(jù)和案件具體情況進(jìn)行審查認(rèn)定。