Verze z 21. 12. 2013, 16:07 editovat Jj14 (diskuse \| příspěvky) Prověření uživatelé 88 592 editací m -link SAT ← Přejít na předchozí porovnání		Verze z 5. 2. 2016, 10:27 editovat zrušit editaci Venca24 (diskuse \| příspěvky) Prověření uživatelé 3 204 editací Bez shrnutí editace Přejít na další porovnání →
Řádek 14: V logice s rovností se k rezoluci přidává odvozovací pravidlo [[paramodulace]]. Na principu rezoluce jsou založeny logické programovací jazyky, například [[Prolog (programovací jazyk)\|Prolog]], který ~~využívá~~používá [[SLI rezoluce\|SLI rezoluci]] a [[Hornova klauzule\|Hornovy klauzule]]. [[Kategorie:Matematická logika]]

Rezoluce (logika): Porovnání verzí