Declarative Rule
- Name: Assumption
- Description in English: An assumption specified by the user for the purpose of performing a specific query.
- Rule Specification:
|- p;; (Sent p)
- Specification Language: Proof Protocol for Deductive Reasoning (PPDR)
Inference Web: [
Home |
Spec |
Browser |
IWBase |
Registrar |
Registry
]
Copyright 2009 Inference Web group.
All Rights Reserved.
