Italian Ampliamento Cited by user 95.233.177.183 on 03 Oct 2022 Nella logica, gli ampliamenti, detti anche termini ampliativi (dal latino: ampliare, allargare), significano "estendere" o "aggiungere a ciò che è già noto".
English Ampliative Cited by user Darwin Naz on 21 Mar 2022 Ampliative (from Latin ampliare, "to enlarge"), a term used mainly in logic, meaning "extending" or "adding to that which is already known".
English TLA+ Cited by user Andrew Helwer on 22 May 2015 TLA+ is a formal specification language. It is used to test and reason about system design as well as guide implementation.