Algorisme de Davis-Putnam: historial de revisions
Salta a la navegació
Salta a la cerca
Selecció de diferències: Marqueu els botons corresponents de les revisions per comparar i premeu Intro o el botó inferior.
Llegenda: (act) = diferències amb la revisió actual, (prev) = diferències amb revisió anterior, m = edició menor.