Overview and evaluation of premise selection techniques for large theory mathematics (Q2908509)
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 6076921
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Overview and evaluation of premise selection techniques for large theory mathematics |
scientific article; zbMATH DE number 6076921 |
Statements
Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics (English)
0 references
5 September 2012
0 references
0.8667216300964355
0 references
0.7737918496131897
0 references
0.7727335095405579
0 references
0.764685869216919
0 references
0.7327491044998169
0 references
