Page 325 of 800
| Page 325 of 800 | Search internet |
8.5.1 Argumentation proof lines
8.5.2 The unification tactic
8.5.3 Axioms
8.5.4 Line numbers
8.5.5 The init operator
8.5.6 Lemmas
8.5.7 Meta modus ponens
8.5.8 Instantiation
8.5.9 Unary instantiation
8.5.10 Modus probans
8.5.11 Verify
8.5.12 Unary modus probans
8.5.13 Unary modus ponens
8.5.14 Conclude
8.5.15 Unary conclude
8.5.16 Infer
8.5.17 Quantify
8.5.18 Curry and Uncurry
8.5.19 Reference and dereference
8.5.20 Cut
| Page 325 of 800 | Search logiweb.eu |