demoduláció

Rövid szöveges bemutatás: 
A demodulációt az ember számára egyértelmű tények kiiktasson a tudásbázisból, ezzel csökkentve annak méretét. Olyan szabályokat tüntethetünk el, mint az x + 0 = x. A módszer kiindul az x = y állításból, majd y helyére behelyettesít olyan állításokat, melyek x-el egyesíthetőek.