Inverseaza reviziile

Diferente pentru 2-sat intre reviziile #61 si #60

Diferente intre #61 si #62
Diferente intre #59 si #60

Diferente intre titluri:

Problema satisfiabilității formulelor logice de ordinul doi

Problema satisfiabilităţii formulelor logice de ordinul doi

Nu exista diferente intre continut.

Nu exista diferente intre securitate.

Topicul de forum nu a fost schimbat.