Documentation for this section has not yet been entered.
Documentation for this section has not yet been entered.
Namespace: SemWeb.Inference
Assembly: SemWeb (in SemWeb.dll)
Assembly Versions: 1.0.6.2
See Also: Inherited members from object.
⊟ Public Constructors
Documentation for this section has not yet been entered. ⊟ Public Fields
Proved SemWeb.Statement[]. Documentation for this section has not yet been entered. Steps ProofStep[]. Documentation for this section has not yet been entered.
⊟ Proof Constructor
Documentation for this section has not yet been entered.
public Proof (SemWeb.Statement[] proved, ProofStep[] steps)⊟ Parameters
- proved
- Documentation for this section has not yet been entered.
- steps
- Documentation for this section has not yet been entered.
⊟ Remarks
Documentation for this section has not yet been entered.⊟ Requirements
Namespace: SemWeb.Inference
Assembly: SemWeb (in SemWeb.dll)
Assembly Versions: 1.0.6.2
⊟ Proved Field
Documentation for this section has not yet been entered.
public readonly SemWeb.Statement[] Proved⊟ Remarks
Documentation for this section has not yet been entered.⊟ Requirements
Namespace: SemWeb.Inference
Assembly: SemWeb (in SemWeb.dll)
Assembly Versions: 1.0.6.2
⊟ Steps Field
Documentation for this section has not yet been entered.
public readonly ProofStep[] Steps⊟ Remarks
Documentation for this section has not yet been entered.⊟ Requirements
Namespace: SemWeb.Inference
Assembly: SemWeb (in SemWeb.dll)
Assembly Versions: 1.0.6.2