Terimi yeniden yazma, biçimsel ifadeleri belirlenmiş kurallara göre başka ifadelere dönüştüren hesaplama ve mantık yöntemidir. [1]
TEMEL ÖZELLİKLER
Kuralların sonlanması ve birleşebilirliği farklı dönüşüm yollarının aynı normal biçime ulaşıp ulaşmadığını belirler; yöntem otomatik teorem ispatında da kullanılır. Kavramın kapsamı, yerleşik terminoloji ve doğrulanabilir gözlem ya da belgeler temelinde belirlenir. Benzer terimler arasındaki fark kullanım bağlamına göre açıklanır; tarihsel gelişme ile güncel uygulama birbirine karıştırılmaz. Ölçüm, sınıflandırma veya yorum gerektiren durumlarda kullanılan yöntemin sınırları belirtilir ve tek örnekten genelleme yapılmaz. Konu insan sağlığı, hukuk veya kamusal kararlarla ilişkiliyse belirsizlik, yetki alanı ve güncel kılavuzlar ayrıca dikkate alınır. Böylece tanım, uygulama alanı ve sınırlamalar aynı çerçevede görülebilir. [1][2]