Kanıtın kaynağı görünür
Bağlantı veya model sözü destek değildir. Okuma, doğrulama, çelişki ve kullanım izi ayrıdır.
Nasıl işler? Kavram, örnek, sonraki adım
- Kavram
- Her iddianın hangi kaynağa ve hangi hesaba dayandığı kayıtta görünür.
- Çözdüğü sorun
- Bir bağlantı listesi veya model cümlesi, okunmuş ve doğrulanmış kanıt gibi sunulur.
- MMT Orbit'te nasıl işler
- Kaynağın okunup okunmadığı, hangi bölümünün kullanıldığı ve iddiayla çelişip çelişmediği ayrı tutulur.
- Örnek
- Revizyon yanıtında her cümle, dayandığı hesap çıktısına ve hakem raporundaki paragrafa bağlanır.
