Besonderhede van voorbeeld: 3921194509753889119

German

Eine Herleitung der leeren Klausel ist dann gegeben durch folgendes Diagramm. 3.1.

English

A derivation of the empty clause from this clause set is given by the following diagram. 3.1.