Metadata
Author: Literature
Data
Hungarian[hu]
A bináris rezolúciós szabály önmagában nem eredményez egy teljes következtetési folyamatot.
Russian[ru]
Но правило бинарной резолюции, отдельно взяL тое, не позволяет получить полную процедуру логического вывода.