Systematic generation of conditional knowledge bases up to renaming and equivalence (Q2296712)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7169112
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Systematic generation of conditional knowledge bases up to renaming and equivalence |
scientific article; zbMATH DE number 7169112 |
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
0.8219606280326843
0 references
0.8158572316169739
0 references
0.7853073477745056
0 references
0.782615065574646
0 references
0.7757652401924133
0 references
