Declarative Rule
- Name: Conjunction
- Description in English: And Introduction. It is made up of components each of which is a ProofStep. It basically takes a bunch of component statements and builds a formula from them.
- Specification Language: N3
- Source(s):
Inference Web: [
Home |
Spec |
Browser |
IWBase |
Registrar |
Registry
]
Copyright 2009 Inference Web group.
All Rights Reserved.
