claim: Konidela Production Company was established by the son of Chiranjeevi.
evidence: In mathematical logic , proof compression by RecycleUnits is a method for compressing propositional logic resolution proofs .. mathematical logic. mathematical logic. propositional logic. propositional logic. resolution proofs. Resolution ( logic ). Its main idea is to make use of intermediate -LRB- e.g. non input -RRB- proof results being unit clauses , i.e. clauses containing only one literal .. clauses. Clause ( logic ). Certain proof nodes can be replaced with the nodes representing these unit clauses .. clauses. Clause ( logic ). After this operation the obtained graph is transformed into a valid proof .. The output proof is shorter than the original while being equivalent or stronger .