Index of /pub/educational/Coursera - Introduction to Logic - Stanford University - intrologic-006/07_Lesson_9_-_Resolution/

../
01_9.1_Resolution_2_min.html                       23-Jul-2026 12:21               84095
01_9.1_Resolution_2_min.mp4                        23-Jul-2026 12:21             1444179
01_9.1_Resolution_2_min.pdf                        23-Jul-2026 12:21              146337
01_9.1_Resolution_2_min.srt                        23-Jul-2026 12:21                2388
01_9.1_Resolution_2_min.txt                        23-Jul-2026 12:21                1548
02_9.2_Clausal_Form_9_min.mp4                      23-Jul-2026 12:21             7297929
02_9.2_Clausal_Form_9_min.pdf                      23-Jul-2026 12:21              258937
02_9.2_Clausal_Form_9_min.srt                      23-Jul-2026 12:21               12039
02_9.2_Clausal_Form_9_min.txt                      23-Jul-2026 12:21                7817
03_9.3_Unification_14_min.mp4                      23-Jul-2026 12:21            11524952
03_9.3_Unification_14_min.pdf                      23-Jul-2026 12:21              116518
03_9.3_Unification_14_min.srt                      23-Jul-2026 12:21               16960
03_9.3_Unification_14_min.txt                      23-Jul-2026 12:21               11375
04_9.4_Resolution_Principle_7_min.mp4              23-Jul-2026 12:21             5437592
04_9.4_Resolution_Principle_7_min.pdf              23-Jul-2026 12:21              289697
04_9.4_Resolution_Principle_7_min.srt              23-Jul-2026 12:21                8025
04_9.4_Resolution_Principle_7_min.txt              23-Jul-2026 12:21                5224
05_9.5_Resolution_Reasoning_5_min.mp4              23-Jul-2026 12:21             4039849
05_9.5_Resolution_Reasoning_5_min.pdf              23-Jul-2026 12:21               52644
05_9.5_Resolution_Reasoning_5_min.srt              23-Jul-2026 12:21                6352
05_9.5_Resolution_Reasoning_5_min.txt              23-Jul-2026 12:21                4143
06_9.6_Unsatisfiability_2_min.mp4                  23-Jul-2026 12:21             1291774
06_9.6_Unsatisfiability_2_min.pdf                  23-Jul-2026 12:21               75596
06_9.6_Unsatisfiability_2_min.srt                  23-Jul-2026 12:21                1829
06_9.6_Unsatisfiability_2_min.txt                  23-Jul-2026 12:21                1248
07_9.7_Logical_Entailment_6_min.mp4                23-Jul-2026 12:21             5279778
07_9.7_Logical_Entailment_6_min.pdf                23-Jul-2026 12:21              200430
07_9.7_Logical_Entailment_6_min.srt                23-Jul-2026 12:21                7245
07_9.7_Logical_Entailment_6_min.txt                23-Jul-2026 12:21                4629
08_9.8_Answer_Extraction_6_min.mp4                 23-Jul-2026 12:21             5454619
08_9.8_Answer_Extraction_6_min.pdf                 23-Jul-2026 12:21              445566
08_9.8_Answer_Extraction_6_min.srt                 23-Jul-2026 12:21                7690
08_9.8_Answer_Extraction_6_min.txt                 23-Jul-2026 12:21                5296