Systematic generation of conditional knowledge bases up to renaming and equivalence (Q2296712)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Systematic generation of conditional knowledge bases up to renaming and equivalence |
scientific article |
Statements
Systematic generation of conditional knowledge bases up to renaming and equivalence (English)
0 references
18 February 2020
0 references
conditional
0 references
normal form conditional
0 references
canonical normal form conditional
0 references
conditional knowledge base
0 references
equivalence
0 references
elementwise equivalence
0 references
renaming
0 references
isomorphism
0 references
generation of knowledge bases
0 references
