α lean TA P: A Declarative Theorem Prover for First-Order Classical Logic (Q5504659)
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 5496696
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | α lean TA P: A Declarative Theorem Prover for First-Order Classical Logic |
scientific article; zbMATH DE number 5496696 |
Statements
α lean TA P: A Declarative Theorem Prover for First-Order Classical Logic (English)
0 references
22 January 2009
0 references
0.7851795554161072
0 references
0.7744165658950806
0 references
0.7361924648284912
0 references
0.7160462737083435
0 references
0.7051655054092407
0 references
