Published March 6, 2026
| Version 1.0
Software
Open
SATisfying the High School Identities but not Wilkie's Identity
Authors/Creators
-
1.
University of Innsbruck
-
2.
Universität Innsbruck
Files
README.md
Files
(42.1 GB)
| Name | Size | |
|---|---|---|
|
md5:f864c081e06eb53b52519ac706b8c1d2
|
22.2 kB | Preview Download |
|
md5:143ecadde0159531916d0bfbced2e1d2
|
249 Bytes | Download |
|
md5:f54ca9c3df532d3146ecbd3be9515406
|
235 Bytes | Download |
|
md5:c79a9be028b56dfe0f39aaa64636d70b
|
4.1 kB | Download |
|
md5:5ea60c007184b0a41d5b9c635894ba0c
|
88 Bytes | Download |
|
md5:27fedec36f07a445cdebc12a2be172d0
|
1.5 kB | Download |
|
md5:547721d28aab1b9775ca129cc2b10527
|
14.5 MB | Preview Download |
|
md5:f6a10c3070e4e6a8bbd424f62b34abe5
|
17.2 MB | Preview Download |
|
md5:6afa33b17d8c1360ffd7f315875ea744
|
2.8 kB | Preview Download |
|
md5:cb6a2ba549932b83399286ec7defe943
|
7.1 kB | Download |
|
md5:93beeb3eee7aea1c6b01fe67acc978ab
|
16.7 kB | Download |
|
md5:aeb01a4ebb321f235dccc4c842d8f9e0
|
1.8 GB | Download |
|
md5:4ce82036aba506b6b793f50f42a2343e
|
40.3 GB | Download |