Interface: AntiUnifyRequest

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / Operations / AntiUnifyRequest

Interface: AntiUnifyRequest

Defined in: src/types/operations.ts:12

Anti-unify two Ψ-terms — request body for POST /api/v1/operations/anti-unify.

The two referenced terms must already exist in the tenant’s term store. The engine computes their Least General Generalisation (LGG) using osfkb_domain::operations::ilp::AntiUnificationEngine and persists the resulting Ψ-term.

Properties

term1Id

term1Id: string

Defined in: src/types/operations.ts:14

First Ψ-term id (must already be registered in the tenant).

---

term2Id

term2Id: string

Defined in: src/types/operations.ts:16

Second Ψ-term id (must already be registered in the tenant).