The Inference Web NodeSet Browser
Capabilities
- Traverse the NodeSets of a proof
- Leaf ancestors
- Parent NodeSets
- Child NodeSets
- Root descendants
- View the content data of a NodeSet
- Access metadata of a NodeSet
- Inference engine and rule
- Language
- Timestamp