TY - RPRT TI - Formalising Propositional Information via Implication Hypergraphs AU - Vibhu Dalal PY - 2025 UR - https://arxiv.org/abs/2502.00186 ID - 2502.00186 ER -