אנגלית ⇄ איטלקית גרמנית דנית הולנדית יוונית ספרדית פורטוגלית פינית צרפתית שוודית +

non-resolution theorem proving
.טכנול	razonamiento informal; deducción natural; demostración de teoremas "no por resolución"