resource_authors: 195
This data as json
| rowid | resource_id | name |
|---|---|---|
| 195 | papers-acdc-static-age-predicate-proof-smt | Samuel M. Smith (attributed by the repository |
This data as json
| rowid | resource_id | name |
|---|---|---|
| 195 | papers-acdc-static-age-predicate-proof-smt | Samuel M. Smith (attributed by the repository |