NEW URI

Proof Style English Proof Tree Sentence Format English Raw Lens Magnitude 1 2 3 4 5 10 25 max Lens Width 500 600 700 800 900 1000 1100 1200 1300 1400 1500 1600

Question:

• There is a homomorphism from a group to itself

Query

cnf(a_group,negated_conjecture,
    ( group(f69,f70) )).

cnf(prove_there_is_a_homomorphism,negated_conjecture,
    ( ~ homomorphism(Y,f69,f70,f69,f70) )).