User reported SUGGESTION pl0/slides/semantic-properties.en.xhtml
A content SUGGESTION was logged by "Frank Alleborn" at the following url:
The issue as described by the user:
It is unclear to me what that means?
The text highlighted while reporting this issue:
and
[[A]], if
A
is ground, and
[[A]], if
M
is clear
The selected text was in the following section hierarchy:
INNERMOST SECTION FIRST
-
GitLab: https://gl.mathhub.info/MiKoMH/GenCS/-/blob/main/source/pl0/slides/semantic-properties.en.tex
FetchURL: /:sTeX/fulldocument?archive=MiKoMH/GenCS&filepath=pl0/slides/semantic-properties.en.xhtml -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/proplog-formal.en.tex
FetchURL: /:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/proplog-formal.en.xhtml -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/proplog.en.tex
FetchURL: /:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/proplog.en.xhtml -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/course/notes/notes.tex
FetchURL: :sTeX/fulldocument?archive=MiKoMH/AI&filepath=course/notes/notes.xhtml