Title: Dataset supporting 'What Does "Without Loss of Generality" Mean (And How Do We Detect It)'
Type Dataset Davenport, James (2017): Dataset supporting 'What Does "Without Loss of Generality" Mean (And How Do We Detect It)'. Zenodo. Dataset. https://zenodo.org/record/305441
Links
- Item record in Zenodo
- Digital object URL
Summary
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.
More information
- DOI: 10.5281/zenodo.305441
Subjects
- Symbolic Computation, Satisfiability Checking
Dates
- Publication date: 2017
- Issued: February 20, 2017
Rights
- https://creativecommons.org/licenses/by/4.0/legalcode Creative Commons Attribution 4.0 International
- info:eu-repo/semantics/openAccess Open Access
Funding Information
| Awardnumber | Awarduri | Funderidentifier | Funderidentifiertype | Fundername |
|---|---|---|---|---|
| 712689 | info:eu-repo/grantAgreement/EC/H2020/712689/ | 10.13039/100010661 | Crossref Funder ID | European Commission |
Format
electronic resource
Relateditems
| Description | Item type | Relationship | Uri |
|---|---|---|---|
| IsPartOf | https://zenodo.org/communities/sc2 | ||
| IsPartOf | https://zenodo.org/communities/zenodo |