Auto-generated kwarc.bib for commit 2e516b3

kwarc.bib

@@ -45176,7 +45176,7 @@ @unpublished{KohRab:eempal20
 @article{KohRab:eempal21,
   title = {Experiences from Exporting Major Proof Assistant Libraries},
   author = {Michael Kohlhase and Florian Rabe},
-  doi = {10.1007/s10817-021-09604-0}
+  doi = {10.1007/s10817-021-09604-0},
   year = {2021},
   journal  = {Journal of Automated Reasoning},
   publisher = {Springer}, 
@@ -45281,10 +45281,16 @@ @online{DMH:cvt-schema
 
 @online{MMT:namespaces:on,
   label = {MNS},
-  title = {Documents and Namespaces},
+  title = {MMT - Documents and Namespaces},
   url = {https://uniformal.github.io/doc/language/namespaces},
   urldate = {2019-11-23}}
-
+
+@online{MMT:uris:on,
+  label = {MmtURI},
+  title = {MMT - URIs},
+  url = {https://uniformal.github.io/doc/language/uris.html},
+  urldate = {2021-09-02}}
+
 @online{data.mathhub:on,
  label = {DMH},
  title = {Datasets on MathHub.info},