User reported ERROR atp0/slides/tableaux-motivation.en.xhtml

[abchugh]

A content ERROR was logged by "Moritz Gorny" at the following url:

https://courses.voll-ki.fau.de/de/course-notes/ai-1?inDocPath=2v696w.-qxa9pm.2q8kma%7E9b44417f

The issue as described by the user:

Table collumns need to be centered, in order to convey the information properly, compare to Kohlhases Slides.

The text highlighted while reporting this issue:

Tableau refutation (Validity) Model generation (Satisfiability)|=𝑃∧𝑄⇒𝑄∧𝑃 |=𝑃∧(𝑄∨¬𝑅)∧¬𝑄
                                      (𝑃∧𝑄⇒𝑄∧𝑃)𝖥(𝑃∧𝑄)𝖳(𝑄∧𝑃)𝖥𝑃𝖳𝑄𝖳𝑃𝖥⊥𝑄𝖥⊥
                                     
                                      (𝑃∧(𝑄∨¬𝑅)∧¬𝑄)𝖳(𝑃∧(𝑄∨¬𝑅))𝖳¬𝑄𝖳𝑄𝖥𝑃𝖳(𝑄∨¬𝑅)𝖳𝑄𝖳⊥¬𝑅𝖳𝑅𝖥
                                     No Model Herbrand Model {𝑃𝖳,𝑄𝖥,𝑅𝖥}𝜑:={𝑃↦𝖳,𝑄↦𝖥,𝑅↦𝖥}

The selected text was in the following section hierarchy:

INNERMOST SECTION FIRST

1. GitLab: https://gl.mathhub.info/MiKoMH/GenCS/-/blob/main/source/atp0/slides/tableaux-motivation.en.tex
   FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/GenCS&filepath=atp0/slides/tableaux-motivation.en.xhtml&bindings=0_3_13iuasGi5tv

2. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/tableaux-intro.en.tex
   FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/tableaux-intro.en.xhtml&bindings=0_3_gk7xCazwmS

3. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/atp0.en.tex
   FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/atp0.en.xhtml&bindings=0_0_duzq

4. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/course/sec/krinf.en.tex
   FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=course/sec/krinf.en.xhtml&bindings=0_0_OE

5. GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/course/notes/notes1.tex
   FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=course/notes/notes1.xhtml

[kohlhase]

delegated to slatex/sTeX#419