Robbins equation

URI: https://gptkb.org/prop/Robbins_equation
1 triples
GPTKB property
Random triples
Subject Object
gptkb:Robbins_algebra neg(neg(x) + y) + neg(neg(x) + neg(y)) = x