Line 2,651:
Line 2,651:
[[Category:Formal Systems]]
[[Category:Formal Systems]]
[[Category:Graph Theory]]
[[Category:Graph Theory]]
+
[[Category:Knowledge Representation]]
[[Category:Logic]]
[[Category:Logic]]
[[Category:Logical Graphs]]
[[Category:Logical Graphs]]