Dataset Open Access

Superposition for Lambda-Free Higher-Order Logic — Supplementary Material

Bentkamp, Alexander; Blanchette, Jasmin; Cruanes, Simon; Waldmann, Uwe


BibTeX Export

@dataset{bentkamp_alexander_2018_3975512,
  author       = {Bentkamp, Alexander and
                  Blanchette, Jasmin and
                  Cruanes, Simon and
                  Waldmann, Uwe},
  title        = {{Superposition for Lambda-Free Higher-Order Logic — 
                   Supplementary Material}},
  month        = jun,
  year         = 2018,
  publisher    = {Zenodo},
  version      = {1.0.0},
  doi          = {10.5281/zenodo.3975512},
  url          = {https://doi.org/10.5281/zenodo.3975512}
}
32
25
views
downloads
All versions This version
Views 3232
Downloads 2525
Data volume 48.8 MB48.8 MB
Unique views 2020
Unique downloads 44

Share

Cite as