执行异议之诉属于实体诉讼。以下是对此结论的详细分析：

一. 执行异议之诉的性质

• 执行异议之诉，作为民事诉讼中的一种特殊类型，其本质在于通过诉讼程序解决执行过程中的实体权利争议。
• 它不仅仅是对执行行为的程序性异议，而是涉及到对执行标的的实体权利归属或分配的争议。

二. 实体诉讼的定义

• 实体诉讼，是指涉及当事人之间实体权利义务关系的诉讼，即争议的核心在于当事人的实体权利或义务。
• 在执行异议之诉中，当事人争议的焦点正是对执行标的的实体权利，如所有权、使用权等。

三. 执行异议之诉与实体诉讼的关系

• 根据《最高人民法院关于适用《中华人民共和国民事诉讼法》的解释》的相关规定，执行异议之诉需要满足一定的条件才能提起，包括有明确的对执行标的继续执行的诉讼请求，且该诉讼请求与原判决、裁定无关。
• 这表明执行异议之诉并非仅仅是对原判决、裁定的程序性挑战，而是基于新的实体权利主张或争议。
• 因此，执行异议之诉在性质上属于实体诉讼，它涉及对执行标的的实体权利的判断和确认。

综上所述，执行异议之诉确实属于实体诉讼，因为它涉及对执行标的的实体权利争议，并通过诉讼程序进行解决。如有进一步需要，您可以继续咨询我。