zenodoopen
Dataset supporting 'What Does "Without Loss of Generality" Mean (And How Do We Detect It)'
<p>This is the dataset (Maple files and PDF equivalents) supporting the paper 'What Does "Without Loss of Generality" Mean (And How Do We Detect It)', presented at the Symbolic Computation and Satisfiability Checking workshop at SYNASC 2016 ( 24-27September 2016, Timisoara) and published by CEUR-WS.</p>
ShareScore
40/100
Overall dataset sharing score
Score breakdown
These five areas show where the dataset supports — or may limit — practical reuse.
- Stewardship
- 8
- Harmonization
- 4
- Access
- 16
- Reuse readiness
- 8
- Engagement
- 4
Topics
Dataset details
- Repository
- zenodo
- Published
- February 19, 2017
- License
- cc-by-4.0
- DOI
- 10.5281/zenodo.305441
Scored with release 0.9.0
ScienceDex for faculty
Your academic CV and NIH biosketch
Make your CV in your school's format and your NIH biosketch from it, then download both as Word files.