User reported ERROR logic/slides/pl1-wumpus.en.xhtml
A content ERROR was logged by "Behrooz Bozorgchamy" at the following url:
https://courses.voll-ki.fau.de/course-notes/ai-1?inDocPath=2v696w.7s75b6%7E8b315a8e
The issue as described by the user:
I think this sentence is not going to completely cover all areas adjusted to the Wumpus such as the x=2 y=3 position.
The text highlighted while reporting this issue:
“∀𝑥
Wumpus
(𝑥)⇒(∀𝑦
adj
(𝑥,𝑦)⇒
stench
(𝑦))”
The selected text was in the following section hierarchy:
INNERMOST SECTION FIRST
-
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/slides/pl1-wumpus.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/slides/pl1-wumpus.en.xhtml&bindings=0_1_15p5839g2RCi -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/pl1-intro.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/pl1-intro.en.xhtml&bindings=0_0_3PsI9KBH -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/pl1.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/pl1.en.xhtml&bindings=0_0_XmG2r9q -
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 -
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