Definitional quantifiers realise semantic reasoning for proof by induction. (English) Zbl 1514.68311
Kovács, Laura (ed.) et al., Tests and proofs. 16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13361, 48-66 (2022).
MSC:
68V15