Search Results

---

Abstract

---

Cite as

Markus Krötzsch, Alex Ivliev, Maximilian Marx, Lukas Gerlach, Various Nemo contributors. Nemo (Software, Source Code, reasoner). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

---

Copy BibTex To Clipboard

@misc{dagstuhl-artifact-25064,
   title = {{Nemo}}, 
   author = {Kr\"{o}tzsch, Markus and Ivliev, Alex and Marx, Maximilian and Gerlach, Lukas and Nemo contributors, Various},
   note = {Software, version v0.9.1., swhId: \href{https://archive.softwareheritage.org/swh:1:dir:eb91e855fdf64b2a673f3233d608e36d828fd108;origin=https://github.com/knowsys/nemo;visit=swh:1:snp:35468796e5e3b62b9d9267b6ee6a016ecd66e645;anchor=swh:1:rev:c2190b996549656786a8728ea4bd39a68b5becce}{\texttt{swh:1:dir:eb91e855fdf64b2a673f3233d608e36d828fd108}} (visited on 2025-11-28)},
   url = {https://github.com/knowsys/nemo},
   doi = {10.4230/artifacts.25064},
}

@misc{dagstuhl-artifact-25064, title = {{Nemo}}, author = {Kr\"{o}tzsch, Markus and Ivliev, Alex and Marx, Maximilian and Gerlach, Lukas and Nemo contributors, Various}, note = {Software, version v0.9.1., swhId: \href{https://archive.softwareheritage.org/swh:1:dir:eb91e855fdf64b2a673f3233d608e36d828fd108;origin=https://github.com/knowsys/nemo;visit=swh:1:snp:35468796e5e3b62b9d9267b6ee6a016ecd66e645;anchor=swh:1:rev:c2190b996549656786a8728ea4bd39a68b5becce}{\texttt{swh:1:dir:eb91e855fdf64b2a673f3233d608e36d828fd108}} (visited on 2025-11-28)}, url = {https://github.com/knowsys/nemo}, doi = {10.4230/artifacts.25064}, }