| چه چیزهایی باید تأیید شوند و نمونه‌های اثبات؟ | SNAP | FITAP (نقدی) | KCSP (نقدی