zenodoopen
Artifact of 'Unification for Subformula Linking under Quantifiers'
<p>This is the artifact for the CPP '24 paper 'Unification for Subformula Linking under Quantifiers'. It contains formalizations of section 3.3 and section 4, as well as patches for Iris's improved version of iFrame.</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