(Q17958)

Revision as of 19:48, 2 January 2024 by Fire (talk | contribs) (‎Created claim: subclass of (P1): propositional formula (Q18002))

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)