Second-order functions and theorems in ACL2 (Q6591103)
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: Second-order functions and theorems in ACL2 |
scientific article; zbMATH DE number 7900029
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Second-order functions and theorems in ACL2 |
scientific article; zbMATH DE number 7900029 |
Statements
Second-order functions and theorems in ACL2 (English)
0 references
21 August 2024
0 references
0.8064042329788208
0 references
0.702488124370575
0 references
0.7023281455039978
0 references
0.690775990486145
0 references
