Declarative Rule
- Name: Extraction
- Description in English: And Elimination. It is the step of taking one statement out of a formula. The step is identified by the :gives formula (the statement) and the :because step's :gives formula (the formula extracted from).
- Specification Language: N3
- Source(s):
Inference Web: [
Home |
Spec |
Browser |
IWBase |
Registrar |
Registry
]
Copyright 2009 Inference Web group.
All Rights Reserved.
