「」 Lingenic
Formal Logical Systems
⊤
⊃
Knowledge Base
⊃
Logic
⊃
Formal Logical Systems
2026-07-17T135416.643
+
000000013168128