Autexier, SergeSergeAutexierMantel, HeikoHeikoMantelStephan, WernerWernerStephan2022-11-152022-11-151998-09Lecture Notes in Computer Science 1504 LNA: 141-152 (1998)http://hdl.handle.net/11420/14037We present a sequent calculus which allows the simultaneous elimination of multiple quantifiers. The approach is an improvement over the well-known skolemization in sequent calculus. It allows a lazy handling of instantiations and of the order of certain reductions. Simultaneous quantifier elimination is justified from a semantical as well as from a proof theoretical point of view.enInformatikConference Paper10.1007/BFb0095435Other