Get a list of all Atoms symbols used in f
Get a list of all Atoms symbols used in f
formula
List of all atom symbols used in f
Takes a propositional FOLFormula and processes it s.t.
Takes a propositional FOLFormula and processes it s.t. every subformula gets assigned a freshly introduced Atom which is from there on used instead of the formula
The formula to be processed.
a Tuple2, where 1st is the prop. variable representing f and 2nd is a clause containing all the equivalences required for the representation of f by 1st.