Inverseaza reviziile

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

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.