执行异议之诉的审理程序是什么

当民事执行程序推进时，如果案外人认为法院的执行行为侵害了其所有权、用益物权等实体权益，仅通过执行异议提出往往不足以彻底解决争议。此时，法律赋予了案外人提起执行异议之诉的权利，将争议引入独立的审判程序进行最终裁决。这一程序衔接了执行与审判，是维护司法公正与产权清晰的重要制度设计。

执行异议之诉的启动有严格的前提条件。必须由符合条件的案外人作为原告提起。原告通常是主张对执行标的享有足以排除强制执行之实体权利的公民或组织。其次，必须在法定期限内提起诉讼，即自执行异议裁定送达之日起十五日内。必须有明确的诉讼请求，即请求法院判决不得执行特定的执行标的。法院在立案阶段会对这些形式要件进行审查。

进入审理阶段后，法院的审查核心集中于案外人主张的实体权利是否真实、合法，并且是否达到“足以排除强制执行”的强度。这不同于执行异议阶段的初步形式审查，而是进行全面的实质审理。原告需要承担主要的举证责任，提供诸如权属证书、买卖合同、付款凭证等证据，以证明其权利的真实性及其产生于执行标的被查封、扣押、冻结之前。被告（申请执行人）则可以进行抗辩和反驳。法院将综合双方证据、辩论意见，依据物权法、合同法等相关实体法进行判断。常见的权利类型包括所有权、建设工程价款优先受偿权、租赁权等，每种权利排除执行的条件和标准在法律和司法解释中均有相应规定。

审理程序遵循一般的民事诉讼规则，包括开庭审理、法庭调查、辩论等环节。但此类诉讼也具有一定的特殊性。例如，诉讼期间原则上不停止执行，但原告提供充分担保请求停止执行的，法院可以审查决定。这体现了在保护案外人权益与防止债务人借诉讼拖延执行之间的谨慎平衡。经过审理，法院会依法作出判决。如果支持案外人的诉讼请求，则判决不得执行该标的，并可能解除相关执行措施；如果驳回诉讼请求，则执行程序可依法继续。

整个审理程序的最终目的，在于通过公开、公正的司法审判，对执行标的上的权利归属和顺位作出权威判定。它既为权利受到威胁的案外人提供了最后的司法救济途径，也通过确权判决为执行程序的合法性扫清了障碍，保障了申请执行人正当权益的实现基础。因此，理解并遵循执行异议之诉的审理程序，对于各方当事人依法维权、推动执行案件顺利解决具有至关重要的意义。