Changes

Line 935: Line 935:     
{| align="center" cellpadding="10" width="90%"
 
{| align="center" cellpadding="10" width="90%"
| [[Directory:Jon_Awbrey/Papers/Propositional_Equation_Reasoning_Systems#Praeclarum_theorema|The first way of transforming the expression]] that appears on the left hand side of the equation can be described as ''proof-theoretic'' in character.
+
| [[#Praeclarum_theorema|The first way of transforming the expression]] that appears on the left hand side of the equation can be described as ''proof-theoretic'' in character.
 
|-
 
|-
| [[Directory:Jon_Awbrey/Papers/Propositional_Equation_Reasoning_Systems#Example|The second way of transforming the expression]] that appears on the left hand side of the equation can be described as ''model-theoretic'' in character.
+
| [[#Praeclarum_theorema_:_Proof_by_CAST|The second way of transforming the expression]] that appears on the left hand side of the equation can be described as ''model-theoretic'' in character.
 
|}
 
|}
  
12,080

edits