Method Rule
- Name: Function Rule
- Description in English: This proof step is used when the goal has been proved through some form of procedural attachment.
- Example in English: The goal (+ 3 2) would be solved by an arithmetic module, and the proof returned would be a FunctionProofStep.
Inference Web: [
Home |
Spec |
Browser |
IWBase |
Registrar |
Registry
]
Copyright 2009 Inference Web group.
All Rights Reserved.
