Formalization of induction principles for diamond-free and locally diamond-free partially ordered sets

Ivanov, Ievgen

Open source

DOI
10.5281/zenodo.17014350
Published
2025
Container
Not recorded
Publisher
Zenodo
Open access
yes

Credibility signals

limited evidence Score 47/100 under policy 1.0.0. This is a metadata assessment, not a judgment of the paper's conclusions.

Show all credibility signals

Cite this work

BibTeX

@article{allodium:10.5281/zenodo.17014350,
  title = {Formalization of induction principles for diamond-free and locally diamond-free partially ordered sets},
  author = {Ivanov, Ievgen},
  year = {2025},
  doi = {10.5281/zenodo.17014350},
  url = {https://doi.org/10.5281/zenodo.17014350}
}

RIS

TY  - JOUR
TI  - Formalization of induction principles for diamond-free and locally diamond-free partially ordered sets
AU  - Ivanov, Ievgen
PY  - 2025
DO  - 10.5281/zenodo.17014350
UR  - https://doi.org/10.5281/zenodo.17014350
ER  - 

APA

Ievgen, I. (2025). Formalization of induction principles for diamond-free and locally diamond-free partially ordered sets. https://doi.org/10.5281/zenodo.17014350

Source records