Skip to content
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
5 lines (4 sloc) 340 Bytes
all x all y all z (MDiff(z,x,y)-> (all p (properPart(p,z)<-> (properPart(p,x) & ( - part(p,y)))))).%488
all x all y all z (MDiff(z,x,y) -> Object(x) & Object(y) & Object(z)).%MDiff1
all x all y (Object(x) & Object(y)-> exists z (Object(z) & MDiff(z,x,y))).%MDiff2
all x all y all z all t (MDiff(z,x,y) & MDiff(t,x,y) -> (z=t)).%MDiff3
You can’t perform that action at this time.