RelBib: Ontological proof according to Semen L. Frank https://relbib.de/Record/1645264696/Description