Evaluation-function based proof-number search (Q3073725)
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 5850679
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Evaluation-function based proof-number search |
scientific article; zbMATH DE number 5850679 |
Statements
Evaluation-Function Based Proof-Number Search (English)
0 references
11 February 2011
0 references
0.8196287155151367
0 references
0.815922737121582
0 references
0.8154428601264954
0 references
0.8039335608482361
0 references
0.7843275666236877
0 references
