Auto-generated website for commit 1e2c368

KWARC · Jul 18, 2024 · f45b955 · f45b955
1 parent 9c4fb6e
commit f45b955
Show file tree

Hide file tree

Showing 17 changed files with 929 additions and 905 deletions.
diff --git a/akohlhase/index.html b/akohlhase/index.html
diff --git a/clange/index.html b/clange/index.html
diff --git a/dmueller/index.html b/dmueller/index.html
@@ -329,7 +329,7 @@ <h4 id="conference">Papers at International, Peer-Reviewed Conferences</h4>
           </ol>
           <h4 id="cproceedings">Conference Proceedings Edited</h4>
           <ol class="ltx_biblist">
-            <li xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:pref="http://www.w3.org/2002/Math/preference" id="bib.bib1171" class="ltx_bibitem ltx_bib_proceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
+            <li xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:pref="http://www.w3.org/2002/Math/preference" id="bib.bib1172" class="ltx_bibitem ltx_bib_proceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_editor">J. Blanchette, J. Davenport, P. Koepke, A. Kohlhase, M. Kohlhase, A. Naumowicz, D. Müller, Y. Sharoda, and C. S. Coen (Eds.)</span><span class="ltx_text ltx_bib_year"> (2021)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Workshop papers at 14th conference on intelligent computer mathematics cicm 2021</span>.
@@ -370,7 +370,7 @@ <h4 id="workshop">Papers at Peer-Reviewed Workshops</h4>
 </span>
 <span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref" shape="rect">p1</a>.
 </span></li>
-            <li xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:pref="http://www.w3.org/2002/Math/preference" id="bib.bib12" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[2]</span>
+            <li xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:pref="http://www.w3.org/2002/Math/preference" id="bib.bib11" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[2]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">A. Chugh, M. Kohlhase, and D. Müller</span><span class="ltx_text ltx_bib_year"> (2023)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Presentation of active documents in ALeA</span>.

diff --git a/frabe/index.html b/frabe/index.html
diff --git a/index.html b/index.html
diff --git a/jfschaefer/index.html b/jfschaefer/index.html
@@ -159,7 +159,7 @@ <h3 id="project">Bachelors/Masters Project Reports</h3>
           <h3 id="gray">Gray Literature</h3>
           <h4 id="workshop">Papers at Peer-Reviewed Workshops</h4>
           <ol class="ltx_biblist">
-            <li id="bib.bib11" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[2]</span>
+            <li id="bib.bib10" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[2]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">L. Panzer and J. F. Schaefer</span><span class="ltx_text ltx_bib_year"> (2023)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">AnnoTize: a flexible annotation tool for documents with mathematical formulae</span>.

diff --git a/krextor/index.html b/krextor/index.html
@@ -170,7 +170,7 @@ <h4 id="workshop">Papers at Peer-Reviewed Workshops</h4>
 </span>
 <span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
 </span></li>
-            <li id="bib.bib1583" class="ltx_bibitem ltx_bib_report"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[2]</span>
+            <li id="bib.bib1584" class="ltx_bibitem ltx_bib_report"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[2]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">M. Hartmann and F. Janssen</span><span class="ltx_text ltx_bib_year"> (2009-09)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">LWA 2009; Workshop-Woche: Lernen – Wissen – Adaptivität</span>.

diff --git a/mkohlhase/index.html b/mkohlhase/index.html
diff --git a/oaf/index.html b/oaf/index.html
@@ -275,7 +275,7 @@ <h4 id="conference">Papers at International, Peer-Reviewed Conferences</h4>
           </ol>
           <h4 id="cproceedings">Conference Proceedings Edited</h4>
           <ol class="ltx_biblist">
-            <li id="bib.bib1180" class="ltx_bibitem ltx_bib_proceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[2]</span>
+            <li id="bib.bib1181" class="ltx_bibitem ltx_bib_proceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[2]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_editor">F. Rabe, W. M. Farmer, G. O. Passmore, and A. Youssef (Eds.)</span><span class="ltx_text ltx_bib_year"> (2018)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Intelligent computer mathematics</span>.
@@ -287,7 +287,7 @@ <h4 id="cproceedings">Conference Proceedings Edited</h4>
 </span>
 <span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
 </span></li>
-            <li id="bib.bib1179" class="ltx_bibitem ltx_bib_proceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
+            <li id="bib.bib1180" class="ltx_bibitem ltx_bib_proceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_editor">H. Geuvers, M. England, O. Hasan, F. Rabe, and O. Teschke (Eds.)</span><span class="ltx_text ltx_bib_year"> (2017)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Intelligent computer mathematics</span>.

diff --git a/odk/index.html b/odk/index.html
@@ -235,7 +235,7 @@ <h4 id="conference">Papers at International, Peer-Reviewed Conferences</h4>
           </ol>
           <h4 id="cproceedings">Conference Proceedings Edited</h4>
           <ol class="ltx_biblist">
-            <li id="bib.bib1180" class="ltx_bibitem ltx_bib_proceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[2]</span>
+            <li id="bib.bib1181" class="ltx_bibitem ltx_bib_proceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[2]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_editor">F. Rabe, W. M. Farmer, G. O. Passmore, and A. Youssef (Eds.)</span><span class="ltx_text ltx_bib_year"> (2018)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Intelligent computer mathematics</span>.
@@ -247,7 +247,7 @@ <h4 id="cproceedings">Conference Proceedings Edited</h4>
 </span>
 <span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
 </span></li>
-            <li id="bib.bib1179" class="ltx_bibitem ltx_bib_proceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
+            <li id="bib.bib1180" class="ltx_bibitem ltx_bib_proceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_editor">H. Geuvers, M. England, O. Hasan, F. Rabe, and O. Teschke (Eds.)</span><span class="ltx_text ltx_bib_year"> (2017)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Intelligent computer mathematics</span>.

