AnkiBot: Automatically added missing IDs

hmelder · Apr 4, 2024 · c2ffd13 · c2ffd13
1 parent e808a40
commit c2ffd13
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/IN0008_GDB/mehrbenutzersynchronisation.yaml b/IN0008_GDB/mehrbenutzersynchronisation.yaml
@@ -11,13 +11,16 @@ cards:
     der Ausführung der TA (durch äußere Einflüsse, wie andere TAs).
 # 11.3 Theorie der Serialisierbarkeit
 - type: markdown
+  id: 13  # (generated)
   front: Was besagt das **Serialisierbarkeitstheorem**?
-  back: |+
+  back: |
     Eine Historie H ist genau dann serialisierbar, wenn der zugehörige
     Serialisierbarkeitsgraph SG(H) azyklisch ist.
 - type: markdown
-  front: Was versteht man unter einer topologischen Sortierung des Serialisierbarkeitsgraphen (SG)?
-  back: |+
+  id: 14  # (generated)
+  front: Was versteht man unter einer topologischen Sortierung des Serialisierbarkeitsgraphen
+    (SG)?
+  back: |
     Eine Sequentielle Anordnung der Transaktionen des SG in der Form,
     dass **keine Transaktion T_i vor einer Transaktion T_j steht**, wenn es einen **gerichteten
     Pfad von T_j nach T_i** im Serialisierbarkeitsgraphen gibt.