Changes related to "Conjunctive query"
This is a list of recent changes to pages linked from a specified page (or to members of a specified category). Changes to pages on your watchlist are shown with a green bullet.
26 November 2015
- (diff | hist) . . m Prenex normal form; 09:34 . . (+351) . . PhS (→Conversion to prenex form: clarification in the handling of free variables that clash with quantified variables)