Semantic trees revisited: Some new completeness results (Q4647548)
From MaRDI portal
scientific article; zbMATH DE number 7001938
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Semantic trees revisited: Some new completeness results |
scientific article; zbMATH DE number 7001938 |
Statements
Semantic trees revisited: Some new completeness results (English)
0 references
15 January 2019
0 references
failure node
0 references
successor node
0 references
ground instance
0 references
restricted factoring
0 references
semantic tree
0 references