diff --git a/omdoc/index.html b/omdoc/index.html
@@ -760,7 +760,7 @@ <h4 id="book">Monographs</h4>
 </span>
 <span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
 </span></li>
-            <li id="bib.bib1220" class="ltx_bibitem ltx_bib_book"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
+            <li id="bib.bib1221" class="ltx_bibitem ltx_bib_book"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">M. Kohlhase</span><span class="ltx_text ltx_bib_year"> (2006-08)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">OMDoc – an open markup format for mathematical documents [version 1.2]</span>.
@@ -1128,7 +1128,7 @@ <h4 id="workshop">Papers at Peer-Reviewed Workshops</h4>
 </span>
 <span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
 </span></li>
-            <li id="bib.bib1583" class="ltx_bibitem ltx_bib_report"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[13]</span>
+            <li id="bib.bib1584" class="ltx_bibitem ltx_bib_report"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[13]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">M. Hartmann and F. Janssen</span><span class="ltx_text ltx_bib_year"> (2009-09)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">LWA 2009; Workshop-Woche: Lernen – Wissen – Adaptivität</span>.

diff --git a/sissi/index.html b/sissi/index.html
@@ -335,7 +335,7 @@ <h4 id="workshop">Papers at Peer-Reviewed Workshops</h4>
 </span>
 <span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
 </span></li>
-            <li id="bib.bib1585" class="ltx_bibitem ltx_bib_proceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[3]</span>
+            <li id="bib.bib1586" class="ltx_bibitem ltx_bib_proceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[3]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_editor">A. Henrich and H. Sperker (Eds.)</span><span class="ltx_text ltx_bib_year"> (2013-10)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Wissens- und erfahrungsmanagement LWA (lernen, wissensentdeckung und adaptivität) conference proceedings</span>.
@@ -416,7 +416,7 @@ <h4 id="workshop">Papers at Peer-Reviewed Workshops</h4>
 </span>
 <span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
 </span></li>
-            <li id="bib.bib1583" class="ltx_bibitem ltx_bib_report"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[2]</span>
+            <li id="bib.bib1584" class="ltx_bibitem ltx_bib_report"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[2]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">M. Hartmann and F. Janssen</span><span class="ltx_text ltx_bib_year"> (2009-09)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">LWA 2009; Workshop-Woche: Lernen – Wissen – Adaptivität</span>.

diff --git a/voll-ki/index.html b/voll-ki/index.html
@@ -63,7 +63,7 @@ <h1>Project VoLL-KI at FAU
           <h3 id="archival">Archival Literature</h3>
           <h4 id="article">Articles in Journals</h4>
           <ol class="ltx_biblist">
-            <li id="bib.bib9" class="ltx_bibitem ltx_bib_article"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[3]</span>
+            <li id="bib.bib8" class="ltx_bibitem ltx_bib_article"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[3]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">M. Kohlhase, M. Berges, J. Grubert, A. Henrich, D. Landes, J. L. Leidner, F. Mittag, D. Nicklas, U. Schmid, Y. Sedlmaier, A. U. Ende, and D. Wolter</span><span class="ltx_text ltx_bib_year"> (2024)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Project VoLL-KI – learning from learners</span>.
@@ -369,7 +369,7 @@ <h3 id="thesis">Theses</h3>
           </ol>
           <h3 id="project">Bachelors/Masters Project Reports</h3>
           <ol class="ltx_biblist">
-            <li id="bib.bib5" class="ltx_bibitem ltx_bib_masterthesis"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
+            <li id="bib.bib4" class="ltx_bibitem ltx_bib_masterthesis"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
 <span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
 </span></li>
           </ol>
@@ -390,7 +390,7 @@ <h4 id="workshop">Papers at Peer-Reviewed Workshops</h4>
 </span>
 <span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
 </span></li>
-            <li id="bib.bib12" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[2]</span>
+            <li id="bib.bib11" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[2]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">A. Chugh, M. Kohlhase, and D. Müller</span><span class="ltx_text ltx_bib_year"> (2023)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Presentation of active documents in ALeA</span>.
@@ -403,7 +403,7 @@ <h4 id="workshop">Papers at Peer-Reviewed Workshops</h4>
 </span>
 <span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
 </span></li>
-            <li id="bib.bib10" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[3]</span>
+            <li id="bib.bib9" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[3]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">A. Kohlhase and M. Kohlhase</span><span class="ltx_text ltx_bib_year"> (2023)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">More interactions in ALeA – towards new added-value services based on semantic markup</span>.
@@ -431,7 +431,7 @@ <h4 id="report">Technical Reports</h4>
           </ol>
           <h3 id="unpublished">Unpublished</h3>
           <ol class="ltx_biblist">
-            <li id="bib.bib4" class="ltx_bibitem ltx_bib_unpublished"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
+            <li id="bib.bib3" class="ltx_bibitem ltx_bib_unpublished"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">M. Kohlhase and M. Schütz</span><span class="ltx_text ltx_bib_year"> (2024)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Reusing learning objects via theory morphisms</span>.

diff --git a/vzholudev/index.html b/vzholudev/index.html
@@ -222,7 +222,7 @@ <h4 id="workshop">Papers at Peer-Reviewed Workshops</h4>
 </span>
 <span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
 </span></li>
-            <li id="bib.bib1583" class="ltx_bibitem ltx_bib_report"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[3]</span>
+            <li id="bib.bib1584" class="ltx_bibitem ltx_bib_report"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[3]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">M. Hartmann and F. Janssen</span><span class="ltx_text ltx_bib_year"> (2009-09)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">LWA 2009; Workshop-Woche: Lernen – Wissen – Adaptivität</span>.