_:n76d42a6ccad34d9cae4c0d0b7053dfc6xb3
<http://schema.org/item>
<https://versioncontrolseidl.in.tum.de/mueller/loopingworkflows/-/blob/8a95620668cfd22f428a882e562d19dd36f7a648/aalta/Aalta_v2.0/bool2cnf/out>