Ordered semantic hyper tableaux (Q1869611)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Ordered semantic hyper tableaux |
scientific article; zbMATH DE number 1902322
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Ordered semantic hyper tableaux |
scientific article; zbMATH DE number 1902322 |
Statements
Ordered semantic hyper tableaux (English)
0 references
28 April 2003
0 references
tableaux
0 references
semantics
0 references
automated theorem proving
0 references
literal ordering
0 references
0.92504007
0 references
0 references
0.8499206
0 references
0.8493536
0 references
0.8479122
0 references
0.8456673
0 references
0 references
