Besonderhede van voorbeeld: 1338651028713325263

Metadata

Author: Literature

Data

Hungarian^[hu]

A rezolúciós szabály helyessége egyszerűen belátható, ha megvizsgáljuk az li literált.

Russian^[ru]

Непротиворечивость правила резолюции можно легко доказать, рассматривая литерал i.

History

Your action: